2875 search results - page 243 / 575 » Distributed Reactive Machines |
184
click to vote
DMSN
2004
ACM
15 years 12 months ago
2004
ACM
Recent years have witnessed a rapidly growing interest in query processing in sensor and actuator networks. This is mainly due to the increased awareness of query processing as th...
151
click to vote
IWCMC
2010
ACM
15 years 11 months ago
2010
ACM
In reactive routing protocols, active routes for multihop connections retain their topological structure in spite of node movement over time. Unfortunately, node movements may mak...
186
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
188
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
We give the first systematic investigation of the design space of worm defense system strategies. We accomplish this by g a taxonomy of defense strategies by abstracting away impl...
183
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 10 months ago
2006
Springer
Asynchronous Active Objects (AAOs), primarily exemplied by actors [1], nowadays exist in many forms (various kinds of actors, agents and components) and are more and more used beca...