2171 search results - page 382 / 435 » Cooperative Validation in Distributed Control Systems Design |
119
click to vote
EUROSYS
2008
ACM
15 years 10 months ago
2008
ACM
The tuple space coordination model is one of the most interesting coordination models for open distributed systems due to its space and time decoupling and its synchronization pow...
122
click to vote
SENSYS
2010
ACM
14 years 11 months ago
2010
ACM
Ecologists instrument ecosystems to collect time series representing the evolution in time and space of relevant abiotic and biotic factors. Sensor networks promise to improve on ...
MOBIHOC
2009
ACM
16 years 2 months ago
2009
ACM
In this paper, we consider a non-saturated IEEE 802.11 based wireless network. We use a three-way fixed point to model the node behavior with Bernoulli packet arrivals and determi...
114
click to vote
OPODIS
2010
14 years 11 months ago
2010
: Provide application processes with strong agreement guarantees despite failures is a fundamental problem of fault-tolerant distributed computing. Correct processes have not to be...
135
click to vote
GECON
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In distributed computer networks where resources are under decentralized control, selfish users will generally not work towards one common goal, such as maximizing the o...