The nested context model for hyperdocuments
HYPERTEXT '91 Proceedings of the third annual ACM conference on Hypertext
CMIFed: a presentation environment for portable hypermedia documents
MULTIMEDIA '93 Proceedings of the first ACM international conference on Multimedia
Automatic temporal layout mechanisms
MULTIMEDIA '93 Proceedings of the first ACM international conference on Multimedia
Nested composite nodes and version control in an open hypermedia system
Information Systems - Special issue: multimedia information systems
About time nondeterminism and exception handling in a temporal extension of LOTOS
PSTV '94 Proceedings of the fourteenth of a series of annual meetings on Protocol specification, testing and verification XIV
Proving temporal consistency in a new multimedia synchronization model
MULTIMEDIA '96 Proceedings of the fourth ACM international conference on Multimedia
Generating hypermedia from specifications by sketching multimedia templates
MULTIMEDIA '96 Proceedings of the fourth ACM international conference on Multimedia
A Reachability Analysis of RT-LOTOS Specifications
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
A Design Methodology for the Formal Specification and Verification of Hypermedia Documents
FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
Madeus: An Authoring Environment for Interactive Multimedia Documents
ICMCS '97 Proceedings of the 1997 International Conference on Multimedia Computing and Systems
Authoring and Formatting of Documents Based on Event-Driven Hypermedia Models
MMNET '97 Proceedings of the IEEE Conference on Protocols for Multimedia Systems - Multimedia Networking (PROMSMmNet'97)
Formal verification and analysis of multimedia systems
MULTIMEDIA '99 Proceedings of the seventh ACM international conference on Multimedia (Part 1)
Revisiting the concept of hypermedia document consistency
MULTIMEDIA '99 Proceedings of the seventh ACM international conference on Multimedia (Part 2)
Using Java to implement a multimedia annotation environment for young children
MULTIMEDIA '00 Proceedings of the eighth ACM international conference on Multimedia
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
Dealing with Uncertain Durations in Synchronized Multimedia Presentations
Multimedia Tools and Applications
Formalizing the Specification of Web Applications
ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
Automated test case generation for the stress testing of multimedia systems
Software—Practice & Experience
Formal Specification and Verification of Hypermedia Documents based on the Nested Context Model
MMM '98 Proceedings of the 1998 Conference on MultiMedia Modeling
Automatic temporal layout mechanisms revisited
ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP)
An approach based on events for treating the late tuning problem in interactive live TV shows
EiMM '09 Proceedings of the 1st ACM international workshop on Events in multimedia
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
Computer Communications
An approach to verify live NCL applications
Proceedings of the 18th Brazilian symposium on Multimedia and the web
Automating the analysis of NCL documents with a model-driven approach
Proceedings of the 19th Brazilian symposium on Multimedia and the web
Hi-index | 0.00 |