Synchronizing the presentation of multimedia objects
Computer Communications
A synchronization and communication model for distributed multimedia objects
MULTIMEDIA '93 Proceedings of the first ACM international conference on Multimedia
Specifying temporal behavior in hypermedia documents
ECHT '92 Proceedings of the ACM conference on Hypertext
Proving temporal consistency in a new multimedia synchronization model
MULTIMEDIA '96 Proceedings of the fourth ACM international conference on Multimedia
Maintaining knowledge about temporal intervals
Communications of the ACM
Temporal Synchronization Models for Multimedia Data
IEEE Transactions on Knowledge and Data Engineering
Modeling Video-on-Demand System in Temporal Logic
PCM '01 Proceedings of the Second IEEE Pacific Rim Conference on Multimedia: Advances in Multimedia Information Processing
Verification via Digitized Models of Real-Time Hybrid Systems
APSEC '96 Proceedings of the Third Asia-Pacific Software Engineering Conference
Checking consistency in multimedia synchronization constraints
IEEE Transactions on Multimedia
Using timed CSP for specification verification and simulation of multimedia synchronization
IEEE Journal on Selected Areas in Communications
Hi-index | 0.00 |
This paper proposes a new method of specifying multimedia synchronization based on Duration Calculus (DC), a real time interval logic, presents the completeness of the new model, and uses it to specify the temporal relations between multimedia objects. Moreover, the paper provides a method of constructing a meta-script based on basic synchronization requirements. Some properties of the formal specifications, including safety and liveness, are stated in DC. Furthermore, the verification of the above properties is discussed in DC semantic. Compared with other methods for specifying multimedia synchronization, this method is more powerful and flexible, and it is good at specifying the quantitative properties of multimedia synchronization.