A Formal model to handle the adaptability of Multimodal User Interfaces

KAMEL, Nadjet and AMEUR, Yamine AIT and SELOUANI, Sid-Ahmed and HAMAM, Habib (2010) A Formal model to handle the adaptability of Multimodal User Interfaces. In: 1st International ICST Conference on Ambient Media and Systems.

[thumbnail of 11621.pdf] PDF
11621.pdf
Download (177kB)

Abstract

In this paper we propose an approach for checking adaptabil- ity property of multimodal User Interfaces (UIs) for systems used in dynamic environments like mobile phones and PDAs. The approach is based on a formal description of both the multimodal interaction and the property. The SMV model- checki

Item Type: Conference or Workshop Item (UNSPECIFIED)
Date Deposited: 04 Mar 2026 09:03
Last Modified: 18 Apr 2026 05:53
URI: http://eprints.eai.eu/id/eprint/3324

Actions (login required)

View Item
View Item