An Integrated Environment for the Presentation of Consistent SMIL 2.0 Documents

Proceedings of the ACM Symposium on Document Engineering

Volumn , Issue , 2001, Pages 115-124

  Sampaio, P N M ^a   Lohr, C ^a   Courtiat, J P ^a  

^a LAAS CNRS   (France)

Author keywords

Formal Methods, LOTOS, RT LOTOS, Interactive Multimedia Documents, Temporal Consistency, SMIL 2.0

Indexed keywords

AUTOMATA THEORY; FILE ORGANIZATION; INFORMATION RETRIEVAL SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; QUALITY OF SERVICE; WORLD WIDE WEB;

INTERACTIVE MULTIMEDIA DOCUMENTS (IMD);

MULTIMEDIA SYSTEMS;

EID: 0141538063     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/502204.502205     Document Type: Conference Paper

References (29)

1. Buchanan, M.C.; Zellweger. Automatically generating consistent schedules for multimedia documents. In ACM-Multimedia Systems Journal 1:2, pp 55-67, 1995.
2. st ACM Multimedia '93, pp 341-350, Anaheim, California, USA, August 1993.
3. th International World Wide Web Conference, Brisbane, Australia, April, 1998.
4. th ACM Multimedia '96, pp 329-339, Boston, USA, November 1996.
5. th ACM Multimedia'96, pp.141-152, Boston, USA, Nov. 1996.
6. Courtiat, J.P.; Santos, C.A.S.; Lohr, C.; Outtaj, B. Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. In Computer Communications 23, July 2000
7. Flammia, G. SMIL makes Web applications multimodal. In IEEE intelligent systems, Vol 13, Issue 4, pp 12-13.
8. Hauser, J. Realization of an extensible multimedia document model. In Multimedia '99 - Media Convergence: Models, Technologies and Applications. Springer-Verlag, pp 113-122, Wien, 1999.
9. Hoschka, P. An introduction to the Synchronized Multimedia Integration Language. In IEEE Multimedia. Vol 5, Issue 4, pp. 84-88, 1998.
10. th ACM Multimedia'98, UK, September 1998.
11. rd ACM Multimedia '95, pp 143-154, San Francisco, USA, November 1995.
12. Layaida, N.; Keramane, C. Mantaining Temporal Consistency of Multimedia Documents. In ACM Workshop on Effective Abstractions in Multimedia, San Francisco, 1995.
13. Lohr, C.; Courtiat, J.-P. From the specification to the scheduling of time-dependent systems. In Technical Report LAAS N. 01138, 2001
14. Mirbel, I.; Pernici, B.; Sellis, T.; Tserkezoglou, S.; Vazirgiannis, M. Checking Temporal Integrity of Interactive Multimedia Documents. In VIDE journal, 2000.
15. Prabhakaran, B.; Raghavan, S.V. Synchronization Models for Multimedia Presentation with User Participation.In ACM/Springer-Verlag Journal of Multimedia Systems 2.2, pp 53-62, 1994.
16. Rossum, G.van; Jansen, A.J.; Mullender, K.S.; Bulterman, D.C.A. CMIFed: A presentation environment for portable hypermedia documents. In Technical Report - (CWI), ISSN-0169-118X, 1993.
17. th International World Wide Web Conference, Toronto, Canada, May 1999.
18. th ACM Multimedia'00, Los Angeles, USA, November 2000. (short-paper).
19. Sampaio, P.N.M.; Courtiat, J.-P. Scheduling and Presenting Interactive Multimedia Documents. In IEEE International Conference on Multimedia and Expo (ICME'2001), Tokyo, Japan, August 2001.
20. Sampaio, P.N.M.; Santos, C.A.S.; Courtiat, J.-P. About the Semantic Verification of SMIL Documents. In IEEE International Conference on Multimedia and Expo (ICME'2000), New York, USA, August 2000.
21. Sampaio, P.N.M.; Santos, C.A.S.; Courtiat, J.-P. Using a Formal Method to Verify the Temporal Semantics of SMIL Documents. In IFIP International Conference on Software: Theory and Practice, Beijing, China, August 2000.
22. th ACM Multimedia'99, Orlando, USA, November 1999. (short-paper).
23. th ACM Multimedia '98, pp.39-48, Bristol, UK, Sep. 1998.
24. Synchronized Multimedia Integration Language (SMIL) 2.0 Specification. W3C Working Draft 01 march 2001. URL:http://www.w3.org/TR/200l/WD-smil20-20000301/, March 2001.
25. Tae-Hyun et all. Simple and Consistent SMIL Authoring: No more editing and no more error. In IEEE Multimedia Computing on the World Wide Web 2000.
26. Terashima, Y et all. Extension of SMIL with QoS control and its implementation. In IEEE International Conference on Multimedia and Expo (ICME'2000), New York, USA, August, 2000.
27. W3C Recommendation. Synchronized Multimedia Integration Language (SMIL) 1.0 Specification. URL: http://www.w3.org/TR/REC-smil, June 1998.
28. Wirag, S. Specification and scheduling of adaptative multimedia documents. In Technical report TR-1999-04, University of Stuttgart, January 1999.
29. Yu, J. A Simple Intuitive Hypermedia Synchronization Model and its Realization in the Browser/Java Environment. In SRC Technical Note 1997 - 027a, April 1998.