Automatic temporal layout mechanisms
MULTIMEDIA '93 Proceedings of the first ACM international conference on Multimedia
Synchronization in the MAEstro multimedia authoring environment
MULTIMEDIA '93 Proceedings of the first ACM international conference on Multimedia
Proving temporal consistency in a new multimedia synchronization model
MULTIMEDIA '96 Proceedings of the fourth ACM international conference on Multimedia
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Authoring techniques for temporal scenarios of multimedia documents
Handbook of Internet and multimedia
Maintaining knowledge about temporal intervals
Communications of the ACM
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Temporal Synchronization Models for Multimedia Data
IEEE Transactions on Knowledge and Data Engineering
Interval-Based Conceptual Models for Time-Dependent Multimedia Data
IEEE Transactions on Knowledge and Data Engineering
Audio/Video Databases: An Object-Oriented Approach
Proceedings of the Ninth International Conference on Data Engineering
Hierarchical Time Stream Petri Net: A Model for Hypermedia Systems
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
The MORENA model for hypermedia authoring and browsing
ICMCS '95 Proceedings of the International Conference on Multimedia Computing and Systems
A media synchronization survey: reference model, specification, and case studies
IEEE Journal on Selected Areas in Communications
A general-purpose multimedia synchronization mechanism based on causal relations
IEEE Journal on Selected Areas in Communications
Hi-index | 0.04 |
In this paper we propose an approach of multimedia scenarios management in an object-relational database system that considers three main aspects: an object-oriented method for multimedia scenarios modeling, time-interval and causal relations models for the specification of multimedia objects with fixed or unknown playout durations, and interactive and dependency temporal relations. Based on the user's temporal specification, a time Petri net (PN) is automatically generated and translated to the formalism of the verification tool Tina, which allows analyzing multimedia scenarios specification. Finally, we evaluate our approach with an experimental system prototype. The originality of the approach proposed is to consider: a temporal specification that combines interval-based model and temporal dependency (causality) between intervals; temporal specification based on PN, that extracts errors that are too difficult to extract manually; and finally temporal intervals with known or unknown time.