Design of Distributed Multimedia Applications (DAMD)

Authors:
Wanderley Lopes de Souza;Paulo Nazareno Maia Sampaio;Jean-Marie Farines;Roberto Milton Scheffel;Maria Janilce B. Almeida;Luciano Paschoal Gaspary;Lisandro Zambenedetti Granville;Roberto Willrich;Murilo S. de Camargo;Marcelo Domingos
Affiliations:
-;-;-;-;-;-;-;-;-;-
Venue:
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Year:
1998

Citing 7
Cited 0

Proving temporal consistency in a new multimedia synchronization model

MULTIMEDIA '96 Proceedings of the fourth ACM international conference on Multimedia
A Temporal Model for Interactive Multimedia Scenarios

IEEE MultiMedia
MUSE - An Interactive Networked Multimedia Applications Specification Environment with E-LOTOS Translator

CAiSE '98 Proceedings of the 10th International Conference on Advanced Information Systems Engineering
Authoring and E-LOTOS conception of interactive networked multimedia applications in MUSE environment

PICS '98 Proceedings of the IFIP TC6/WG6.3 Seventh International Conference on Performance of Information and Communication Systems
HYTECH: the next generation

RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
Enabling temporal synchronization in E-LOTOS specifications and MHEG-5 applications

MMNET '97 Proceedings of the IEEE Conference on Protocols for Multimedia Systems - Multimedia Networking (PROMSMmNet'97)
Modeling logical and temporal synchronization in hypermedia systems

IEEE Journal on Selected Areas in Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

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