References
- Y. Akiyama, S. Oore, and C. Watters, "Framework for constructing task-space to support novice multimedia authoring," Multimedia Tools Appications, vol. 74, no. 15, pp. 6111-6147, 2015. DOI: 10.1007/s11042-014-1911-8.
- D. Picinin, J. M. Farines, C. A. S. Santos, and C. Koliver, "A design-oriented method to build correct hypermedia documents," Multimedia Tools Appications, vol. 77, no. 16, pp. 21003-21032, 2018. DOI: 10.1007/s11042-017-5325-2.
- C. C. Yang and Y. Z. Yang, "SMILAuthor: An authoring system for SMIL-based multimedia presentations," Multimedia Tools Appications, vol. 21, no. 3, pp. 243-260, 2003. DOI: 10.1023/A:1025770817293.
- D. Pincinin, J. M. Farines, and C. Koliver, "An approach to verify live NCL applications," in WebMedia'12 - Proceedings of the 2012 Brazilian Symposium on Multimedia and the Web, pp. 223-231, 2012. DOI: 10.1145/2382636.2382685.
- C. C. Yang, C. Chu, and Y. C. Wang, "Extension of Timeline-based Editing for Non-deterministic," J. Inf. Sci. Eng., vol. 24, no. 5, pp. 1377-1395, 2008.
- B. Meixner, K. Matusik, C. Grill, and H. Kosch, "Towards an easy to use authoring tool for interactive non-linear video," Multimedia Tools Applications, vol. 70, no. 2, pp. 1251-1276, 2014. DOI: 10.1007/s11042-012-1218-6.
- D. P. De Mattos and D. C. Muchaluat-Saade, "Steve: A hypermedia authoring tool based on the simple interactive multimedia model," Proceeding of the ACM Symposium on Document Engineering 2018, DocEng 2018, vol. 14, no. 4, pp. 1-24, 2018. DOI: 10.1145/3209280.3209521.
- B. Meixner and H. Kosch, "Interactive non-linear video: Definition and XML structure," in DocEng 2012 - Proceedings of the 2012 ACM Symposium on Document Engineering, pp. 49-58, 2012. DOI: 10.1145/2361354.2361367.
- D. C. A. Bulterman and L. Hardman, "Structured Multimedia Authoring," ACM Transactions on Multimedia Computing, Communications, and Applications, vol. 1, no. 1, pp. 89-109, 2005. DOI: 10.1145/1047936.1047943.
- T. T. Zhou, T. Gedeon, and J. S. Jin, "Automatic generating detail-on-demand hypervideo using MPEG-7 and SMIL The University of Newcastle," in Conference: Proceedings of the 13th ACM International Conference on Multimedia, pp. 379-382, 2005.
- S. Bouyakoub and A. Belkhir, "SMIL builder: An incremental authoring tool for SMIL documents," ACM Transaction Multimedia Compututing, Communications, and Applications, vol. 7, no. 1, pp. 1-30, 2011. DOI: 10.1145/1870121.1870123.
- S. Bouyakoub, A. Belkhir, M. S. Hacid, and A. Mostefaoui, "A spatio-temporal authoring tool for multimedia SMIL documents," International Symposium onMultimedia, vol. 2, no. 3, pp. 83-88, 2012. DOI: 10.1109/ISM.2005.21.
- L. Rutledge, "SMIL 2.0: XML for web multimedia," IEEE Internet Computing, vol. 5, no. 5, pp. 78-84, 2001. DOI: 10.1109/4236.957898.
- L. Bai, L. Yan, Z. M. Ma, and C. Xu, "Incorporating fuzziness in spatiotemporal XML and transforming fuzzy spatiotemporal data from XML to relational databases," Applied. Intelligence, vol. 43, no. 4, pp. 707-721, 2015. DOI: 10.1007/s10489-015-0677-7.
- C. Yang and J. Huang, "A multimedia synchronization its implementation in transport," IEEE Journal on Selected Areas in Commununications, vol. 14, no. 1, pp. 212-225, 1996. https://doi.org/10.1109/49.481706
- S. Bouyakoub and A. Belkhir, "H-SMIL-Net: A hierarchical Petri Net model for SMIL documents," Proceeding of - UKSim 10th International Conference on Computing Modeing and Simulation, EUROSIM/UKSim2008, pp. 106-111, 2008. DOI: 10.1109/UKSIM.2008.54.
- A. Belkhir and S. Bouyakoub-Smail, "Formal design of smil documents," in Webist 2007 - 3rd International Conference on Web Information Systems and Technologies, vol. 1:WEBIST, pp. 396-399, 2007. DOI: 10.5220/0001271403960399.
- S. Yovine, A. Olivero, and L. Cordoba, "An approach for the verification of the temporal consistency of NCL applications *," in Proceeding of Simposio Brasileiro de Sistemas Multimedia e Web (WEBMEDIA), pp. 179-184, 2010.
- G. Gardey, O. H. Roux, and O. F. Roux, "State space computation and analysis of Time Petri Nets," Theory and Practice of Logic Programming, vol. 6, no. 3, pp. 301-320, 2006. DOI: 10.1017/S147106840600264X.
- B. Berthomieu and F. Vernadat, "State space abstractions for time petri nets," in Handbook of Real-Time and Embedded Systems, pp. 30-31, 2007.
- S. Ribaric and T. Hrkac, "A model of fuzzy spatio-temporal knowledge representation and reasoning based on high-level Petri nets," Information Systems, vol. 37, no. 3, pp. 238-256, 2012. DOI: 10.1016/j.is.2011.09.010.
- S. Elias, K. S. Easwarakumar, and R. Chbeir, "Dynamic consistency checking for temporal and spatial relation in multimedia presentations," in Proceedings of the ACM Symposium on Applied Computing, 2006, vol. 2, pp. 1380-1384, DOI: 10.1145/1141277.1141596.
- Y. Belhadad, A. Refoufi, and P. Roose, "Spatial reasoning about multimedia document for a profile based adaptation: Combining distances, directions and topologies," Multimedia Tools and Applications, vol. 77, no. 23, pp. 30437-30474, 2018. DOI: 10.1007/s11042-018-6080-8.