Sciweavers

1457 search results - page 68 / 292
» A survey on clustering algorithms for wireless sensor networ...
Sort
View
FMOODS
2007
13 years 9 months ago
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
Peter Csaba Ölveczky, Stian Thorvaldsen
SECON
2007
IEEE
14 years 2 months ago
Approximation Algorithm for Base Station Placement in Wireless Sensor Networks
Base station location has significant impact on network lifetime performance for a sensor network. For a multihop sensor network, this problem is particular challenging as we need ...
Yi Shi, Yiwei Thomas Hou
ICC
2007
IEEE
139views Communications» more  ICC 2007»
14 years 2 months ago
A Distributed Estimation Algorithm for Tracking over Wireless Sensor Networks
—A new distributed estimation algorithm for tracking using a wireless sensor network is presented. We investigate how to track a time varying signal, noisily sensed by the nodes ...
Alberto Speranzon, Carlo Fischione, Karl Henrik Jo...
IPPS
2006
IEEE
14 years 1 months ago
Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude
Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of commun...
Peter Csaba Ölveczky, Stian Thorvaldsen
FTDCS
2003
IEEE
14 years 1 months ago
Using a Distributed Snapshot Algorithm in Wireless Sensor Networks
Wireless Sensor Networks (WSNs) have particular characteristics that do not allow to apply traditional distributed algorithms directly to them. In this work we adapt the algorithm...
Ana Paula R. da Silva, Fernando A. Teixeira, Rafae...