WSC '96 Proceedings of the 28th conference on Winter simulation
QuickSet: multimodal interaction for distributed applications
MULTIMEDIA '97 Proceedings of the fifth ACM international conference on Multimedia
The unified software development process
The unified software development process
Ten myths of multimodal interaction
Communications of the ACM
A model-based tool for interactive prototyping of highly interactive applications
CHI '02 Extended Abstracts on Human Factors in Computing Systems
Prototyping Pre-implementation Designs of Virtual Environment Behaviour
EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
Outil de prototypage pour la conception et l'evaluation d'interfaces utilisateur multimodales
IHM '02 Proceedings of the 14th French-speaking conference on Human-computer interaction (Conférence Francophone sur l'Interaction Homme-Machine)
“Put-that-there”: Voice and gesture at the graphics interface
SIGGRAPH '80 Proceedings of the 7th annual conference on Computer graphics and interactive techniques
Designing Transition Networks for Multimodal VR-Interactions Using a Markup Language
ICMI '02 Proceedings of the 4th IEEE International Conference on Multimodal Interfaces
Structuring interactive systems specifications for executability and prototypability
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Authoring interfaces with combined use of graphics and voice for both stationary and mobile devices
Proceedings of the working conference on Advanced visual interfaces
Testing Interactive Software: A Challenge for Usability and Reliability
CHI '06 Extended Abstracts on Human Factors in Computing Systems
CHI '07 Extended Abstracts on Human Factors in Computing Systems
Authoring pervasive multimodal user interfaces
International Journal of Web Engineering and Technology
A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
ACM Transactions on Computer-Human Interaction (TOCHI)
Proceedings of the 2009 international conference on Multimodal interfaces
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
Incorporating tilt-based interaction in multimodal user interfaces for mobile devices
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
Usability study of multi-modal interfaces using eye-tracking
INTERACT'07 Proceedings of the 11th IFIP TC 13 international conference on Human-computer interaction - Volume Part II
A formal description of multimodal interaction techniques for immersive virtual reality applications
INTERACT'05 Proceedings of the 2005 IFIP TC13 international conference on Human-Computer Interaction
Two effective methods to detect anomalies in embedded systems
Microelectronics Journal
Exploiting gaming research and practice for engineering interactive critical systems
Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems
| Hi-index | 0.00 |
This paper presents the use of a model-based approach for the formal description of real-time embedded multimodal systems. This modeling technique has been used in the field of military fighter aircrafts. The paper presents the formal description techniques, its application on the case study of a multimodal command and control interface for the Rafale aircraft as well as its relationship with architectural model for interactive systems.