Towards a new multimedia synchronization mechanism and its formal definition

Authors:
J.-P. Courtiat;R. Cruz de Oliveira;L. F. Rust da Costa Carmo
Affiliations:
LAAS-CNRS, 7 Avenue du Colonel Roche, 31077 Toulouse Cedex, France;LAAS-CNRS, 7 Avenue du Colonel Roche, 31077 Toulouse Cedex, France;LAAS-CNRS, 7 Avenue du Colonel Roche, 31077 Toulouse Cedex, France
Venue:
MULTIMEDIA '94 Proceedings of the second ACM international conference on Multimedia
Year:
1994

Citing 5
Cited 4

Introduction to the ISO specification language LOTOS

Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
About time nondeterminism and exception handling in a temporal extension of LOTOS

PSTV '94 Proceedings of the fourteenth of a series of annual meetings on Protocol specification, testing and verification XIV
Formal Specifications of Distributed Multimedia Systems

Formal Specifications of Distributed Multimedia Systems
Time Stream Petri Nets: A Model for Timed Multimedia Information

Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Implementing Intra-Stream Synchronization by Means of Conditional Dependency Expressions

Proceedings of the IFIP TC6/WG6.4 Fifth International Conference on High Performance Networking V

Dynamic playout scheduling algorithms for continuous multimedia streams

Multimedia Systems
Multimedia and multi-stream synchronization

Distributed multimedia databases
Synchronizing Computer Graphics Animation and Audio

IEEE MultiMedia
Design of an Integrated Environment for Adaptive Multimedia Document Presentation Through Real Time Monitoring

IDMS '99 Proceedings of the 6th International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services

Quantified Score

Hi-index	0.00

Visualization

Abstract

The design of a distributed multimedia application involves both temporal and spatial synchronization problems related to the processing, transport, storage, retrieval and presentation of data, sound, still images and video. Within this general framework, the paper aims at defining a new multimedia synchronization mechanism, the so-called conditional delivery mechanism, which appears particularly useful for achieving both intra- and inter-stream synchronization. Main motivations behind this synchronization mechanism are first discussed on a simple example, namely a distributed application in the area of distance and interactive training, and then the details of the mechanism are presented. This presentation starts with an informal discussion on simple examples, which is followed by a formal specification of the mechanism based on the use of a temporal extension of the Formal Description Technique LOTOS.