A generic formal model for fission of modalities in output multi-modal interactive systems

Authors:
Linda Mohand Oussaïd;Yamine Aït Ameur;Mohamed Ahmed Nacer
Affiliations:
Centre de Recherche sur l'Information Scientifique et Technique, LSI/Université des Sciences Technologiques Houari Boumediene, Algiers, Algeria;Laboratoire d'Informatique Scientifique et Industrielle, Ecole Nationale Supérieure de Mécanique et d'Aérotechnique, Futuroscope Chasseneuil;Laboratoire des Systèmes Informatiques, Université des Sciences Technologiques Houari Boumediene, Algiers, Algeria
Venue:
VECoS'09 Proceedings of the Third international conference on Verification and Evaluation of Computer and Communication Systems
Year:
2009

Citing 4
Cited 1

Automating the generation of coordinated multimedia explanations

Intelligent multimedia interfaces
Negotiation for automated generation of temporal multimedia presentations

MULTIMEDIA '96 Proceedings of the fourth ACM international conference on Multimedia
SmartKom: adaptive and flexible multimodal access to multiple applications

Proceedings of the 5th international conference on Multimodal interfaces
A standard reference model for intelligent multimedia presentation systems

Computer Standards & Interfaces

Modelling information fission in output multi-modal interactive systems using event-b

MEDI'11 Proceedings of the First international conference on Model and data engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Output multi-modal human-machine interfaces combine semantically output medias and modalities in order to increase interaction machine capabilities. The aim of this paper is to present a formal model supporting formal specifications of output multi-modal interactive systems. As a consequence, the expected usability and robustness properties can be expressed and checked. This paper proposes a generic model which permits to specify the output multimodal interfaces following the CASE design space.