Scheduling and presenting interactive multimedia documents

Proceedings - IEEE International Conference on Multimedia and Expo

Volumn , Issue , 2001, Pages 1021-1024

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

^a LAAS CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

INTERACTIVE COMPUTER SYSTEMS; MULTIMEDIA SYSTEMS; SCHEDULING ALGORITHMS;

FORMAL APPROACH; FORMAL DESCRIPTION TECHNIQUES; FORMAL SPECIFICATION; IMPLEMENTATION ASPECTS; INTERACTIVE MULTIMEDIA; PREFETCHING;

SCHEDULING;

EID: 84908283953     PISSN: 19457871     EISSN: 1945788X     Source Type: Journal    
DOI: 10.1109/ICME.2001.1237898     Document Type: Article

References (12)

1. W3C Recommendation. Synchronized Multimedia Integration Language (SMIL) 1. 0 Specification. URL: http://www. w3. org/TR/REC-smil, June, 1998.
2. Buchanan, M. C.; Zellweger, P. T. Automatically Generating Consistent Schedules for Multimedia Documents. Multimedia Systems Journal, v. 1, n. 2, 1993. pp. 55-67
3. Vazirgiannis, M; Boll, S. Events in Interactive Multimedia Applications: Modeling and Implementation Design. In: Proc of IEEE International Conference on Multimedia Computing and Systems (ICMCS'97), Ottawa-Canada, June, 1997.
4. Layaida, N.; Sabry-Ismail, L. Maintaining Temporal Consistency of Multimedia Documents Using Constraint Networks. In Proc. of the 1996 Multimedia Computing and Networking, San-José, USA, Feb. 1996, pp. 124-135
5. Santos, C. A. S.; Sampaio, P. N. M.; Courtiat, J.-P. Revisiting the Concept of Hypermedia Document Consistency. ACM Multimedia'99, Orlando, USA, November, 1999.
6. Sampaio, P. N. M.; Courtiat, J.-P. A Formal Approach for the Presentation of Interactive Multimedia Documents. ACM Multimedia'2000, Los Angeles, USA, November, 2000.
7. Sampaio, P. N. M.; Santos, C. A. S.; Courtiat, J.-P. Using a Formal Method to Verify the Temporal Semantics of SMIL Documents. Proc. of IFIP International Conference on Software: Theory and Practice, Beijing, China, August, 2000.
8. Sampaio, P. N. M.; Santos, C. A. S.; Courtiat, J.-P. About the Semantic Verification of SMIL Documents. ICME'2000, New York, USA, August, 2000.
9. 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.
10. Lohr, C.; Courtiat, J.-P. From the specification to the scheduling of time-dependent systems. (Technical Report LAAS N. 01138)
11. Synchronized Multimedia Integration Language (SMIL) 2. 0 Specification. W3C Working Draft 01 march 2001. URL: http://www. w3. org/TR/2001/WD-smil20-20000301/, march/2001.
12. NistNet Home Page. URL: http://www. antd. nist. gov/itg/nistnet