摘要
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.
| 原文 | English |
|---|---|
| 頁（從 - 到） | 44-61 |
| 頁數 | 18 |
| 期刊 | IEEE Multimedia |
| 卷 | 5 |
| 發行號 | 4 |
| DOIs | |
| 出版狀態 | Published - 1998 十月 1 |
All Science Journal Classification (ASJC) codes
- Hardware and Architecture
- Information Systems
- Computer Graphics and Computer-Aided Design
- Software
- Theoretical Computer Science
- Computational Theory and Mathematics