356 search results - page 32 / 72 » A Component-Based Model and Language for Wireless Sensor Net... |
FM
2009
Springer
14 years 11 days ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...
IJSNET
2006
13 years 7 months ago
2006
This paper explores in-network aggregation as a power-efficient mechanism for collecting data in wireless sensor networks. In particular, we focus on sensor network scenarios wher...
EURONGI
2008
Springer
13 years 9 months ago
2008
Springer
The guaranteed delivery of critical data is an essential requirement in most Wireless Sensor Network (WSN) applications. The paucity of energy, communication, processing and storag...
ANSS
2004
IEEE
13 years 11 months ago
2004
IEEE
Recent advances in micro electro-mechanical systems and VLSI lithography have enabled the miniaturization of sensors and controllers. Such minitiarization facilitates the deployme...
DCOSS
2005
Springer
14 years 1 months ago
2005
Springer
In surveillance and tracking applications, wireless sensor nodes collectively monitor the existence of intruding targets. In this paper, we derive closed form results for predicti...