296 search results - page 29 / 60 » CaVi -- Simulation and Model Checking for Wireless Sensor Ne... |
ICDE
2007
IEEE
14 years 1 months ago
2007
IEEE
Many applications require storing data in Wireless Sensor Networks (WSNs). For example, in environmental monitoring applications, WSN may archive sensor data for retrieval at peri...
ENTCS
2007
13 years 7 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
— This paper presents Pirrus, a replica management system that addresses the problem of providing data availability on a wireless sensor network. Pirrus uses probabilistic failur...
WOWMOM
2006
ACM
14 years 1 months ago
2006
ACM
Motivated by recent surfacing viruses that can spread over the air interfaces, in this paper, we investigate the potential disastrous threat of node compromise spreading in wirele...
ICASSP
2010
IEEE
13 years 7 months ago
2010
IEEE
A distributed set-membership-constrained particle filter (SMCPF) is developed for decentralized tracking applications using wireless sensor networks. Unlike existing PF alternati...