Executable Models for Human-Computer Interaction

Marco Blumendorf and Grzegorz Lehmann and Sebastian Feuerstack and Sahin Albayrak
Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
Interacting with smart devices and smart homes becomes increasingly complex but also more and more important. Computing systems can help the aging society to live autonomously in their own home. However, interacting with such systems is a challenge not only for older people. Multimodal user interfaces and new interaction paradigms can help addressing these problems, but are not yet mature enough to be of direct use. In this paper we describe our work in the area of smart home environments and multimodal user interaction. We present the Ambient Assisted Living Testbed set up at the Technical University of Berlin and the Multi-Access Service Platform, allowing multimodal interaction in this smart environment with adaptivity, session management, migration, distribution and multimodality as key features for future services.
T. C. Nicholas Graham and Philippe Palanque