49 search results - page 8 / 10 » SYNAPSE: A Network Reprogramming Protocol for Wireless Senso... |
FMICS
2010
Springer
13 years 6 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
MOBICOM
2009
ACM
14 years 8 days ago
2009
ACM
Intended for network-wide dissemination of commands, configurations and code binaries, flooding has been investigated extensively in wireless networks. However, little work has ...
ITNG
2008
IEEE
14 years 5 days ago
2008
IEEE
In this paper the authors describe the implementation and validation of a prototype of an environmental and health monitoring system based on a Wireless Sensor Network (WSN). The ...
SASN
2006
ACM
13 years 11 months ago
2006
ACM
A great challenge in securing sensor networks is that sensor nodes can be physically compromised. Once a node is compromised, attackers can retrieve secret information (e.g. keys)...
VTC
2007
IEEE
14 years 1 days ago
2007
IEEE
— Hydra is a flexible wireless network testbed being developed at UT Austin. Our focus is networks that support multiple wireless hops and where the network, especially the MAC,...