Automatic temporal layout mechanisms
MULTIMEDIA '93 Proceedings of the first ACM international conference on Multimedia
Synchronization models for multimedia presentation with user participation
Multimedia Systems
Multimedia documents with elastic time
Proceedings of the third 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
CHIMP: a framework for supporting distributed multimedia document authoring and presentation
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
Madeus, and authoring environment for interactive multimedia documents
MULTIMEDIA '98 Proceedings of the sixth ACM international conference on Multimedia
GRiNS: a graphical interface for creating and playing SMIL documents
WWW7 Proceedings of the seventh international conference on World Wide Web 7
User adaptable multimedia presentations for the World Wide Web
WWW '99 Proceedings of the eighth international conference on World Wide Web
Revisiting the concept of hypermedia document consistency
MULTIMEDIA '99 Proceedings of the seventh ACM international conference on Multimedia (Part 2)
A formal approach for the presentation of interactive multimedia documents
MULTIMEDIA '00 Proceedings of the eighth ACM international conference on Multimedia
SMIL Makes Web Applications Multimodal
IEEE Intelligent Systems
Checking the temporal integrity of interactive multimedia documents
The VLDB Journal — The International Journal on Very Large Data Bases
CMIFed: A presentation environment for portable hypermedia documents.
CMIFed: A presentation environment for portable hypermedia documents.
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
Computer Communications
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
Automatic temporal layout mechanisms revisited
ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP)
Towards SMIL document analysis using an algebraic time net
PCM'04 Proceedings of the 5th Pacific Rim conference on Advances in Multimedia Information Processing - Volume Part III
Hi-index | 0.00 |
The utilization of Interactive Multimedia Documents (IMDs) has been largely addressed in several fields such as education, medicine, etc. since these documents can be distributed and accessed over the World-Wide-Web. In this context, the W3C standard Synchronized Multimedia Integration Language (SMIL) has been proposed for the presentation of IMD's over the Web. However, the flexibility of the temporal model of SMIL 2.0 allows the author to describe temporal synchronization relationships that potentially can not be resolved during the presentation of the document, known as temporal inconsistencies. For this reason, an approach that enables to detect and correct these inconsistencies is needed.This paper presents a formal approach for the verification, scheduling and presentation of consistent SMIL 2.0 documents based on the RT-LOTOS formal description technique. Thus, the consistency analysis of SMIL 2.0 documents is presented and some solutions are proposed in order to deal with potential state space explosion problems. Further on, some contributions are also presented concerning the scheduling and presentation of SMIL 2.0 documents based on a simple scheduling graph, called a Time Labeled Automata (TLA), derived automatically from the document formal specification. Finally, a global Java-based architecture for the implementation of a player of consistent SMIL 2.0 documents is presented.