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 journalArticle

1 Citation (Scopus)

Abstract

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

Fingerprint

Synchronization
Finite automata
Specifications

All Science Journal Classification (ASJC) codes

  • Electrical and Electronic Engineering
  • Industrial and Manufacturing Engineering

Cite this

@article{eb259a2b44b84cf786d15e827ae8ba54,
title = "Formal modeling and design of multimedia synchronization for interactive multimedia presentations in distributed environments",
abstract = "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.",
author = "Chung-Ming Huang and Chian Wang and Hsu, {Jeng Muh}",
year = "1998",
language = "English",
pages = "458--459",
journal = "Digest of Technical Papers - IEEE International Conference on Consumer Electronics",
issn = "0747-668X",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - JOUR

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

AU - Huang, Chung-Ming

AU - Wang, Chian

AU - Hsu, Jeng Muh

PY - 1998

Y1 - 1998

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0031629122&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0031629122&partnerID=8YFLogxK

M3 - Article

SP - 458

EP - 459

JO - Digest of Technical Papers - IEEE International Conference on Consumer Electronics

JF - Digest of Technical Papers - IEEE International Conference on Consumer Electronics

SN - 0747-668X

ER -