197 search results - page 18 / 40 » Undecidability Results for Distributed Probabilistic Systems |
122
click to vote
INFFUS
2010
15 years 10 days ago
2010
- Many exciting, emerging applications require that a group of agents share a coherent view of the world given spatial distribution, incomplete and uncertain sensors, and communica...
101
click to vote
INFOCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
—The topology of the Internet has been extensively studied in recent years, driving a need for increasingly complex measurement infrastructures. These measurements have produced ...
127
click to vote
ENTCS
2008
15 years 1 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
178
Voted
BIOWIRE
2007
Springer
15 years 8 months ago
2007
Springer
Epidemics-inspired techniques have received huge attention in recent years from the distributed systems and networking communities. These algorithms and protocols rely on probabili...
116
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— In this paper the coverage control for mobile sensor networks is studied. The novelty is to consider an anisotropic sensor model where the performance of the sensor dep...