Interactive temporal behaviours and modelling for multimedia presentations in the WWW environment

Computer Journal

Volumn 42, Issue 2, 1999, Pages 112-128

  Huang, Chung Ming ^a   Jang, Ming Yuhe ^a  

^a NATIONAL CHENG KUNG UNIVERSITY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SYSTEMS PROGRAMMING; CONSTRAINT THEORY; DISTRIBUTED COMPUTER SYSTEMS; FINITE AUTOMATA; INTERACTIVE COMPUTER SYSTEMS; MULTIMEDIA SYSTEMS; SEQUENTIAL MACHINES; SYNCHRONIZATION;

FINITE STATE MACHINES (FSM);

WORLD WIDE WEB;

EID: 0032671951     PISSN: 00104620     EISSN: None     Source Type: Journal    
DOI: 10.1093/comjnl/42.2.112     Document Type: Article

References (28)

1. Feyzi Ates, A., Bilgic, M., Saito, S. and Sarikaya, B. (1996) Using timed CSP for specification verification and simulation of multimedia synchronization. IEEE J. Select. Areas Commun., 14, 61-72.
2. Haindl, M. (1996) New multimedia synchronization model. IEEE J. Select Areas Commun., 14, 73-83.
3. Huang, C. M. and Lee, R. Y. (1996) Achieving multimedia synchronization between live video and live audio streams using QoS controls. Comput. Commun., 19, 456-467.
4. Naik, K. (1996) Exception handling and fault-tolerance in multimedia synchronization. IEEE J. Select. Areas Commun., 14, 196-211.
5. Schnepf, J., Konstan, J. A. and Hung-Chang Du, D. (1996) Doing FlIPS: Flexible interactive presentation synchronization. IEEE J. Select. Areas Commun., 14, 114-124.
6. Steinmetz, R. (1996) Human perception of jitter and media synchronization. IEEE J. Selected Areas Commun., 14, 61-72.
7. Goossens, M. and Saarela, J. (1995) A Practical Introduction to SGML. CERN, CN Division, CH-1211 Geneva 23, Switzerland, June 1995. Available at http://www.irb.hr/~cern/WWW/publications /sgmlen/sgmlen.html
8. Gouda, M. G. (1993) Protocol verification made simple: a tutorial. Comput. Network. ISDN Syst., 25, 969-980.
9. Huang, C. M. and Hsu, J. M. (1994) An incremental protocol verification method. Comp. J., 37, 698-710.
10. Budkowski, S. (1992) Estelle development toolset (EDT). Comput. Network. ISDN Syst., 25, 63-82.
11. Hierons, R. M. (1996) Extending test sequence overlap by invertibility. Comp. J., 39, 325-330.
12. Naik, K. (1995) Fault-tolerant UIO sequences in finite state machines. Proc. 8th Int. Workshop on Protocol Test Systems, Cavalli, A. and Budkowski, S. (eds), pp. 207-220.
13. Huang, C. M. and Lo, C. M. (1996) An EFSM-based multimedia synchronization model and the authoring system. IEEE J. Select. Areas Commun. (Synchron. Issues Multimedia Commun.), 14, 138-152.
14. Stotts, P. D., Furuta, R. and Cabarrus, C. R. (1998) Hyperdocuments as automata: verification of trace-based browsing properties by model checking. ACM Trans. Inform. Syst., 16, 1-30.
15. Al-Salqan, Y. Y. and Chang, C. K. (1996) Temporal relations and synchronization agents. IEEE Multimedia, 3, 30-39.
16. Baier, R., Gran, C., Hoepner, P., Hofrichter, K. and Scheller, A. (1997) PENGUIN: enabling and combining DAVIC and the WWW. Proc. 1997 IEEE Int. Conf. Multimedia Comput. Syst., ICMCS, June 3-6, Ottawa, Ontario, Canada, pp. 625-653. IEEE, Los Alamitos, CA.
17. Blakowski, G. and Steinmetz, R. (1996) A media synchronization survey: reference model, specification, and case studies. IEEE J. Select. Areas Commun., 14, 5-35.
18. Erfle, R. (1994) HyTime as the multimedia document model of choice. Proc. IEEE Int. Conf. Multimedia Comput. Syst., pp. 445-454.
19. Goldfarb, C. F. (1991) STANDARDS - HyTime: a standard for structured hypermedia interchange. IEEE Comput., 24, 81-84.
20. ISO/IEC 10744: Hypermedia/Time-Based Structuring Language (HyTime).
21. Buford, J. F., Rutledge, L. and Rutledge, J. L. (1994) Integrating object-oriented scripting languages with HyTime. Proc. IEEE Int. Conf. on Multimedia Comput. Syst., May 14-19, Boston, MA, USA, pp. 425-434. IEEE, Los Alamitos, CA.
22. Sėnac, P., Diaz, M., Lėger A. and de Saqui-Sannes, P. (1996) Modeling logical and temporal synchronization in hypermedia systems. IEEE J. Select. Areas Commun., 14, 84-103.
23. Courtiat, J. P., De Oliverira, R. C. and Da Costa Carmo, L. F. R. (1994) Towards a new multimedia synchronization mechanism and its formal specification. Proc. 2nd ACM Int. Conf. Multimedia, pp. 133-140.
24. Courtiat, J. P. and De Oliverira, R. C. (1996) Proving temporal consistency in a new multimedia synchronization model. Proc. 4th ACM Int. Conf. Multimedia, Boston. MA, USA, pp. 141-152.
25. Courtiat, J. P., Costa Carmo, L. F. R. Da and De Oliverira, R. C. (1996) General-purpose multimedia synchronization mechanism based on causal relations. IEEE J. Select. Areas Commun., 14, 185-195.
26. Hardman, K., Bulterman, D. C. A. and Van Rossum, G. (1994) The Amsterdam hypermedia model: adding time and context to the Dexter model. Commun. ACM, 37, 50-62.
27. Halasz, F. and Schwartz, M. (1994) The Dexter hypertext reference model. Commun. ACM, 37, 30-40.
28. Wan, J. and Bieber, M. (1996) GHMI: A general hypertext data model supporting integration of hypertext and information systems. IEEE Proc. 29th Ann. Hawaii Int. Conf. on System Sciences, Wailea, HI, USA, pp. 47-56. IEEE, Los Alamitos, CA.