Proving temporal consistency in a new multimedia synchronization model
MULTIMEDIA '96 Proceedings of the fourth ACM international conference on Multimedia
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets
IEEE Transactions on Software Engineering
Multimedia document engineering in MCF
Proceedings of the 2002 ACM symposium on Document engineering
Modeling Reactive Multimedia: Events and Behaviors
Multimedia Tools and Applications
MUSE: An Environment for the Conception of Java Multimedia Applications
Multimedia Tools and Applications
A Scalable Toolkit for Designing Multimedia Authoring Environments
Multimedia Tools and Applications
Adaptive Multimedia Presentation Strategies
Multimedia Tools and Applications
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
Mexitl: Multimedia in Executable Interval Temporal Logic
Formal Methods in System Design
Specification and Implementation of an Extensible Multimedia System
IDMS '00 Proceedings of the 7th International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services
Enforcing Multipoint Multimedia Synchronisation in Videoconferencing Applications
IDMS '00 Proceedings of the 7th International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services
Towards a New Generation of Generic Transport Protocols
IWDC '01 Proceedings of the Thyrrhenian International Workshop on Digital Communications: Evolutionary Trends of the Internet
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
Authoring Structured Multimedia Documents
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
A New UML Profile for Real-Time System Formal Design and Validation
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Design of Distributed Multimedia Applications (DAMD)
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Using Multimedia in Aeronautical Technical Documentation
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
The Compositional Specification of Timed Systems - A Tutorial
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Temporal Partial Order and Partial Reliability Service for Distributed Multimedia Applications
MMM '98 Proceedings of the 1998 Conference on MultiMedia Modeling
Implementing a User Level Multimedia Transport Protocol in Java
ISCC '00 Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000)
Towards Building the State Class Graph of the TSPN Model
Fundamenta Informaticae
Open paper: caT: adapting and updating the trellis hypertext model
The New Review of Hypermedia and Multimedia
SMIL builder: An incremental authoring tool for SMIL Documents
ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP)
Using time stream Petri nets over a service architecture for workflow modelling and enactment
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Improving the consistency verification and the quality of multimedia presentations
International Journal of Critical Computer-Based Systems
A brief survey and synthesis of the roles of time in petri nets
Mathematical and Computer Modelling: An International Journal
Towards Building the State Class Graph of the TSPN Model
Fundamenta Informaticae
| Hi-index | 0.07 |
The paper introduces a unified formal model for the complete and accurate specification of both temporal and logical (i.e., link) synchronization within hypermedia distributed and weakly synchronous systems. This new model extends time Petri nets with hierarchical design capabilities and new firing rules. These new firing rules enlighten the notion of hypermedia synchronization through powerful combinations of temporal and logical synchronization. Moreover, the proposed model offers an easy and concise modeling technique of asynchronous events in hypermedia systems