42 search results - page 7 / 9 » Global Predicate Detection in Distributed Systems with Small... |
72
Voted
CAV
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
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...
102
click to vote
WWW
2003
ACM
15 years 2 months ago
2003
ACM
An important factor in the successful deployment of federated web-services-based business activities will be the ability to guarantee reliable distributed operation and execution....
SENSYS
2005
ACM
15 years 3 months ago
2005
ACM
Being embedded in the physical world, sensor networks present a wide range of bugs and misbehavior qualitatively different from those in most distributed systems. Unfortunately, d...
105
click to vote
EWSN
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we present SCOPES, a distributed Smart Camera Object Position Estimation sensor network System that provides maps of distribution of people in indoors environments. ...