Nested composite nodes and version control in an open hypermedia system
Information Systems - Special issue: multimedia information systems
Multimedia documents with elastic time
Proceedings of the third ACM international conference on Multimedia
Proving temporal consistency in a new multimedia synchronization model
MULTIMEDIA '96 Proceedings of the fourth ACM international conference on Multimedia
Design methodology and formal validation of hypermedia documents
MULTIMEDIA '98 Proceedings of the sixth ACM international conference on Multimedia
Maintaining knowledge about temporal intervals
Communications of the ACM
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
Computer Communications
A formal approach for the presentation of interactive multimedia documents
MULTIMEDIA '00 Proceedings of the eighth ACM international conference on Multimedia
An integrated environment for the presentation of consistent SMIL 2.0 documents
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
From the Specification to the Scheduling of Time-Dependent Systems
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Designing consistent multimedia documents: the RT-LOTOS methodology
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
Computer Communications
Hi-index | 0.00 |