199 search results - page 34 / 40 » Detecting Global Predicates in Distributed Systems with Cloc... |
87
Voted
SASO
2008
IEEE
15 years 3 months ago
2008
IEEE
Market-based mechanisms can be used to coordinate self-interested multi-robot systems in fully distributed environments, where by self-interested we mean that each robot agent att...
ESCIENCE
2006
IEEE
15 years 3 months ago
2006
IEEE
In production Grids for scientific applications, service and resource failures must be detected and addressed quickly. In this paper, we describe the monitoring infrastructure use...
132
Voted
CAV
1998
Springer
15 years 1 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
103
click to vote
IPSN
2005
Springer
15 years 3 months ago
2005
Springer
— Sensor networks (SNETs) for monitoring spatial phenomena has emerged as an area of significant practical interest. We focus on the important problem of detection of distribute...
106
click to vote
INFOCOM
2012
IEEE
12 years 12 months ago
2012
IEEE
—Traditional approaches for wireless sensor network diagnosis are mainly sink-based. They actively collect global evidences from sensor nodes to the sink so as to conduct central...