Sciweavers

5813 search results - page 458 / 1163
» Sensor Networks
Sort
View
SIGSOFT
2007
ACM
16 years 7 months ago
SLEDE: lightweight verification of sensor network security protocol implementations
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
Youssef Hanna
153
Voted
ICFP
2008
ACM
16 years 6 months ago
Flask: staged functional programming for sensor networks
Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful ion facilities at our fingertips, but how can we...
Geoffrey Mainland, Greg Morrisett, Matt Welsh
209
Voted
SENSYS
2009
ACM
16 years 1 months ago
Evaluating a BASIC approach to sensor network node programming
Sensor networks have the potential to empower domain experts from a wide range of fields. However, presently they are notoriously difficult for these domain experts to program, ...
J. Scott Miller, Peter A. Dinda, Robert P. Dick
BSN
2006
IEEE
157views Sensor Networks» more  BSN 2006»
16 years 17 days ago
HealthGear: A Real-time Wearable System for Monitoring and Analyzing Physiological Signals
We present HealthGear, a real-time wearable system for monitoring, visualizing and analyzing physiological signals. HealthGear consists of a set of non-invasive physiological sens...
Nuria Oliver, Fernando Flores-Mangas
CDC
2010
IEEE
115views Control Systems» more  CDC 2010»
15 years 1 months ago
Distributed statistical estimation of the number of nodes in sensor networks
The distributed estimation of the number of active sensors in a network can be important for estimation and organization purposes. We propose a design methodology based on the foll...
Damiano Varagnolo, Gianluigi Pillonetto, Luca Sche...