882 search results - page 39 / 177 » Allowing State Changes in Specifications |
202
click to vote
UCS
2007
Springer
16 years 8 days ago
2007
Springer
Recognizing activities based on an actor’s interaction with everyday objects is an important research approach within ubiquitous computing. We present a recognition approach whic...
148
click to vote
FUIN
2002
15 years 6 months ago
2002
This paper deals with iterated belief change and proposes a drastic revision rule that modifies a plausibility ordering of interpretations in such a way that any world where the in...
136
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
249
click to vote
MOBILWARE
2009
ACM
16 years 20 days ago
2009
ACM
We discuss a generic architecture for building user-centric systems. The characteristic feature of such systems is a control loop that monitors the user’s state, and produces a h...
211
click to vote
AIMS
2008
Springer
16 years 15 days ago
2008
Springer
We explore how fixed-point operators can be designed to interact and be composed to form autonomic control mechanisms. We depart from the idea that an operator is idempotent only ...