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)

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 Jan 1
EventProceedings of the 1998 17th Conference on Consumer Electronics - Los Angeles, CA, USA
Duration: 1998 Jun 21998 Jun 4

Fingerprint

Synchronization
Finite automata
Specifications

All Science Journal Classification (ASJC) codes

  • Industrial and Manufacturing Engineering
  • Electrical and Electronic Engineering

Cite this

@article{c219eff99ee346738d45b1f1ce58bf98,
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 = "Huang, {Chung Ming} and Chian Wang and Hsu, {Jeng Muh}",
year = "1998",
month = "1",
day = "1",
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/1/1

Y1 - 1998/1/1

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 - Conference article

AN - SCOPUS:0031629122

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 -