User-centered abstractions for adaptive hypermedia 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
An integrated environment for the presentation of consistent SMIL 2.0 documents
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Timed Petri Net Representation of the Synchronized Multimedia Integration Language (SMIL) of XML
ITCC '03 Proceedings of the International Conference on Information Technology: Computers and Communications
Towards Building the State Class Graph of the TSPN Model
Fundamenta Informaticae
Dealing with resource requirement in multimedia document consistency verification
VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems
Towards Building the State Class Graph of the TSPN Model
Fundamenta Informaticae
Hi-index | 0.00 |
This paper presents a formal approach for the design of SMIL documents into a language based on time Petri net (ATN: Algebraic Time Net). The obtained ATN's model is then translated to an equivalent time graph, which describes all possible scenario, and gives for each multimedia sub sequence its minimum and maximum durations. This can be used to guarantee a consistent presentation for the client player and to improve the multimedia server's QoS, by implementing a dynamic scheduling politics.