Synchronization mechanisms for multimedia streams and their specification in timed LOTOS.
Zdzislaw SplawskiPublished in: EUROMICRO (1997)
Keyphrases
- multimedia
- media streams
- multi stream
- temporal ordering
- audio visual
- data streams
- video files
- digital video
- multimedia data
- learning environment
- multimedia content
- e learning
- multimedia databases
- petri net
- databases
- distributed multimedia database systems
- metadata
- high level
- mechanisms underlying
- media content
- database systems
- transactional data
- interactive multimedia
- specification language
- constraint propagation
- multimedia systems
- asynchronous circuits
- formal verification
- digital libraries
- formal specification
- video data
- computational models