Sciweavers

1256 search results - page 120 / 252
» On Coordinated Checkpointing in Distributed Systems
Sort
View
COORDINATION
2009
Springer
16 years 4 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti
CHI
2009
ACM
16 years 4 months ago
A mobile voice communication system in medical setting: love it or hate it?
Hospital work coordination and collaboration often requires mobility for acquiring proper information and resources. In turn, the spatial distribution and the mobility of clinicia...
Charlotte Tang, M. Sheelagh T. Carpendale
VLDB
2005
ACM
117views Database» more  VLDB 2005»
15 years 9 months ago
Data Sharing in the Hyperion Peer Database System
This demo presents Hyperion, a prototype system that supports data sharing for a network of independent Peer Relational Database Management Systems (PDBMSs). The nodes of such a n...
Patricia Rodríguez-Gianolli, Maddalena Garz...
GECCO
2010
Springer
212views Optimization» more  GECCO 2010»
15 years 8 months ago
Generative and developmental systems
This paper argues that multiagent learning is a potential “killer application” for generative and developmental systems (GDS) because key challenges in learning to coordinate ...
Kenneth O. Stanley
ICRA
2009
IEEE
170views Robotics» more  ICRA 2009»
15 years 10 months ago
Automatic high-precision self-calibration of camera-robot systems
— In this article a new method is presented to obtain a full and precise calibration of camera-robot systems with eyein-hand cameras. It achieves a simultaneous and numerically s...
Andreas Jordt, Nils T. Siebel, Gerald Sommer