{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,26]],"date-time":"2025-05-26T06:46:08Z","timestamp":1748241968469},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664628"},{"type":"electronic","value":"9783540482574"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48257-1_4","type":"book-chapter","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T16:25:09Z","timestamp":1184948709000},"page":"77-91","source":"Crossref","is-referenced-by-count":2,"title":["Design of Distributed Multimedia Applications (DAMD)"],"prefix":"10.1007","author":[{"given":"Wanderley Lopes","family":"de Souza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo Nazareno Maia","family":"Sampaio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria Janilce B.","family":"Almeida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luciano Paschoal","family":"Gaspary","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lisandro Zambenedetti","family":"Granville","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marie","family":"Farines","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto Milton","family":"Scheffel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Willrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Murilo S.","family":"de Camargo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelo","family":"Domingos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"ISO\/IEC 9074, Information Processing Systems-Open System Interconnection-Estelle-A Formal Description Technique Based on an Extended State Transition Model, 1989."},{"key":"4_CR2","unstructured":"ISO\/IEC DP 8807, LOTOS-A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, 1987."},{"key":"4_CR3","unstructured":"Z.100, CCITT Blue Book Vol. X, Fasc.X.l, ITU Geneva, 1993."},{"key":"4_CR4","unstructured":"ISO\/IEC JTC1\/SC21\/WG7, Working draft on enhancements to LOTOS, Project WI1.21.20.2.3, February, 1998."},{"key":"4_CR5","unstructured":"R. Willrich. Formal Design of Portable Hypermedia Documents (in French). PHD Thesis, LAAS-CNRS, Universit\u00e9 Paul Sabatier. Toulouse (France), September, 1996."},{"key":"4_CR6","volume-title":"Proving Temporal Consistency in a New Multimedia Synchronisation Model","author":"J.-P. Courtiat","year":"1996","unstructured":"J.-P. Courtiat, R.C. de Oliveira. Proving Temporal Consistency in a New Multimedia Synchronisation Model, in ACM Multimedia, Boston, MA, USA, 1996."},{"key":"4_CR7","unstructured":"P.N.M. Sampaio, C.Y. Shiga & W.L. deSouza. Enabling Temporal Synchronisation in E-LOTOS Specifications and MHEG-5 Applications, proceedings of IEEE Conference on Protocols for Multimedia Systems-Multimedia Networking (PROMSMmNet\u201997), Santiago-Chile, November, 1997."},{"key":"4_CR8","unstructured":"P.N.M. Sampaio & W.L. deSouza. Modelling Multimedia and Hypermedia Applications using an E-LOTOS\/MHEG-5 Approach, proceedings of Workshop on Conceptual Modelling in Multimedia Information Seeking, Los Angeles-USA, November, 1997."},{"issue":"3","key":"4_CR9","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/93.410508","volume":"2","author":"N. Hirzalla","year":"1995","unstructured":"N. Hirzalla, B. Falchuk & A. Karmouch. A Temporal Model for Interactive Multimedia Scenarios, IEEE Multimedia (2) No 3, pp 24\u201331, 1995.","journal-title":"IEEE Multimedia"},{"issue":"2","key":"4_CR10","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/BF01213484","volume":"1","author":"M.C. Buchanan","year":"1993","unstructured":"M.C. Buchanan & P.T. Zellweger. Automatically Generating Consistent Schedules for Multimedia Documents, Multimedia Systems Journal, 1(2):55\u201367, 1993.","journal-title":"Multimedia Systems Journal"},{"issue":"1","key":"4_CR11","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1109\/49.481696","volume":"14","author":"P. S\u00e9nac","year":"1996","unstructured":"P. S\u00e9nac, M. Diaz, A. Leger, & P. de Saqui-Sannes. Modelling Logical and Temporal Synchronisation in Hypermedia Systems, IEEE Journal on Selected Areas in Communications, 14(1):84\u2013103, January, 1996.","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"4_CR12","unstructured":"P.N.M. Sampaio & R. Willrich. Internal Representation for Interactive Multimedia Applications (in Portuguese), Internal report \u2014 DAMD Project, October, 1997."},{"key":"4_CR13","unstructured":"J.S. Allende, Graphical Designer for LOTOS, User Manual, Dept. of Telematic Systems Engineering, Technical University of Madrid, May, 1997."},{"issue":"1","key":"4_CR14","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1109\/49.481696","volume":"14","author":"P. S\u00e9nac","year":"1995","unstructured":"P. S\u00e9nac, M. Diaz, A. L\u00e9ger & P. de Saqui-Sannes. Modelling Logical and Temporal Synchronisation in Hypermedia Systems, IEEE Journal on Selected Areas in Communications, 14(1): 84\u2013103, January, 1995.","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"L. P. Gaspary & M. J. Almeida. Authoring and E-LOTOS Conception of Interactive Networked Multimedia Applications in MUSE Environment, proceedings of PICS\u201998-Performance of Information and Communications Systems, Lund, Sweden, May 1998.","DOI":"10.1007\/978-0-387-35355-5_24"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"L. P. Gaspary & M. J. Almeida. MUSE-An Interactive Networked Multimedia Applications Specification Environment with E-LOTOS Translator, proceedings of CAiSE\u201998-10th Conference on Advanced Information Systems Engineering, pp. 273\u2013287, Pisa, Italy, June 1998.","DOI":"10.1007\/BFb0054230"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Henzinger, Thomas A., Ho, Pei-Hsin., Howard, Wong-Toi. HyTech: The Next Generation, Proceedings of the 16th Annual IEEE Real-time Systems Symposium (RTSS 95), IEEE Computer Society Press, 1995, pp. 56\u201365.","DOI":"10.1109\/REAL.1995.495196"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, T. Henzinger, P. Ho, X. Nicollin, A. Olivero & S. Yovine. The algorithmic analysis of hybrid systems, in Proceedings of the 11th International Conference on Analysis and Optimization of Discrete Event Systems, pg. 331\u2013351. Springer Verlag, 1994.","DOI":"10.1007\/BFb0033565"},{"key":"4_CR19","unstructured":"S. Yovine. Methods and Tools for the Symbolic Verification of Temporal Systems (in French), PhD Thesis, Institut National Polytechnique de Grenoble, 1993."},{"key":"4_CR20","unstructured":"P.N.M. Sampaio. A Methodology for the MHEG-5 Implementation of Interactive Multimedia Applications Specified in E-LOTOS (in Portuguese), M.Sc. dissertation, PPG-CC\/UFSCar, Brazil, February, 1998."},{"key":"4_CR21","unstructured":"ISO\/IEC IS 13522-5. Information Technology-Coding of Multimedia and Hypermedia Information: Part 5: Support for Base-Level Interactive Applications, 1996."},{"key":"4_CR22","unstructured":"R.M. Scheffel, P.N.M. Sampaio, C.Y. Shiga & R. Willrich. Specifying Interactive Multimedia Applications using E-LOTOS (in Portuguese). Internal report \u2014 DAMD project, October, 1997."}],"container-title":["Lecture Notes in Computer Science","Applied Formal Methods \u2014 FM-Trends 98"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48257-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T07:08:08Z","timestamp":1556694488000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48257-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664628","9783540482574"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-48257-1_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}