Sciweavers

6506 search results - page 9 / 1302
» Algorithmic models for sensor networks
Sort
View
FMOODS
2007
13 years 8 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
MUE
2008
IEEE
120views Multimedia» more  MUE 2008»
14 years 1 months ago
Investigating Wireless Sensor Network Lifetime Using a Realistic Radio Communication Model
Investigating realistic simulations in wireless sensor networks has been an area which has drawn a lot of research interest. These simulations are used to predict the lifetime of ...
Michael Mallinson, Sajid Hussain, Jong Hyuk Park
IPSN
2004
Springer
14 years 23 days ago
Distributed particle filters for sensor networks
Abstract. This paper describes two methodologies for performing distributed particle filtering in a sensor network. It considers the scenario in which a set of sensor nodes make m...
Mark Coates
INFOCOM
2012
IEEE
11 years 9 months ago
Optimal surface deployment problem in wireless sensor networks
—Sensor deployment is a fundamental issue in a wireless sensor network, which often dictates the overall network performance. Previous studies on sensor deployment mainly focused...
Miao Jin, Guodong Rong, Hongyi Wu, Liang Shuai, Xi...
JOIN
2007
133views more  JOIN 2007»
13 years 7 months ago
The Coverage Problem in Three-Dimensional Wireless Sensor Networks
— One of the fundamental issues in sensor networks is the coverage problem, which reflects how well a sensor network is monitored or tracked by sensors. In this paper, we formul...
Chi-Fu Huang, Yu-Chee Tseng, Li-Chu Lo