The architecture of an active database management system
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Design and validation of computer protocols
Design and validation of computer protocols
Object composition and playback models for handling multimedia data
Multimedia Systems
Data modeling of time-based media
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Synchronization models for multimedia presentation with user participation
Multimedia Systems
Proving temporal consistency in a new multimedia synchronization model
MULTIMEDIA '96 Proceedings of the fourth ACM international conference on Multimedia
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Spatio-temporal composition and indexing for large multimedia applications
Multimedia Systems
Nsync—a toolkit for building interactive multimedia presentations
MULTIMEDIA '98 Proceedings of the sixth ACM international conference on Multimedia
Madeus, and authoring environment for interactive multimedia documents
MULTIMEDIA '98 Proceedings of the sixth ACM international conference on Multimedia
A synchronization model for recorded presentations and its relevance for information retrieval
MULTIMEDIA '99 Proceedings of the seventh ACM international conference on Multimedia (Part 1)
Maintaining knowledge about temporal intervals
Communications of the ACM
Middle-tier for multimedia synchronization
MULTIMEDIA '01 Proceedings of the ninth ACM international conference on Multimedia
A Temporal Model for Interactive Multimedia Scenarios
IEEE MultiMedia
Interval-Based Conceptual Models for Time-Dependent Multimedia Data
IEEE Transactions on Knowledge and Data Engineering
Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Scheduling Multimedia Documents Using Temporal Constraints
Proceedings of the Third International Workshop on Network and Operating System Support for Digital Audio and Video
Checking the temporal integrity of interactive multimedia documents
The VLDB Journal — The International Journal on Very Large Data Bases
A New Multimedia Synchronization Specification Method for Temporal and Spatial Events
ICMCS '97 Proceedings of the 1997 International Conference on Multimedia Computing and Systems
Interactive Multimedia Presentation Management in Distributed Multimedia Systems
ITCC '01 Proceedings of the International Conference on Information Technology: Coding and Computing
ICMCS '96 Proceedings of the 1996 International Conference on Multimedia Computing and Systems
Doing FLIPS: flexible interactive presentation synchronization
IEEE Journal on Selected Areas in Communications
| Hi-index | 0.00 |
Flexible synchronization models cannot provide a proper way of managing user interactions that change the course of a presentation. In this paper, we present a flexible synchronization model, termed SynchRuler, which allows such user interactions including backward and skip. The synchronization rules, which are based on Event-Condition-Action (ECA) rules, are maintained to handle relationships among streams in SynchRuler. The synchronization rules are manipulated by the Receiver-Controller-Actor (RCA) scheme, where receivers, controllers, and actors are objects to receive events, to check conditions, and to execute actions, respectively. The verification of a multimedia presentation specification is performed with the synchronization model. The correctness of the model and the presentation is controlled with a technique called model checking. Model checker PROMELA/SPIN tool is used for automatic verification of the correctness of LTL (Linear Temporal Logic) formulas.