1772 search results - page 146 / 355 » Lifetime Modeling of a Sensor Network |
169
click to vote
AINA
2006
IEEE
16 years 4 days ago
2006
IEEE
Abstract— Wireless sensor networks, by providing an unprecedented way of interacting with the physical environment, have become a hot topic for research over the last few years. ...
150
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a formal framework to evaluate stochastic properties of MANET protocols. It captures the interplay between stochastic behavior of protocols deployed at different network...
159
click to vote
QEST
2008
IEEE
16 years 13 days ago
2008
IEEE
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
144
click to vote
WSC
2004
15 years 7 months ago
2004
In this paper, we focus on the implementation of a localization algorithm for sensor networks using a discrete event simulation (DES) architecture. In this implementation, DES is ...
181
click to vote
AINA
2009
IEEE
16 years 27 days ago
2009
IEEE
Over the last few years, target tracking in wireless sensor networks has become a topic of particular interest. This paper presents a tracking system intended for deployment in di...