Sciweavers

787 search results - page 123 / 158
» A Distributed Message Passing Algorithm for Sensor Localizat...
Sort
View
ISLPED
2003
ACM
138views Hardware» more  ISLPED 2003»
14 years 2 months ago
An environmental energy harvesting framework for sensor networks
Energy constrained systems such as sensor networks can increase their usable lifetimes by extracting energy from their environment. However, environmental energy will typically no...
Aman Kansal, Mani B. Srivastava
IAT
2005
IEEE
14 years 2 months ago
Optimizing Agents Operation in Partially Inaccessible and Disruptive Environment
The algorithm we present in this paper aims to optimally distribute and connect the community of loosely coupled middle agents ensuring communication accessibility in a dynamic, i...
David Sislák, Martin Rehák, Michal P...
SENSYS
2005
ACM
14 years 2 months ago
Sympathy for the sensor network debugger
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...
Nithya Ramanathan, Kevin K. Chang, Rahul Kapur, Le...
HICSS
2007
IEEE
123views Biometrics» more  HICSS 2007»
14 years 3 months ago
Dynamic Address Allocation for Management and Control in Wireless Sensor Networks
Several data-centric communication paradigms have been proposed in the domain of wireless sensor networks (WSN). Therefore, the principles of operation and maintenance in such net...
Zheng Yao, Falko Dressler
CAV
2007
Springer
164views Hardware» more  CAV 2007»
14 years 22 days ago
SAT-Based Compositional Verification Using Lazy Learning
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
Nishant Sinha, Edmund M. Clarke