论文信息 - Design of Distributed Multimedia Applications (DAMD)

Design of Distributed Multimedia Applications (DAMD)

Design of Distributed Multimedia Applications (DAMD) is a multi-institutional co-operative project aiming the development of a methodology, based on the Formal Description Technique (FDT) Enhancements to Language of Temporal Ordering Specification (E-LOTOS) and supported by a set of appropriate tools, for the specification, validation, implementation, and testing of distributed multimedia applications. This paper presents the main results of this project

[1] P. Nazareno Maia Sampaio,et al. Enabling temporal synchronization in E-LOTOS specifications and MHEG-5 applications , 1997 .

[2] Thomas A. Henzinger,et al. HYTECH: the next generation , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.

[3] Ahmed Karmouch,et al. A Temporal Model for Interactive Multimedia Scenarios , 1995, IEEE Multim..

[4] Maria Janilce Bosquiroli Almeida,et al. MUSE - An Interactive Networked Multimedia Applications Specification Environment with E-LOTOS Translator , 1998, CAiSE.

[5] Patrick Sénac,et al. Modeling Logical and Temporal Synchronization in Hypermedia Systems , 1996, IEEE J. Sel. Areas Commun..

[6] Maria Janilce Bosquiroli Almeida,et al. Authoring and E-LOTOS conception of interactive networked multimedia applications in MUSE environment , 1998, PICS.

[7] Jean-Pierre Courtiat,et al. Proving temporal consistency in a new multimedia synchronization model , 1997, MULTIMEDIA '96.

[8] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..