970 search results - page 150 / 194 » Algorithms for local sensor synchronization |
151
click to vote
MEMOCODE
2008
IEEE
15 years 9 months ago
2008
IEEE
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...
132
Voted
WEBDB
2007
Springer
15 years 9 months ago
2007
Springer
Due to resource constraints, search engines usually have difficulties keeping the local database completely synchronized with the Web. To detect as many changes as possible, the ...
127
click to vote
MOBISYS
2009
ACM
16 years 3 months ago
2009
ACM
In this paper, we present a reliable storage service, called SolarStore, that adaptively trades-off storage reliability versus energy consumption in solar-powered sensor networks....
117
click to vote
MOBICOM
2006
ACM
15 years 9 months ago
2006
ACM
We study the problem of information brokerage in sensor networks, where information consumers (sinks, users) search for data acquired by information producers (sources). Innetwork...
120
click to vote
3DPVT
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper introduces a novel imaging system composed of an array of spherical mirrors and a single highresolution digital camera. We describe the mechanical design and constructi...