@inproceedings{Blumendorf2008b,Author = {Marco Blumendorf and Grzegorz Lehmann and Sebastian Feuerstack and Sahin Albayrak},Title = {Executable Models for Human-Computer Interaction},Year = {2008},Pages = {238-251},Editor = {T. C. Nicholas Graham and Philippe Palanque},Publisher = {Springer-Verlag},Address = {Berlin, Heidelberg},Booktitle = {Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers},Doi = {10.1007/978-3-540-70569-7_22},Url = {http://dx.doi.org/10.1007/978-3-540-70569-7_22},type = {inproceedings},note = {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 on},Abstract = {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.}}@COMMENT{Bibtex file generated on }