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
- Signal Processing
- Media Technology
- Hardware and Architecture
- Computer Science Applications