{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:14:07Z","timestamp":1725491647782},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540754534"},{"type":"electronic","value":"9783540754541"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75454-1_21","type":"book-chapter","created":{"date-parts":[[2007,9,18]],"date-time":"2007-09-18T01:47:54Z","timestamp":1190080074000},"page":"290-303","source":"Crossref","is-referenced-by-count":2,"title":["Designing Consistent Multimedia Documents: The RT-LOTOS Methodology"],"prefix":"10.1007","author":[{"given":"Paulo Nazareno Maia","family":"Sampaio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura Margarita","family":"Rodr\u00edguez Peralta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Pierre","family":"Courtiat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Courtiat, J.-P., de Oliveira, R.C.: Proving temporal consistency in a new multimedia synchronization model. In: Proc. of ACM Multimedia 1996, Boston, USA (November 1996)","DOI":"10.1145\/244130.244178"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Laya\u00efda, N., Sabry-Ismail, L.: Maintaining Temporal Consistency of Multimedia Documents Using Constraints Networks. In: Proceedings of the 1996 Multimedia Computing and Networking, San-Jos\u00e9, USA, pp. 124\u2013135 (February 1996)","DOI":"10.1117\/12.235866"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Mirbel, I., Pernici, B., Sellis, T., Tserkezoglou, S., Vazirgiannis, M.: Checking temporal integrity of interactive multimedia documents. VLDB Journal\u00a09(2) (2000)","DOI":"10.1007\/PL00010674"},{"issue":"1","key":"21_CR4","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1145\/1047936.1047942","volume":"1","author":"M.C. Buchanan","year":"2005","unstructured":"Buchanan, M.C., Zellweger, P.T.: Automatic Temporal Layout Mechanisms Revisited. ACM Transactions on Multimedia Computing, Communications and Applications\u00a01(1), 60\u201388 (2005)","journal-title":"ACM Transactions on Multimedia Computing, Communications and Applications"},{"issue":"1","key":"21_CR5","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1145\/1047936.1047943","volume":"1","author":"D.C.A. Bulterman","year":"2005","unstructured":"Bulterman, D.C.A., Hardman, L.: Structured Multimedia Authoring. ACM Transactions on Multimedia Computing, Communications and Applications\u00a01(1), 89\u2013109 (2005)","journal-title":"ACM Transactions on Multimedia Computing, Communications and Applications"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Rutledge, L.: SMIL: 2.0 \u2013 XML for Web Multimedia. IEEE Internet Computing, pp. 78\u201384 (September-October 2001)","DOI":"10.1109\/4236.957898"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Bulterman, D.C.A.: SMIL: 2.0 \u2013 Part 1: Overview, Concepts and Structure. IEEE Multimedia, pp. 82\u201388 (October- December 2001)","DOI":"10.1109\/93.959106"},{"key":"21_CR8","unstructured":"Tae-Hyun, I., et al.: Simple and Consistent SMIL Authoring: No more editing and no more error. In: IEEE Multimedia Computing on the World Wide Web (2000)"},{"key":"21_CR9","unstructured":"SMIL 2.0 - Synchronized Multimedia Integrated Language. URL: http:\/\/www.w3.org\/AudioVideo\/"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Courtiat, J.P., Santos, C.A.S., Lohr, C., Outtaj, B.: Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. In: Computer Communications (July 23, 2000)","DOI":"10.1016\/S0140-3664(99)00240-6"},{"key":"21_CR11","unstructured":"GRiNS\u2013SMIL: 2.0 Player Home Page. URL: http:\/\/www.oratrix.com\/GRiNS\/SMIL2.0\/"},{"key":"21_CR12","unstructured":"RealPlayer - Real Networks (2004), URL: http:\/\/www.real.com\/player\/"},{"key":"21_CR13","unstructured":"Xsmiles - X-Smiles Home Page (Version 0.5). URL: http:\/\/www.x-smiles.org\/index.html"},{"key":"21_CR14","unstructured":"RTL - RT-LOTOS Laboratory. http:\/\/www.laas.fr\/RT-LOTOS"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Santos, C.A.S., Sampaio, P.N.M., Courtiat, J.-P.: Revisiting the concept of hypermedia documents consistency. In: 7th ACM International Conference on Multimedia (ACM Multimedia 1999). Orlando, USA (November 1999) (short paper)","DOI":"10.1145\/319878.319927"},{"key":"21_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/3-540-45739-9_10","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"C. Lohr","year":"2002","unstructured":"Lohr, C., Courtiat, J.-P.: From the specification to the scheduling of time-dependent systems. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol.\u00a02469, pp. 129\u2013145. Springer, Heidelberg (2002)"},{"key":"21_CR17","unstructured":"Lohr, C.: Contribution \u00e0 la conception de syst\u00e8mes temps-r\u00e9el s\u2019appuyant sur la technique de description formelle RT-LOTOS. PhD Dissertation (in french), Universit\u00e9 Paul Sabatier, Toulouse (December 2002)"},{"key":"21_CR18","unstructured":"Sampaio, P.: Conception formelle de documents multim\u00e9dia interactifs: une approche s\u2019appuyant sur RT-LOTOS. PhD Dissertation (in french), Universit\u00e9 Paul Sabatier, Toulouse (April 2003)"},{"key":"21_CR19","unstructured":"JAVA - The Source for JAVA Technologies. URL: http:\/\/java.sun.com\/"},{"key":"21_CR20","unstructured":"JMF - Java Media Framework 2.0 API home page. URL: http:\/\/java.sun.com\/products\/javamedia\/jmf\/"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"Candan, K.S., Prabhakaran, B., Subrahmanian, V.S.: CHIMP: A Framework for Supporting Distributed Multimedia Document Authoring and Presentation. In: Proc. of the ACM Multimedia, Boston, USA, pp. 329\u2013339 (November 1996)","DOI":"10.1145\/244130.244234"},{"key":"21_CR22","volume-title":"Proc. of Int. Conf. on MultiMedia Modeling - MMM 1997","author":"M. Jourdan","year":"1997","unstructured":"Jourdan, M., Ladayia, N., Roisin, C., Sabry-Ismail, L.: An Integrated Authoring and Presentation Environment for Interactive Multimedia Documents. In: Proc. of Int. Conf. on MultiMedia Modeling - MMM 1997, World Scientific, Singapore (1997)"},{"key":"21_CR23","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1007\/s005300050143","volume":"7","author":"J. Song","year":"1999","unstructured":"Song, J., Ramalingam, G., Miller, R., Yi, B.: Interactive authoring of multimedia documents in a constraint-based authoring system. Multimedia Systems\u00a07, 424\u2013437 (1999)","journal-title":"Multimedia Systems"},{"key":"21_CR24","series-title":"Lecture Notes in Computer Science","volume-title":"Interactive Multimedia Documents","year":"1999","unstructured":"Vazirgiannis, M. (ed.): Interactive Multimedia Documents. LNCS, vol.\u00a01564. Springer, Heidelberg (1999)"},{"issue":"1","key":"21_CR25","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1109\/69.842254","volume":"12","author":"E. Bertino","year":"2000","unstructured":"Bertino, E., Ferrari, E., Stolf, M., MPGS,: An Interactive Tool for the Specification and Generation of Multimedia Presentations. IEEE Transactions on Knowledge Data Enginering\u00a012(1), 102\u2013125 (2000)","journal-title":"IEEE Transactions on Knowledge Data Enginering"},{"issue":"4","key":"21_CR26","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1109\/TMM.2004.830807","volume":"6","author":"M. Huadong","year":"2004","unstructured":"Huadong, M., Shin, K.G.: Checking Consistency in Multimedia Synchronization Constraints. IEEE Transactions on Multimedia\u00a06(4), 565\u2013574 (2004)","journal-title":"IEEE Transactions on Multimedia"},{"key":"21_CR27","doi-asserted-by":"crossref","unstructured":"Yoon, K., Berra, P.B.: TOCPN: Interactive Temporal Model for Interactive Multimedia Documents. In: International Workshop on Multimedia Database Management Systems (IW-MMDBMS 1998), Dayton, Ohio, USA (1998)","DOI":"10.1109\/MMDBMS.1998.709776"},{"key":"21_CR28","doi-asserted-by":"crossref","unstructured":"Schnepf, J., Konstan, J.A., Du, D.: Doing FLIPS: FLexible Interactive Presentation Synchronization. Distributed Multimedia Center, Department of Computer Sciences, University of Minnesota (1996), ftp:\/\/ftp.cs.umn.edu\/users\/du\/papers\/flips.ps","DOI":"10.1109\/49.481698"},{"key":"21_CR29","unstructured":"GRiNSComposer - Oratrix Development BV. SMIL 2.0 Evaluation KIT. Online. Available: http:\/\/www2.oratrix.nl\/W3C\/pressRelease2"},{"issue":"2","key":"21_CR30","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/BF01213484","volume":"1","author":"M.C. Buchanan","year":"1993","unstructured":"Buchanan, M.C., Zellweger, P.T.: Automatically generating consistent schedules for multimedia documents. Multimedia System Journal\u00a01(2), 55\u201367 (1993)","journal-title":"Multimedia System Journal"},{"key":"21_CR31","doi-asserted-by":"crossref","unstructured":"Wirag, S.: Specification and scheduling of adaptative multimedia documents. In: Technical report TR-1999-04, University of Stuttgart (January 1999)","DOI":"10.1007\/978-3-642-60111-8_38"},{"key":"21_CR32","first-page":"113","volume-title":"Multimedia 1999 - Media Convergence: Models, Technologies and Applications","author":"J. Hauser","year":"1999","unstructured":"Hauser, J.: Realization of an extensible multimedia document model. In: Multimedia 1999 - Media Convergence: Models, Technologies and Applications, Wien, pp. 113\u2013122. Springer-Verlag, Heidelberg (1999)"},{"issue":"4","key":"21_CR33","first-page":"495","volume":"23","author":"C.-M. Huang","year":"1999","unstructured":"Huang, C.-M., Lin, C.-H., Wang, C.: Specifying and Executing Interactive Multimedia Presentations using the Formal Approach. proceedings of National Science Concil\u00a023(4), 495\u2013510 (1999)","journal-title":"proceedings of National Science Concil"},{"key":"21_CR34","unstructured":"Riviere, N., Bradin-Chezaviel, B., Valette, R.: Propagation de contraintes et ordonnancement de documents multim\u00e9dias. Rapport LAAS No02044. In: 5\u00e8me Journ\u00e9e Doctorales Informatique et R\u00e9seaux (JDIR\u20192002), Toulouse (France), pp. 211\u2013218 (Mars 4-6, 2002)"},{"key":"21_CR35","doi-asserted-by":"crossref","unstructured":"Jeong, T., Ham, J.W., Kim, S.J.A: Pre-Scheduling Mechanism for Multimedia Presentation Synchronization. In: proceedings of International Conference on Multimedia Computing and Systems (ICMCS 1997), Ottawa, Canada, pp. 379\u2013386 (1997)","DOI":"10.1109\/MMCS.1997.609640"},{"key":"21_CR36","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1016\/S0920-5489(01)00091-5","volume":"23","author":"M.A. Jourdan","year":"2001","unstructured":"Jourdan, M.A: formal semantics of SMIL: a Web standard to describe multimedia documents. Computer Standards and Interfaces\u00a023, 439\u2013455 (2001)","journal-title":"Computer Standards and Interfaces"},{"key":"21_CR37","doi-asserted-by":"crossref","unstructured":"Chung, S.M., Pereira, A.L.: Time Petri Net Representation of SMIL. In: IEEE Multimedia, pp. 64\u201372 (January-March 2005)","DOI":"10.1109\/MMUL.2005.14"},{"key":"21_CR38","unstructured":"Chefrour, D.: V\u00e9rification de la coh\u00e9rence temporelle des documents multim\u00e9dia SMIL. Rapport DEA, Universit\u00e9 Joseph Fourier, Grenoble, France (June 2001)"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75454-1_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T04:52:56Z","timestamp":1684039976000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75454-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540754534","9783540754541"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75454-1_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}