CFP last date
20 January 2025
Reseach Article

Formalization and Verification of a Live Multimedia Presentation Model

by Rustam Asnawi, Wan Fatimah Wan Ahmad, Dayang Rohaya Awang Rambli
International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 20 - Number 2
Year of Publication: 2011
Authors: Rustam Asnawi, Wan Fatimah Wan Ahmad, Dayang Rohaya Awang Rambli
10.5120/2404-3198

Rustam Asnawi, Wan Fatimah Wan Ahmad, Dayang Rohaya Awang Rambli . Formalization and Verification of a Live Multimedia Presentation Model. International Journal of Computer Applications. 20, 2 ( April 2011), 32-41. DOI=10.5120/2404-3198

@article{ 10.5120/2404-3198,
author = { Rustam Asnawi, Wan Fatimah Wan Ahmad, Dayang Rohaya Awang Rambli },
title = { Formalization and Verification of a Live Multimedia Presentation Model },
journal = { International Journal of Computer Applications },
issue_date = { April 2011 },
volume = { 20 },
number = { 2 },
month = { April },
year = { 2011 },
issn = { 0975-8887 },
pages = { 32-41 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume20/number2/2404-3198/ },
doi = { 10.5120/2404-3198 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T20:06:46.033268+05:30
%A Rustam Asnawi
%A Wan Fatimah Wan Ahmad
%A Dayang Rohaya Awang Rambli
%T Formalization and Verification of a Live Multimedia Presentation Model
%J International Journal of Computer Applications
%@ 0975-8887
%V 20
%N 2
%P 32-41
%D 2011
%I Foundation of Computer Science (FCS), NY, USA
Abstract

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.

References
  1. V. Hakkoymaz and G. Ozsoyoglu, 1996. Automating the Organization of Presentations for Playout Management in Multimedia Databases. in Proceedings of International Workshop on Multimedia Database Management Systems, Blue Mountain Lake, NY , USA pp. 28 - 36
  2. S. Wirag, 1997, Modelling of Adaptable MM Documents vol. 1309/1997: Springer.
  3. T. Lee, et al., "Querying Multimedia Presentations Based on Conctent", Knowledge and Data Engineering, IEEE Transaction, vol. 11, 1999.
  4. V. Hakkoymaz, et al., "Constraint-based Automation of Multimedia Presentation Assembly", Multimedia Systems, Springer-Verlag, vol. 7, 1999.
  5. B. Prabhakaran, "Adaptive Multimedia Presentation Strategies", Multimedia Tools and Applications, Springer, vol. 12, 2000.
  6. H. W.Agius and M. C.Angelides, "A Method for Developing Interactive Multimedia from their Semantic Content", Data & Knowledge Engineering, Elsevier, 2000.
  7. V. Hakkoymaz, "Multimedia Presentation Organization and Playout Management Using Intelligent Agents", Multimedia Tools and Applications, Springer, vol. 47, 2009.
  8. Paola Bertolotti and O. Gaggi, "A Study on Multimedia Documents Behavior: a Notion of Equivalence", Multimedia Tools and Applications, Springer, vol. vol. 33, 2007.
  9. G. O. Nevzat Hurkan Balkir, 1998. Multimedia Presentation Servers: Buffer Management and Admission Control. in Proceeding international workshop on Multimedia Database Management Systems, Dayton, OH pp. 154-161.
  10. G. O. Nevzat Hurkan Balkir, "Delivering Presentations from Multimedia Server", The VLDB Journal — The International Journal on Very Large Data Bases, Springer-Verlag New York, Inc., vol. 7, pp. 294-307, 1998.
  11. A. Y. Chang, 2005. Design of Consistent SMIL Documents for Distributed Multimedia Presentation Using Temporal Algebra. in International Conference on Parallel and Distributed Systems11th pp. 189 - 195.
  12. M. Adiba and J.-L. Zechinelli-Martini, 1999, Spatio-Temporal Multimedia Presentations as Database Objects: Springerlink.
  13. Timothy K. Shih and A. Y. Chang, June 1997. Toward a Generic Spatial/Temporal Computation Model for Multimedia Presentations. in IEEE International Conference on Multimedia Computing and Systems, Canada.
  14. J. E. Kjeldsen, "The Rhetoric of PowerPoint", Seminar.net International Journal of Media, Technology & Lifelong Learning vol. 2, 2006.
  15. J. Lanir, et al., 2008. Observing Presenter’s Use of Visual Aids to Inform the Design of Classroom Presentation Software. in Proceedings of the SIGCHI Conference on Human Factors in Computing Systems CHI08’, pp. 695-704.
  16. J. Lanir, et al., 2008. MultiPresenter: A Presentation System for (Very) Large Display Spaces. in Proceeding of the 16th ACM International Conference on Multimedia, Vancouver, British Columbia, Canada.
  17. E. R. Tufte, 2003, The Cognitive Style of PowerPoint: Graphics Press, Chesire, CT, .
  18. P. Chiu, et al., 2003. Manipulating and Annotating Slides in a Multi-Display Environments. in Proceedings of INTERACT’03, pp. 583-590.
  19. G. Turban, 2007. Categorization of Educational Presentation Systems. in Proceedings of the international workshop on Educational multimedia and multimedia education, Augsburg, Bavaria, Germany, pp. 5-10.
  20. G. Turban and M. Muhlhauser, 2007. A Framework for the Development of Educational Presentation Systems and its Application. in Proceedings of the international workshop on Educational multimedia and multimedia education., Augsburg, Bavaria, Germany, pp. 115-118.
  21. Q. Liu, et al., 2005. Framework for Effective Use of Multiple Display. in Proceedings of SPIE International Symposium ITCom on Multimedia Systems and Applications VIII, , Boston, Massachusetts, USA.
  22. K. Kurihara and T. Igarashi, 2007, A Flexible Presentation Tool for Diverse Multi-display Environtments vol. 4662 Part I. Berlin: Springer Berlin.
  23. J. A. Schnepf, et al., 1996. Building A Framework for Flexible Interactive Presentations. in Proceedings of Pacific Workshop on Distributed Multimedia Systems, Hong kong.
  24. B. Bailey, et al., 1998. Nsync – A Toolkit for Building Interactive Multimedia Presentations. in Proceeding of the sixth ACM International Conference on Multimedia, Bristol, United Kingdom,, pp. 257-266
  25. M. L. Sapino, 2002, Multimedia Presentations Databases (Extended Abstract): SOFSEM 2002, LNCS Springer Berlin 2540.
  26. D. C. A. Bulterman, "SMIL 2.0 - Part 1: Overview, Concepts, and Structure", Multimedia, IEEE Journal, vol. 8, pp. 82 - 88 2001.
  27. Lloyd Rutledge, et al., "Anticipating SMIL 2.0: the developing cooperative infrastructure for multimedia on the Web", Computer Networks, Elsevier Science, vol. 31, pp. 1421–1430, 1999.
  28. L. Rutledge, "SMIL 2.0 : XML for Web Multimedia", Internet Computing, IEEE vol. 5, pp. 78 - 84, 2001.
  29. W3C. (2010, November 2010). Synchronized Multimedia Integration Language (SMIL 2.0) - [Second Edition]. Available: http://www.w3.org/TR/2005/REC-SMIL2-20050107/
  30. R. Asnawi, et al., 2010. Development of Multipurpose Integrated Multimedia Presentation System Based on the CCM Algorithm. in Proceedings of International Conference on Computer and Automation Engineering, Singapore, pp. 716-720.
  31. R. Asnawi, et al., 2010. Unifying Multimedia Player and Presentation System with Utilizing Dual-Display Feature. in Proceedings of The 4th International Symposium on Information Technology Kuala Lumpur, Malaysia, pp. 70-75.
  32. R. Asnawi, et al., 2009. Design Architecture for IM-Player as a Tool for supporting Visual Education Presentation. in Lecture Notes in Computer Science-IVIC Kuala Lumpur, Malaysia, pp. 78-89.
  33. J. F. Allen, "Maintaining Knowledge about Temporal Intervals", Communications of the ACM, vol. 26, pp. 832-843, 1983.
Index Terms

Computer Science
Information Sciences

Keywords

Modeling Formalization Live multimedia presentation Multimedia application