Cover Image

Formalization and Verification of a Live Multimedia Presentation Model

As the complement of the stored multimedia presentation, live multimedia presentation (LMP) is similar to the stored multimedia presentation except for the process of selecting, authoring, constructing and playing out the multimedia elements are done during presentation time. Unfortunately, there...

Full description

Saved in:
Bibliographic Details
Main Authors: Asnawi, Rustam, Wan Ahmad, Wan Fatimah, Awang Rambli, Dayang Rohaya
Format: Citation Index Journal
Published: Foundation of Computer Science 2011
Subjects:
T Technology (General)
Online Access:http://eprints.utp.edu.my/7049/1/pxc3873198.pdf
http://eprints.utp.edu.my/7049/
Tags: Add Tag
No Tags, Be the first to tag this record!
id my.utp.eprints.7049
record_format eprints
spelling my.utp.eprints.70492017-01-19T08:22:50Z Formalization and Verification of a Live Multimedia Presentation Model Asnawi, Rustam Wan Ahmad, Wan Fatimah Awang Rambli, Dayang Rohaya T Technology (General) As the complement of the stored multimedia presentation, live multimedia presentation (LMP) is similar to the stored multimedia presentation except for the process of selecting, authoring, constructing and playing out the multimedia elements are done during presentation time. Unfortunately, there is no established model of LMP as well as in stored multimedia presentation with its SMIL. This paper proposes some basic concepts for developing any LMP application, and then from such concept we design a model of LMP using formal definition. Finally, to verify the model we used scenario-based and developed an application as a tool to accomplish the verification process. Foundation of Computer Science 2011-04 Citation Index Journal NonPeerReviewed application/pdf http://eprints.utp.edu.my/7049/1/pxc3873198.pdf Asnawi, Rustam and Wan Ahmad, Wan Fatimah and Awang Rambli, Dayang Rohaya (2011) Formalization and Verification of a Live Multimedia Presentation Model. [Citation Index Journal] http://eprints.utp.edu.my/7049/
institution Universiti Teknologi Petronas
building UTP Resource Centre
collection Institutional Repository
continent Asia
country Malaysia
content_provider Universiti Teknologi Petronas
content_source UTP Institutional Repository
url_provider http://eprints.utp.edu.my/
topic T Technology (General)
spellingShingle T Technology (General)
Asnawi, Rustam
Wan Ahmad, Wan Fatimah
Awang Rambli, Dayang Rohaya
Formalization and Verification of a Live Multimedia Presentation Model
description As the complement of the stored multimedia presentation, live multimedia presentation (LMP) is similar to the stored multimedia presentation except for the process of selecting, authoring, constructing and playing out the multimedia elements are done during presentation time. Unfortunately, there is no established model of LMP as well as in stored multimedia presentation with its SMIL. This paper proposes some basic concepts for developing any LMP application, and then from such concept we design a model of LMP using formal definition. Finally, to verify the model we used scenario-based and developed an application as a tool to accomplish the verification process.
format Citation Index Journal
author Asnawi, Rustam
Wan Ahmad, Wan Fatimah
Awang Rambli, Dayang Rohaya
author_facet Asnawi, Rustam
Wan Ahmad, Wan Fatimah
Awang Rambli, Dayang Rohaya
author_sort Asnawi, Rustam
title Formalization and Verification of a Live Multimedia Presentation Model
title_short Formalization and Verification of a Live Multimedia Presentation Model
title_full Formalization and Verification of a Live Multimedia Presentation Model
title_fullStr Formalization and Verification of a Live Multimedia Presentation Model
title_full_unstemmed Formalization and Verification of a Live Multimedia Presentation Model
title_sort formalization and verification of a live multimedia presentation model
publisher Foundation of Computer Science
publishDate 2011
url http://eprints.utp.edu.my/7049/1/pxc3873198.pdf
http://eprints.utp.edu.my/7049/
_version_ 1738655541565063168
score 13.211869

Similar Items