1906 search results - page 93 / 382 » Dependable Self-Hosting Distributed Systems Using Constraint... |
131
click to vote
TIT
2008
15 years 3 months ago
2008
The problem of distributed Bayesian estimation is considered in the context of a wireless sensor network. The Bayesian estimation performance is analyzed in terms of the expected F...
131
click to vote
CCS
2009
ACM
16 years 3 months ago
2009
ACM
Distributed proof construction protocols have been shown to be valuable for reasoning about authorization decisions in open distributed environments such as pervasive computing sp...
120
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
A major challenge in efficiently solving distributed resource allocation problems is to cope with the dynamic state changes that characterise such systems. An effective solution t...
132
click to vote
AAAI
2006
15 years 4 months ago
2006
With increasing deployment of systems involving multiple coordinating agents, there is a growing need for diagnosing coordination failures in such systems. Previous work presented...
153
click to vote
FORMATS
2010
Springer
15 years 1 months ago
2010
Springer
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the metho...