780 search results - page 27 / 156 » Correctness of Component-Based Adaptation |
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
This paper presents a quadrocopter flying in rhythm to music. The quadrocopter performs a periodic sideto-side motion in time to a musical beat. Underlying controllers are designed...
FAABS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
IWSAS
2001
Springer
14 years 1 months ago
2001
Springer
The subject of this paper is a Smart Spell Checker System (SSCS) that can adapt to a particular user by using the user’s feedback for adjusting its behavior. The result of the ad...
BIBE
2005
IEEE
14 years 2 months ago
2005
IEEE
We address the issue of providing highly informative annotations using information revealed by the structured vocabularies of Gene Ontology (GO). For a target, a set of candidate ...
ER
2008
Springer
13 years 10 months ago
2008
Springer
The capability to dynamically evolve process models over time and to migrate process instances to a modified model version are fundamental requirements for any process-aware inform...