Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Scheduling of bandwidth-constrained multimedia traffic
Computer Communications - Special issue on multimedia communications
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
A Temporal Model for Interactive Multimedia Scenarios
IEEE MultiMedia
A Reachability Analysis of RT-LOTOS Specifications
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
A media synchronization survey: reference model, specification, and case studies
IEEE Journal on Selected Areas in Communications
A new multimedia synchronization model
IEEE Journal on Selected Areas in Communications
Modeling logical and temporal synchronization in hypermedia systems
IEEE Journal on Selected Areas in Communications
Design methodology and formal validation of hypermedia documents
MULTIMEDIA '98 Proceedings of the sixth ACM international conference on Multimedia
Nsync—a toolkit for building interactive multimedia presentations
MULTIMEDIA '98 Proceedings of the sixth ACM international conference on Multimedia
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)
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
Multimedia Authoring with Hierarchical Timed Stream Petri Nets and Java
Multimedia Tools and Applications
Dealing with Uncertain Durations in Synchronized Multimedia Presentations
Multimedia Tools and Applications
Specifying and Authoring Multimedia Scenarios
IEEE MultiMedia
An Efficient Synchronization Scheme of Multimedia Streams in Wireless and Mobile Systems
IEEE Transactions on Parallel and Distributed Systems
Design of Distributed Multimedia Applications (DAMD)
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Checking the temporal integrity of interactive multimedia documents
The VLDB Journal — The International Journal on Very Large Data Bases
Specification and verification of multimedia synchronization in duration calculus
Journal of Computer Science and Technology
Formal Specification and Verification of Hypermedia Documents based on the Nested Context Model
MMM '98 Proceedings of the 1998 Conference on MultiMedia Modeling
A Distributed Synchronization Scheme for Multimedia Streams in Mobile Systems: Proof and Correctness
LCN '01 Proceedings of the 26th Annual IEEE Conference on Local Computer Networks
Automatic temporal layout mechanisms revisited
ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP)
SynchRuler: A Rule-Based Flexible Synchronization Model with Model Checking
IEEE Transactions on Knowledge and Data Engineering
A method for analysing multimedia protocol performance
Journal of Systems and Software
Timed verification of the reliable adaptive multicast protocol
Journal of Systems and Software
A time Petri net-based approach for synchronization, analysis and management of multimedia scenarios
International Journal of Parallel, Emergent and Distributed Systems
An event-based model for interactive live TV shows
MM '08 Proceedings of the 16th ACM international conference on Multimedia
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
Interactive multimedia documents: modeling, authoring, and implementation experiences
Interactive multimedia documents: modeling, authoring, and implementation experiences
Designing consistent multimedia documents: the RT-LOTOS methodology
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Dealing with resource requirement in multimedia document consistency verification
VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
Computer Communications
Hi-index | 0.00 |