{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:28:12Z","timestamp":1725506892484},"publisher-location":"Boston, MA","reference-count":11,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781402081569"},{"type":"electronic","value":"9781402081576"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-8157-6_34","type":"book-chapter","created":{"date-parts":[[2008,4,7]],"date-time":"2008-04-07T12:54:40Z","timestamp":1207572880000},"page":"415-420","source":"Crossref","is-referenced-by-count":3,"title":["A Generic Formal Specification of Fusion of Modalities in a Multimodal Hci"],"prefix":"10.1007","author":[{"given":"Yamine Ait","family":"Ameur","sequence":"first","affiliation":[]},{"given":"Nadjet","family":"Kamel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"34_CR1","unstructured":"Bellik, Y. (1995). Interfaces Multimodales: concepts, mod\u00e8les et architecture. PhD thesis, LIMSI-Universit\u00e9 d\u2019Orsay."},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"Coutaz, J., Nigay, L., Saber, D., Blandford, A., May, J., and Young, R. (1995). Four easy pieces for assessing the usability of multimodal interaction: the CARE properties. In Proceedings of Human Computer Interaction \u2014 Interact\u201995, pages 115\u2013120. Chapman and Hall.","DOI":"10.1007\/978-1-5041-2896-4_19"},{"key":"34_CR3","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1111\/1467-8659.1230025","volume":"12","author":"D. Duke","year":"1993","unstructured":"Duke, D. and Harrison, M. D. (1993). Abstract Interaction Objects. In Proceedings of Eurographics conference and computer graphics forum, volume 12, pages 25\u201336.","journal-title":"Proceedings of Eurographics conference and computer graphics forum"},{"issue":"1","key":"34_CR4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1049\/sej.1995.0002","volume":"10","author":"D. Duke","year":"1995","unstructured":"Duke, D. and Harrison, M. D. (1995). Event Model of Human-System Interaction. IEEE Software Engineering Journal, 10(1):3\u201310.","journal-title":"IEEE Software Engineering Journal"},{"key":"34_CR5","unstructured":"MacColl and Carrington, D. (19908). Testing MATIS: a case study on specfication based testing of interactive systems. FAHCI ISBN 0-86339-7948."},{"key":"34_CR6","unstructured":"Nigay, L. and Coutaz, J. (1993). A design space for multi-modal interfaces: concurrent processing and data fusion. In Proceedings of INTERCHI-93 \u2014 INTERCHI-93, pages 172\u2013178. ACMPress."},{"key":"34_CR7","unstructured":"Nigay, L. and Coutaz, J. (1995). A Generic Platform for Adressing the Multimodal Challenge. In Proceedings of CHI-95 \u2014 CHI-95, pages 98\u2013105. ACM Press."},{"key":"34_CR8","unstructured":"Palanque, P., Bastide, R., and Seng\u00e8s, V. (1995). Validating interactive system design through the verification of formal task and system models. In Bass, L. J. and Unger, C., editors, IFIP TC2\/WG2 7 Working Conference on Engineering for Human-Computer Interaction (EHCI\u201995), pages 189\u2013212, Grand Targhee Resort (Yellowstone Park), USA. Chapman & Hall."},{"key":"34_CR9","unstructured":"Palanque, P. and Schyn, A. (2003). A Model-based for Engineering Multimodal Interactive Systems. In 9th IFIP TC13 International Conference on Human Computer Interaction (Interact\u20192003)."},{"key":"34_CR10","unstructured":"Paterno, F. and Mezzanotte, M. (1994). Analysing MATIS by Interactors and ACTL. Technical report, Amodeus Esprit Basic Research Project 7040, System Modelling\/WP36."},{"key":"34_CR11","unstructured":"Plotkin, G. (1981). A Structural Approach to Operational Semantics. Technical report, Department of of computer Science, University of Arhus DAIMI FN 19."}],"container-title":["IFIP International Federation for Information Processing","Building the Information Society"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-8157-6_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,29]],"date-time":"2021-04-29T01:08:12Z","timestamp":1619658492000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-8157-6_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781402081569","9781402081576"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8157-6_34","relation":{},"subject":[]}}