116 search results - page 7 / 24 » Formal modeling and analysis of wireless sensor network algo... |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
In this paper an improved version of the graded precision localization algorithm GRADELOC, called IGRADELOC is proposed. The performance of GRADELOC is dependent on the regions fo...
SUTC
2008
IEEE
14 years 1 months ago
2008
IEEE
With the availability of low-cost sensor nodes there have been many standards developed to integrate and network these nodes to form a reliable network allowing many different typ...
FM
2009
Springer
14 years 4 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...
SAC
2008
ACM
13 years 7 months ago
2008
ACM
This work presents the use of sensor stream reduction algorithms in clustered wireless sensor networks (WSNs), where the cluster head node is responsible to reduce the amount of d...
JCP
2008
13 years 7 months ago
2008
In sensor networks, continuous query is commonly used for collecting periodical data from the objects under monitoring. This sort of queries needs to be carefully designed, in orde...