{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:47:43Z","timestamp":1742914063785,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642413650"},{"type":"electronic","value":"9783642413667"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41366-7_11","type":"book-chapter","created":{"date-parts":[[2013,9,11]],"date-time":"2013-09-11T06:54:18Z","timestamp":1378882458000},"page":"132-146","source":"Crossref","is-referenced-by-count":1,"title":["Retracted: Towards a Formal Approach for Verifying Temporal Coherence in a SMIL Document Presentation"],"prefix":"10.1007","author":[{"given":"Abdelghani","family":"Ghomari","sequence":"first","affiliation":[]},{"given":"Naceur","family":"Belheziel","sequence":"additional","affiliation":[]},{"given":"Fatma-Zohra","family":"Mekahlia","sequence":"additional","affiliation":[]},{"given":"Chabane","family":"Djeraba","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"11_CR1","doi-asserted-by":"publisher","first-page":"32","DOI":"10.5120\/2404-3198","volume":"20","author":"R. Asnawi","year":"2011","unstructured":"Asnawi, R., Ahmad, W.F.W., Rambli, D.R.A.: Formalization and verification of a live multimedia presentation model. International Journal of Computer Applications\u00a020(3), 32\u201341 (2011)","journal-title":"International Journal of Computer Applications"},{"key":"11_CR2","unstructured":"Ayars, J., Bulterman, D., Cohen, A., Day, K., Hodge, E., Hoschka, P., Hyche, E., Jourdan, M., Kubota, K., Lanphier, R.: Synchronized multimedia integration language (SMIL) 2.0 specification. Work in progress. W3C Working Drafts (September 21, 2000), \n                    http:\/\/www.w3.org\/TR"},{"issue":"3","key":"11_CR3","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time petri nets. IEEE Trans. Software Eng.\u00a017(3), 259\u2013273 (1991)","journal-title":"IEEE Trans. Software Eng."},{"key":"11_CR4","first-page":"711","volume-title":"Proceedings of the International Conference on Information Technology: Computers and Communications, ITCC 2003","author":"S.M. Chung","year":"2003","unstructured":"Chung, S.M., Pereira, A.L.: Timed petri net representation of the synchronized multimedia integration language (smil) of xml. In: Proceedings of the International Conference on Information Technology: Computers and Communications, ITCC 2003, pp. 711\u2013716. IEEE Computer Society, Washington, DC (2003)"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1145\/244130.244178","volume-title":"Proceedings of the Fourth ACM International Conference on Multimedia, MULTIMEDIA 1996","author":"J.-P. Courtiat","year":"1996","unstructured":"Courtiat, J.-P., De Oliveira, R.C.: Proving temporal consistency in a new multimedia synchronization model. In: Proceedings of the Fourth ACM International Conference on Multimedia, MULTIMEDIA 1996, pp. 141\u2013152. ACM, New York (1996)"},{"issue":"6","key":"11_CR6","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1007\/s00530-011-0233-1","volume":"17","author":"O. Gaggi","year":"2011","unstructured":"Gaggi, O., Bossi, A.: Analysis and verification of smil documents. Multimedia Systems\u00a017(6), 487\u2013506 (2011)","journal-title":"Multimedia Systems"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Ghomari, A., Djeraba, C.: An approach for synchronization and management of multimedia scenarios in an object-oriented database. In: Loucopoulos, P., Cavarero, J.-L. (eds.) RCIS, pp. 175\u2013182. IEEE (2010)","DOI":"10.1109\/RCIS.2010.5507377"},{"key":"11_CR8","unstructured":"International Organization for Standardization. Information technology \u2014 hypermedia\/time-based structuring language (hytime). ISO\/IEC 10744 (1997)"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1145\/290747.290780","volume-title":"Proceedings of the Sixth ACM International Conference on Multimedia, MULTIMEDIA 1998","author":"M. Jourdan","year":"1998","unstructured":"Jourdan, M., Laya\u00efda, N., Roisin, C., Sabry-Isma\u00efl, L., Tardif, L.: Madeus, and authoring environment for interactive multimedia documents. In: Proceedings of the Sixth ACM International Conference on Multimedia, MULTIMEDIA 1998, pp. 267\u2013272. ACM, New York (1998)"},{"issue":"3","key":"11_CR10","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1109\/49.53017","volume":"8","author":"T.D.C. Little","year":"1990","unstructured":"Little, T.D.C., Ghafoor, A.: Synchronization and storage models for multimedia objects. IEEE Journal on Selected Areas in Communications\u00a08(3), 413\u2013427 (1990)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/166266.166280","volume-title":"Proceedings of the First ACM International Conference on Multimedia, MULTIMEDIA 1993","author":"R. Price","year":"1993","unstructured":"Price, R.: Mheg: an introduction to the future international standard for hypermedia object interchange. In: Proceedings of the First ACM International Conference on Multimedia, MULTIMEDIA 1993, pp. 121\u2013128. ACM, New York (1993)"},{"issue":"3","key":"11_CR12","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1590\/S0104-65002004000100004","volume":"9","author":"P.N.M. Sampaio","year":"2004","unstructured":"Sampaio, P.N.M., Courtiat, J.-P.: An approach for the automatic generation of rt-lotos specifications from smil 2.0 documents. J. Braz. Comp. Soc.\u00a09(3), 39\u201351 (2004)","journal-title":"J. Braz. Comp. Soc."},{"key":"11_CR13","unstructured":"Sampaio, P.N.M.: Conception Formelle de Documents Multimedia: Une Approche s\u2019appuyant sur RT-LOTOS. PhD thesis, Univ Paul Sabatier, Toulouse, France (2003)"},{"key":"11_CR14","first-page":"244","volume-title":"Proceedings of the 1997 International Conference on Multimedia Computing and Systems, ICMCS 1997","author":"M. Vazirgiannis","year":"1997","unstructured":"Vazirgiannis, M., Boll, S.: Events in interactive multimedia applications: Modeling and implementation design. In: Proceedings of the 1997 International Conference on Multimedia Computing and Systems, ICMCS 1997, p. 244. IEEE Computer Society, Washington, DC (1997)"},{"key":"11_CR15","unstructured":"Zaza, M.: Modeling and verifying the Temporal Coherence of SMIL Documents Using Time Peti Nets. Master\u2019s thesis, University of Es Senia, Oran (September 2012)"}],"container-title":["Lecture Notes in Computer Science","Model and Data Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41366-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,2]],"date-time":"2023-02-02T13:32:46Z","timestamp":1675344766000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-41366-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642413650","9783642413667"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41366-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}