Formal modeling and design of multimedia synchronization for interactive multimedia presentations in distributed environments

Chung Ming Huang, Chian Wang, Jeng Muh Hsu

Research output: Contribution to journalConference article

1 Citation (Scopus)


To provide flexible multimedia presentations, user interactive service becomes an essential requirement in a lot of multimedia applications, e.g., news on demand. Since media bases are located remotely in distributed environments, more considerations must be involved to deal with the synchronization issue. In this paper, we propose an Interactive Extended Finite State Machine (IEFSM) specification model to formally model and design synchronous multimedia presentations with user interactions in distributed environments.

Original languageEnglish
Pages (from-to)458-459
Number of pages2
JournalDigest of Technical Papers - IEEE International Conference on Consumer Electronics
Publication statusPublished - 1998 Jan 1
EventProceedings of the 1998 17th Conference on Consumer Electronics - Los Angeles, CA, USA
Duration: 1998 Jun 21998 Jun 4


All Science Journal Classification (ASJC) codes

  • Industrial and Manufacturing Engineering
  • Electrical and Electronic Engineering

Cite this