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

Chung Ming Huang; Chian Wang; Jeng Muh Hsu

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

Chung Ming Huang, Chian Wang, Jeng Muh Hsu

Department of Computer Science and Information Engineering

Research output: Contribution to journal › Conference 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 language	English
Pages (from-to)	458-459
Number of pages	2
Journal	Digest of Technical Papers - IEEE International Conference on Consumer Electronics
Publication status	Published - 1998 Jan 1
Event	Proceedings of the 1998 17th Conference on Consumer Electronics - Los Angeles, CA, USA Duration: 1998 Jun 2 → 1998 Jun 4

All Science Journal Classification (ASJC) codes

Industrial and Manufacturing Engineering
Electrical and Electronic Engineering

Access to Document

Fingerprint Dive into the research topics of 'Formal modeling and design of multimedia synchronization for interactive multimedia presentations in distributed environments'. Together they form a unique fingerprint.

Cite this

Huang, C. M., Wang, C., & Hsu, J. M. (1998). Formal modeling and design of multimedia synchronization for interactive multimedia presentations in distributed environments. Digest of Technical Papers - IEEE International Conference on Consumer Electronics, 458-459.

@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 = "Huang, {Chung Ming} and Chian Wang and Hsu, {Jeng Muh}",

year = "1998",

month = jan,

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.",

note = "Proceedings of the 1998 17th Conference on Consumer Electronics ; Conference date: 02-06-1998 Through 04-06-1998",

}

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

T2 - Proceedings of the 1998 17th Conference on Consumer Electronics

Y2 - 2 June 1998 through 4 June 1998

ER -