Formalization and Verification of a Live Multimedia Presentation Model

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]

[thumbnail of pxc3873198.pdf] PDF
pxc3873198.pdf - Published Version
Restricted to Registered users only

Download (938kB)


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.

Item Type: Citation Index Journal
Subjects: T Technology > T Technology (General)
Departments / MOR / COE: Departments > Computer Information Sciences
Depositing User: Assoc Prof Dr Wan Fatimah Wan Ahmad
Date Deposited: 08 Dec 2011 01:55
Last Modified: 19 Jan 2017 08:22

Actions (login required)

View Item
View Item