Sciweavers

1640 search results - page 94 / 328
» Design of Synchronous Action Systems
Sort
View
ACMDIS
2006
ACM
14 years 1 months ago
A persistent chat space for work groups: the design, evaluation and deployment of loops
Loops is a text-based computer mediated communication system aimed at small- to medium-sized corporate work groups. We begin by discussing the goals of the system and the rational...
Thomas Erickson, Wendy A. Kellogg, Mark Laff, Jere...
MOBISYS
2011
ACM
12 years 10 months ago
Exploiting FM radio data system for adaptive clock calibration in sensor networks
Clock synchronization is critical for Wireless Sensor Networks (WSNs) due to the need of inter-node coordination and collaborative information processing. Although many message pa...
Liqun Li, Guoliang Xing, Limin Sun, Wei Huangfu, R...
CDC
2009
IEEE
178views Control Systems» more  CDC 2009»
14 years 14 days ago
Distributed coverage games for mobile visual sensors (I): Reaching the set of Nash equilibria
— We formulate a coverage optimization problem for mobile visual sensor networks as a repeated multi-player game. Each visual sensor tries to optimize its own coverage while mini...
Minghui Zhu, Sonia Martínez
ECSCW
2001
13 years 9 months ago
Team automata for spatial access control
Abstract. Team automata provide a framework for capturing notions like coordination, colon, and cooperation in distributed systems. They consist of an abstract specification of com...
Maurice H. ter Beek, Clarence A. Ellis, Jetty Klei...
ROBOCUP
2007
Springer
159views Robotics» more  ROBOCUP 2007»
14 years 1 months ago
Model Checking Hybrid Multiagent Systems for the RoboCup
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...