Sciweavers

14424 search results - page 251 / 2885
» Modeling Radio Networks
Sort
View
ISSTA
2000
ACM
15 years 10 months ago
Verisim: Formal analysis of network simulations
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim...
MOBICOM
1997
ACM
15 years 9 months ago
Reliable Broadcast in Mobile Multihop Packet Networks
We describe a reliable broadcast protocol for mobile multihop packet radio networks. The reliable broadcast service ensures that all the hosts in a group deliver the same set of m...
Elena Pagani, Gian Paolo Rossi
CORR
2010
Springer
163views Education» more  CORR 2010»
15 years 5 months ago
Distributed Principal Component Analysis for Wireless Sensor Networks
Abstract: The Principal Component Analysis (PCA) is a data dimensionality reduction technique well-suited for processing data from sensor networks. It can be applied to tasks like ...
Yann-Aël Le Borgne, Sylvain Raybaud, Gianluca...
IJDSN
2006
109views more  IJDSN 2006»
15 years 5 months ago
Infuse: A TDMA Based Data Dissemination Protocol for Sensor Networks
Reliable dissemination of bulk data is one of the important problems in sensor networks. For example, programming or upgrading the software in sensors at run-time requires reliabl...
Sandeep S. Kulkarni, Mahesh Arumugam
189
Voted
JCP
2008
160views more  JCP 2008»
15 years 5 months ago
A Bluetooth-based Sensor Node for Low-Power Ad Hoc Networks
TCP/IP has recently taken promising steps toward being a viable communication architecture for networked sensor nodes. Furthermore, the use of Bluetooth can enable a wide range of ...
Jens Eliasson, Per Lindgren, Jerker Delsing