Sciweavers

2924 search results - page 219 / 585
» Modeling Data Consistency in Wireless Sensor Networks
Sort
View
FM
2009
Springer
163views Formal Methods» more  FM 2009»
15 years 11 months ago
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks
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...
Faranak Heidarian, Julien Schmaltz, Frits W. Vaand...
ICNSC
2007
IEEE
16 years 27 days ago
Analysis of a Simple Feedback Scheme for Error Correction over a Lossy Network
Abstract— In time varying packet-switched networks, delivering data with high reliability using a limited amount of network resources is highly desirable. To capture the trade-of...
Oscar Flardh, Carlo Fischione, Karl Henrik Johanss...
IJMBL
2010
84views more  IJMBL 2010»
15 years 3 months ago
JAMIOLAS 3.0: Supporting Japanese Mimicry and Onomatopoeia Learning Using Sensor Data
: In this paper, we propose an improved context-aware system for supporting to learning Japanese mimicry and onomatopoeia (MIO) using sensor data. In our two previous studies, we p...
Bin Hou, Hiroaki Ogata, Masayuki Miyata, Mengmeng ...
CDC
2010
IEEE
272views Control Systems» more  CDC 2010»
15 years 1 months ago
Node capture attacks in wireless sensor networks: A system theoretic approach
In this paper we address the problem of physical node capture attacks in wireless sensor networks and provide a control theoretic framework to model physical node capture, cloned n...
Tamara Bonaci, Linda Bushnell, Radha Poovendran
WICON
2008
15 years 8 months ago
Optimal stochastic routing in low duty-cycled wireless sensor networks
We study a routing problem in wireless sensor networks where sensors are duty-cycled. When sensors alternate between on and off modes, delay encountered in packet delivery due to ...
Dongsook Kim, Mingyan Liu