Nested composite nodes and version control in an open hypermedia system
Information Systems - Special issue: multimedia information systems
Proving temporal consistency in a new multimedia synchronization model
MULTIMEDIA '96 Proceedings of the fourth ACM international conference on Multimedia
Design methodology and formal validation of hypermedia documents
MULTIMEDIA '98 Proceedings of the sixth ACM international conference on Multimedia
Revisiting the concept of hypermedia document consistency
MULTIMEDIA '99 Proceedings of the seventh ACM international conference on Multimedia (Part 2)
Events in Interactive Multimedia Applications: Modeling and Implementation Design
ICMCS '97 Proceedings of the 1997 International Conference on Multimedia Computing and Systems
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
Computer Communications
An integrated environment for the presentation of consistent SMIL 2.0 documents
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Formal Analysis of Real-Time Systems with SAM
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
From the Specification to the Scheduling of Time-Dependent Systems
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Dynamic consistency checking for temporal and spatial relations in multimedia presentations
Proceedings of the 2006 ACM symposium on Applied computing
Navigating with inheritance in hypermedia presentations
Proceedings of the 2006 ACM symposium on Applied computing
A study on multimedia documents behavior: a notion of equivalence
Multimedia Tools and Applications
Hi-index | 0.00 |
This paper presents the on-going work using a formal approach for the design of Interactive Multimedia Documents (IMDs) based on the RT-LOTOS formal description technique. The present work extends this approach proposing the scheduling of IMDs based on a simple and operational model obtained as a result from the reachability analysis. One important breakthrough of this model is that it is a scheduling graph that provides the control of the occurrence of non-deterministic events, such as user interactions, within valid temporal intervals so that the global synchronization constraints of the document can be fulfilled during its presentation. Further on, some scheduling policies are also presented based on this model. Finally, we introduce some characteristics of the player actually available for the presentation of IMDs based on this new model.