Title: Synchronization mechanisms for multimedia streams and their specification in timed LOTOS
Abstract:Synchronization involves temporal ordering of events. There are many approaches to formal specifications of synchronization constraints for distributed multimedia applications and TE-LOTOS is one of t...Synchronization involves temporal ordering of events. There are many approaches to formal specifications of synchronization constraints for distributed multimedia applications and TE-LOTOS is one of these. It is shown how intra stream synchronization and dynamic inter stream synchronization strategies singled out for Time Stream Petri Nets, as well as their generalization, can be expressed uniformly in timed LOTOS, and how they can be combined in a structured way to specify multimedia synchronization scenarios. Proposed generalization allows for greater flexibility in specifying synchronization requirements.Read More
Publication Year: 2002
Publication Date: 2002-11-22
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 2
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot