{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:02:33Z","timestamp":1725559353747},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540260974"},{"type":"electronic","value":"9783540319610"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11431879_11","type":"book-chapter","created":{"date-parts":[[2010,7,9]],"date-time":"2010-07-09T13:08:51Z","timestamp":1278680931000},"page":"179-199","source":"Crossref","is-referenced-by-count":1,"title":["Very-High-Fidelity Prototyping for Both Presentation and Dialogue Parts of Multimodal Interactive Systems"],"prefix":"10.1007","author":[{"given":"David","family":"Navarre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Dragicevic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R\u00e9mi","family":"Bastide","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Am\u00e9lie","family":"Schyn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Bass, L., Little, R., Pellegrino, R., Reed, S., Seacord, R., Sheppard, S., Szezur, M.R.: The Arch Model: Seeheim Revisited. In: User Interface Developpers\u2019 Workshop. Version 1.0 (1991)"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/3-540-60029-9_34","volume-title":"Application and Theory of Petri Nets 1995","author":"R. Bastide","year":"1995","unstructured":"Bastide, R., Palanque, P.: A Petri-Net Based Environment for the Design of Event-Driven Interfaces. In: DeMichelis, G., D\u00edaz, M. (eds.) ICATPN 1995. LNCS, vol.\u00a0935, pp. 66\u201383. Springer, Heidelberg (1995)"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Bastide, R., Palanque, P., Le Duc, H., Mu\u0144oz, J.: Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems. In: Proceedings of the 5th Eurographics Workshop on Design, Specification and Verification of Interactive systems DSV-IS 1998, Springer, Heidelberg (1998)","DOI":"10.1007\/978-3-7091-3693-5_12"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Bastide, R., Sy, O., Palanque, P., Navarre, D.: Formal specification of CORBA services: experience and lessons learned. In: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2000), ACM SIGPLAN Notices, Minneapolis, Minnesota USA, vol.\u00a035 (10), pp. 105\u2013117. ACM Press, New York (2000)","DOI":"10.1145\/353171.353179"},{"key":"11_CR5","unstructured":"Berry, G.: The Esterel v5 language primer. Technical report (April 1999), http:\/\/www-sop.inria.fr\/meije\/esterel\/doc\/main-papers.html"},{"key":"11_CR6","unstructured":"Coutaz, J., Paterno, F., Faconti, G., Nigay, L.: A Comparison of Approaches for Specifying MultiModal Interactive Systems. In: Proceedings of the ERCIM Workshop on Multimodal Human-Computer Interaction, pp. 165\u2013174 (1993)"},{"key":"11_CR7","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1007\/978-1-4471-0353-0_34","volume-title":"Proceedings of IHM-HCI 2001, People and Computers XV - Interaction without Frontiers, Lille, France","author":"P. Dragicevic","year":"2001","unstructured":"Dragicevic, P., Fekete, J.-D.: Input Device Selection and Interaction Configuration with ICON. In: Blandford, A., Vanderdonckt, J., Gray, P. (eds.) Proceedings of IHM-HCI 2001, People and Computers XV - Interaction without Frontiers, Lille, France, Lille, France, pp. 543\u2013548. Springer, Heidelberg (2001)"},{"key":"11_CR8","unstructured":"Dragicevic, P., Fekete, J.-D.: ICON: Input Device Selection and Interaction Configuration. In: Companion Proceedings of UIST 2002. 15th Annual Symposium on User Interface Software and Technology, Paris (October 2002)"},{"key":"11_CR9","unstructured":"Dragicevic, P., Fekete, J.-D.: ICON: Towards High Input Adaptability of Interactive Applications. Internal Report 04\/01\/INFO, Ecole des Mines de Nantes, Nantes, France (2004)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Esteban, O., Chatty, S., Palanque, P.: Whizz\u2019Ed: a visual environment for building highly interactive interfaces. In: Proceedings of the Interact 1995 Conference, pp. 121\u2013126 (1995)","DOI":"10.1007\/978-1-5041-2896-4_20"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Genrich, H.J.: Predicate\/Transition Nets. In: Jensen, K., Rozenberg, G. (eds.) High-Level Petri Nets: Theory and Application, pp. 3\u201343. Springer, Berlin","DOI":"10.1007\/978-3-642-84524-6_1"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data-flow programming language LUSTRE. Proceedings of the IEEE\u00a079 (September 1991)","DOI":"10.1109\/5.97300"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Hinckley, K., Czerwinski, M., Sinclair, M.: Interaction and Modeling Techniques for Desktop Two-Handed Input. In: ACM UIST 1998 Symposium on User Interface Software & Technology, pp. 49\u201358 (1998)","DOI":"10.1145\/288392.288572"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/3-540-44675-3_7","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"D. Navarre","year":"2001","unstructured":"Navarre, D., Palanque, P., Bastide, R., Sy, O.: Structuring Interactive Systems Specifications for Executability and Prototypability. In: Palanque, P., Patern\u00f3, F. (eds.) DSV-IS 2000. LNCS, vol.\u00a01946, p. 97. Springer, Heidelberg (2001)"},{"key":"11_CR15","unstructured":"OMG. The Common Object Request Broker: Architecture and Specification. CORBA IIOP 2.2 \/98-02-01, Framingham, MA (1998)"},{"key":"11_CR16","unstructured":"Palanque, P., Schyn, A.: A Model-Based Approach for Engineering Multimodal Interactive Systems. In: INTERACT 2003, IFIP TC 13 Conference on Human Computer Interaction (2003)"},{"key":"11_CR17","first-page":"848","volume-title":"Proceedings of the 1996 Winter Simulation Conference","author":"R. Wieting","year":"1996","unstructured":"Wieting, R.: Hybrid High-Level Nets. In: Proceedings of the 1996 Winter Simulation Conference, pp. 848\u2013855. ACM Press, New York (1996)"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-45348-2_11","volume-title":"Engineering for Human-Computer Interaction","author":"J.S. Willans","year":"2001","unstructured":"Willans, J.S., Harrison, M.D.: Prototyping pre-implementation designs of virtual environment behaviour. In: Nigay, L., Little, M.R. (eds.) EHCI 2001. LNCS, vol.\u00a02254, p. 91. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Engineering Human Computer Interaction and Interactive Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11431879_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T20:56:15Z","timestamp":1685652975000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11431879_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540260974","9783540319610"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11431879_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}