2463 search results - page 437 / 493 » On the Study of Dynamic and Adaptive Dependable Distributed ... |
DATE
2010
IEEE
15 years 3 months ago
2010
IEEE
There is today little doubt on the fact that a high-performance and cost-effective Network-on-Chip can only be designed in 45nm and beyond under a relaxed synchronization assumpti...
WSC
2008
15 years 10 days ago
2008
This paper presents PiDES, a formalism for discrete event simulation based on Pi-calculus. PiDES provides a rigorous semantics of behavior modeling and coordination for simulation...
SIGMOD
2002
ACM
14 years 9 months ago
2002
ACM
Traditional query processors generate full, accurate query results, either in batch or in pipelined fashion. We argue that this strict model is too rigid for exploratory queries o...
CDC
2010
IEEE
14 years 5 months ago
2010
IEEE
In this paper, we investigate nonuniform coverage of a planar region by a network of autonomous, mobile agents. We derive centralized nonuniform coverage control laws from uniform ...
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
A power describes the ability of an agent to act in some way. While this notion of power is critical in the context of organisational dynamics, and has been studied by others in t...