272 search results - page 39 / 55 » On Efficient Models for Model Checking Message-Passing Distr... |
112
click to vote
GLOBECOM
2010
IEEE
14 years 9 months ago
2010
IEEE
Duty cycling is often used to reduce the energy consumption caused by idle listening in Wireless Sensor Networks (WSNs). Most studies on WSN protocols define a common duty cycle va...
115
click to vote
MOBIHOC
2008
ACM
15 years 11 months ago
2008
ACM
Sensor networks are expected to evolve into long-lived, autonomous networked systems whose main mission is to provide in-situ users ? called actors ? with real-time information in...
100
click to vote
MP
2010
14 years 10 months ago
2010
Inspired by the One Laptop Per Child project, we consider mesh networks that connect devices that cannot recharge their batteries easily. We study how the mesh should retransmit in...
90
Voted
TPDS
2008
14 years 11 months ago
2008
This paper proposes a new methodology to model the distribution of finite size content to a group of users connected through an overlay network. Our methodology describes the distr...
EUROSYS
2006
ACM
15 years 8 months ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...