Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude

Pervasive user-centric applications are systems which are meant to sense the presence, mood, and intentions of users in order to optimize user comfort and performance. Building such applications requires not only state-of-the art techniques from artificial intelligence but also sound software engine...

Full description

Bibliographic Details
Main Authors: Andreas Schroeder, Sebastian S. Bauer, Martin Wirsing
Format: Article
Language:English
Published: Open Publishing Association 2010-09-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1009.4259v1