{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,21]],"date-time":"2025-12-21T00:01:14Z","timestamp":1766275274467,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2004,10,13]]},"DOI":"10.1145\/1027933.1027974","type":"proceedings-article","created":{"date-parts":[[2005,1,30]],"date-time":"2005-01-30T12:58:48Z","timestamp":1107089928000},"page":"243-250","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":36,"title":["A model-based approach for real-time embedded multimodal systems in military aircrafts"],"prefix":"10.1145","author":[{"given":"R\u00e9mi","family":"Bastide","sequence":"first","affiliation":[{"name":"Universit\u00e9 Toulouse 3, Toulouse, Cedex, France"}]},{"given":"David","family":"Navarre","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Toulouse 3, Toulouse, Cedex, France"}]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Toulouse 3, Toulouse, Cedex, France"}]},{"given":"Am\u00e9lie","family":"Schyn","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Toulouse 3, Toulouse, Cedex, France"}]},{"given":"Pierre","family":"Dragicevic","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Toulouse 3, Toulouse, Cedex, France"}]}],"member":"320","published-online":{"date-parts":[[2004,10,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Cinqui\u00e8mes Journ\u00e9es Internationales INFORMATIQUE: 471--483","author":"Bares M.","year":"1996","unstructured":"Bares , M. and Pastor , D . Principes d'un moteur d'interaction multimodale pour syst\u00e8mes embarqu\u00e9s. L'Interface des Mondes R\u00e9els et Virtuels , Cinqui\u00e8mes Journ\u00e9es Internationales INFORMATIQUE: 471--483 , 1996 . Bares, M. and Pastor, D. Principes d'un moteur d'interaction multimodale pour syst\u00e8mes embarqu\u00e9s. L'Interface des Mondes R\u00e9els et Virtuels, Cinqui\u00e8mes Journ\u00e9es Internationales INFORMATIQUE: 471--483, 1996."},{"key":"e_1_3_2_1_2_1","volume-title":"The Arch model: Seeheim revisited. In proceeding of the User Interface Developpers' workshop. version 1.0","author":"Bass L.","year":"1991","unstructured":"Bass , L. , Pellegrino , R. , Reed , S. , Seacord , R. , Sheppard , R. , and Szezur , M. R . The Arch model: Seeheim revisited. In proceeding of the User Interface Developpers' workshop. version 1.0 , 1991 . Bass, L., Pellegrino, R., Reed, S., Seacord, R., Sheppard, R., and Szezur, M. R. The Arch model: Seeheim revisited. In proceeding of the User Interface Developpers' workshop. version 1.0, 1991."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/506443.506457"},{"doi-asserted-by":"crossref","unstructured":"Bastide R. Palanque P. Le Duc H. and Munoz J. Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems Proceedings of the 5th Eurographics workshop on Design Specification and Verification of Interactive systems DSV-IS'98. Springer Verlag 1998.  Bastide R. Palanque P. Le Duc H. and Munoz J. Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems Proceedings of the 5th Eurographics workshop on Design Specification and Verification of Interactive systems DSV-IS'98. Springer Verlag 1998.","key":"e_1_3_2_1_4_1","DOI":"10.1007\/978-3-7091-3693-5_12"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1145\/965105.807503"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/777005.777044"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/266180.266328"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the ERCIM Workshop on Multimodal Human-Computer Interaction.: 165-174","author":"Coutaz J.","year":"1993","unstructured":"Coutaz J. , Paterno F. , Faconti G. , and Nigay L . A Comparison of Approaches for Specifying MultiModal Interactive Systems . Proceedings of the ERCIM Workshop on Multimodal Human-Computer Interaction.: 165-174 , 1993 . Coutaz J., Paterno F., Faconti G., and Nigay L. A Comparison of Approaches for Specifying MultiModal Interactive Systems. Proceedings of the ERCIM Workshop on Multimodal Human-Computer Interaction.: 165-174, 1993."},{"key":"e_1_3_2_1_9_1","first-page":"115","volume-title":"Interact' 95Nordby, K. \/\/ Helmenrsen, P.\/\/Gilmore, D. \/\/Arnesen","author":"Coutaz","year":"1995","unstructured":"Coutaz , Joelle, Nigay , Laurence, Salber , Daniel, Blandford , A. , May , J. , and Young , R . Four Easy Pieces for Assessing the Usability of Multimodal in Interaction : the CARE Properties. Human Computer Interaction , Interact' 95Nordby, K. \/\/ Helmenrsen, P.\/\/Gilmore, D. \/\/Arnesen , S. Chapman & Hall (IFIP) : pp. 115 -- 120 , 1995 . Coutaz, Joelle, Nigay, Laurence, Salber, Daniel, Blandford, A., May, J., and Young, R. Four Easy Pieces for Assessing the Usability of Multimodal in Interaction : the CARE Properties. Human Computer Interaction, Interact' 95Nordby, K. \/\/ Helmenrsen, P.\/\/Gilmore, D. \/\/Arnesen, S. Chapman & Hall (IFIP): pp. 115--120, 1995."},{"key":"e_1_3_2_1_11_1","volume-title":"Theory and Application","author":"Genrich H. J.","year":"1997","unstructured":"Genrich , H. J. Predicate \/Transition Nets High-Level Petri Nets : Theory and Application Berlin : K. Jensen and G. Rozenberg (Eds.), Springer Verlag : 3--43., 1997 . Genrich, H. J. Predicate\/Transition Nets High-Level Petri Nets: Theory and Application Berlin: K. Jensen and G. Rozenberg (Eds.), Springer Verlag: 3--43., 1997."},{"doi-asserted-by":"crossref","unstructured":"Hinckley K. Czerwinski M. and Sinclair M. Interaction and Modeling Techniques for Desktop Two-Handed Input . http:\/\/research.microsoft.com\/users\/kenh\/papers\/two-hand.pdf 1998.  Hinckley K. Czerwinski M. and Sinclair M. Interaction and Modeling Techniques for Desktop Two-Handed Input . http:\/\/research.microsoft.com\/users\/kenh\/papers\/two-hand.pdf 1998.","key":"e_1_3_2_1_12_1","DOI":"10.1145\/288392.288572"},{"key":"e_1_3_2_1_13_1","volume":"199","author":"Jacobson I","unstructured":"Jacobson , I , Booch , G. , and Rumbaugh , J. The Unified Software Development ProcessAddison-Wesley , 199 9. Jacobson, I, Booch, G., and Rumbaugh, J. The Unified Software Development ProcessAddison-Wesley, 1999.","journal-title":"J. The Unified Software Development ProcessAddison-Wesley"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.5555\/646167.680984"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1109\/ICMI.2002.1167030"},{"key":"e_1_3_2_1_16_1","first-page":"P57","volume":"98","author":"MacColl I.","unstructured":"MacColl , I. and Carrington , D. Testing MATIS : a case study on specification-based testing of interactive systems. FAHCI 98 P57 - P69 : ISBN 0-86339-7948, 1998. MacColl, I. and Carrington, D. Testing MATIS : a case study on specification-based testing of interactive systems. FAHCI 98 P57-69: ISBN 0-86339-7948, 1998.","journal-title":"FAHCI"},{"key":"e_1_3_2_1_17_1","volume-title":"Structuring Interactive Systems Specifications for Executability and Prototypability 7th Eurographics Workshop on Design, Specification and Verification of Interacive Systems DSV-IS'2000 Limerick","author":"Navarre D.","year":"1946","unstructured":"Navarre , D. , Palanque , P. , Bastide , R. , and Sy , O . Structuring Interactive Systems Specifications for Executability and Prototypability 7th Eurographics Workshop on Design, Specification and Verification of Interacive Systems DSV-IS'2000 Limerick , Ireland: Lecture Notes in Computer Science; 1946 , 2000. Navarre, D., Palanque, P., Bastide, R., and Sy, O. Structuring Interactive Systems Specifications for Executability and Prototypability 7th Eurographics Workshop on Design, Specification and Verification of Interacive Systems DSV-IS'2000 Limerick, Ireland: Lecture Notes in Computer Science; 1946, 2000."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1145\/319382.319398"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceeding of the Ninth IFIP TC13 International Conference on Human-Computer Interaction (INTERACT'2003)","author":"Palanque P.","year":"2003","unstructured":"Palanque , P. and Schyn , A . A Model-Based Approach for Engineering Multimodal Interactive . Proceeding of the Ninth IFIP TC13 International Conference on Human-Computer Interaction (INTERACT'2003) , IFIP, 2003 . Palanque, P. and Schyn, A. A Model-Based Approach for Engineering Multimodal Interactive . Proceeding of the Ninth IFIP TC13 International Conference on Human-Computer Interaction (INTERACT'2003), IFIP, 2003."},{"key":"e_1_3_2_1_20_1","volume-title":"Using CSP to specify interaction in virtual environmentsUniversity of York","author":"Smith","year":"1999","unstructured":"Smith , Shamus and Duke, David . Using CSP to specify interaction in virtual environmentsUniversity of York , 1999 . Smith, Shamus and Duke, David. Using CSP to specify interaction in virtual environmentsUniversity of York, 1999."},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings TWLT 15: Interactions in Virtual Worlds","author":"Van Schooten B.","year":"1999","unstructured":"Van Schooten , B. , Donk , O. , and Zwiers , J . Modelling Interaction in Virtual Environments using Process Algebra . Proceedings TWLT 15: Interactions in Virtual Worlds , 1999 . Van Schooten, B., Donk, O., and Zwiers, J. Modelling Interaction in Virtual Environments using Process Algebra. Proceedings TWLT 15: Interactions in Virtual Worlds, 1999."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/256562.256828"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.5555\/645350.650732"}],"event":{"sponsor":["ACM Association for Computing Machinery","SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"acronym":"ICMI04","name":"ICMI04: Sixth International Conference on Multimodal Interfaces 2004","location":"State College PA USA"},"container-title":["Proceedings of the 6th international conference on Multimodal interfaces"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1027933.1027974","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T12:51:59Z","timestamp":1673441519000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1027933.1027974"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,10,13]]},"references-count":22,"alternative-id":["10.1145\/1027933.1027974","10.1145\/1027933"],"URL":"https:\/\/doi.org\/10.1145\/1027933.1027974","relation":{},"subject":[],"published":{"date-parts":[[2004,10,13]]},"assertion":[{"value":"2004-10-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}