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...
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 |
Similar Items
-
Modeling and Analyzing Reaction Systems in Maude
by: Demis Ballis, et al.
Published: (2024-03-01) -
Formal Model Engineering for Embedded Systems Using Real-Time Maude
by: Peter Csaba Ölveczky
Published: (2011-06-01) -
Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models
by: Peter Csaba Ölveczky, et al.
Published: (2010-09-01) -
PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude
by: Kyungmin Bae, et al.
Published: (2012-12-01) -
Queen Maud Land (Dronning Maud Land) [peta]
Published: (1972)