Sciweavers

262 search results - page 1 / 53
» Analysis of a Clock Synchronization Protocol for Wireless Se...
Sort
View
FM
2009
Springer
163views Formal Methods» more  FM 2009»
13 years 9 months ago
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks
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...
Faranak Heidarian, Julien Schmaltz, Frits W. Vaand...
JSAC
2006
167views more  JSAC 2006»
13 years 4 months ago
Secure and resilient clock synchronization in wireless sensor networks
Abstract--Wireless sensor networks have received a lot of attention recently due to its wide applications. An accurate and synchronized clock time is crucial in many sensor network...
Kun Sun, Peng Ning, Cliff Wang
DIALM
2004
ACM
117views Algorithms» more  DIALM 2004»
13 years 8 months ago
A resource--efficient time estimation for wireless sensor networks
We study the problem of providing a sensor node with an accurate estimate of the current time, from a novel prospective which is complementary to the well
Daniela Tulone
SECON
2010
IEEE
13 years 2 months ago
Secondis: An Adaptive Dissemination Protocol for Synchronizing Wireless Sensor Networks
Reliability and predictability of the timing behavior have shown to be major issues for wireless sensor network deployments. Real-time requirements presented by several application...
Federico Ferrari, Andreas Meier, Lothar Thiele
ADHOC
2005
114views more  ADHOC 2005»
13 years 4 months ago
Clock synchronization for wireless sensor networks: a survey
Recent advances in micro-electromechanical (MEMS) technology have led to the development of small, lowcost, and low-power sensors. Wireless sensor networks (WSNs) are large-scale ...
Bharath Sundararaman, Ugo Buy, Ajay D. Kshemkalyan...