Sciweavers

901 search results - page 72 / 181
» coordination 2008
Sort
View
FORTE
2008
15 years 2 months ago
Checking Correctness of Transactional Behaviors
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guan...
96
Voted
ATAL
2008
Springer
15 years 2 months ago
Negotiating task interruptions with virtual agents for health behavior change
Virtual health counseling agents on mobile devices need to be able to interrupt their users when it is time for them to engage in healthy behaviors, such as scheduled medication t...
Timothy W. Bickmore, Daniel Mauer, Francisco Cresp...
88
Voted
CONNECTION
2004
83views more  CONNECTION 2004»
15 years 13 days ago
Toward open-ended evolutionary robotics: evolving elementary robotic units able to self-assemble and self-reproduce
In this paper we discuss the limitations of current evolutionary robotics models and we propose a new framework that might solve some of these problems and lead to an open-ended e...
Raffaele Bianco, Stefano Nolfi
108
Voted
TCS
2008
15 years 15 days ago
Self-deployment of mobile sensors on a ring
Mobile sensors can self-deploy in a purely decentralized and distributed fashion, so to reach in finite time a state of static equilibrium in which they cover uniformly the enviro...
Paola Flocchini, Giuseppe Prencipe, Nicola Santoro
CORR
2008
Springer
86views Education» more  CORR 2008»
15 years 21 days ago
Dynamic System Adaptation by Constraint Orchestration
Abstract. For Paradigm models, evolution is just-in-time specified coordination conducted by a special reusable component McPal. Evolution can be treated consistently and on-the-fl...
Luuk Groenewegen, Erik P. de Vink