Sciweavers

1278 search results - page 21 / 256
» Programming Sensor Networks Using Abstract Regions
Sort
View
NSDI
2004
15 years 3 months ago
The Emergence of Networking Abstractions and Techniques in TinyOS
gence of Networking Abstractions and Techniques in TinyOS Philip Levis , Sam Madden , David Gay , Joseph Polastre , Robert Szewczyk , Alec Woo , Eric Brewer and David Culler EECS ...
Philip Levis, Samuel Madden, David Gay, Joseph Pol...
DAGSTUHL
2007
15 years 3 months ago
The impact of sensor-enhanced regional health information systems
Abstract. The expected economic impact of new health enabling technologies is often used as motivation for their development. Another motivation is the predicted positive impact on...
Klaus-Hendrik Wolf, Michael Marschollek, Jürg...
ECOOP
2008
Springer
15 years 3 months ago
Regional Logic for Local Reasoning about Global Invariants
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
Anindya Banerjee, David A. Naumann, Stan Rosenberg
WICOMM
2011
14 years 9 months ago
A pragmatic approach to area coverage in hybrid wireless sensor networks
Success of Wireless Sensor Networks (WSN) largely depends on whether the deployed network can provide desired area coverage with acceptable network lifetime. This paper seeks to a...
Nadeem Ahmed, Salil S. Kanhere, Sanjay Jha
GLOBECOM
2010
IEEE
14 years 12 months ago
Passively Controllable Smart Antennas
Abstract-- This work deals with devising a secure, powerefficient, beam-steerable and on-chip transmission system for wireless sensor networks. A passively controllable smart (PCS)...
Javad Lavaei, Aydin Babakhani, Ali Hajimiri, John ...