When multimedia presentations allow users to make online adjustments such as reverse, skip, freeze-restart, and scale, maintaining temporal synchrony among several media streams becomes a complex modeling problem. Our approach uses dynamic extended finite-state machines for the task - an "actor" DEFSM for each medium and a "synchronizer" DEFSM to orchestrate them. This model achieves clear state-transition control flow and allows concise, precise specifications.
All Science Journal Classification (ASJC) codes
- Hardware and Architecture
- Information Systems
- Computer Graphics and Computer-Aided Design
- Theoretical Computer Science
- Computational Theory and Mathematics