11217 search results - page 2030 / 2244 » Network Coding for Wireless Networks |
142
click to vote
ADHOCNOW
2009
Springer
15 years 4 months ago
2009
Springer
We consider n mobile sensors located on a line containing a barrier represented by a finite line segment. Sensors form a wireless sensor network and are able to move within the lin...
137
click to vote
ITIIS
2008
15 years 3 months ago
2008
WiMAX has been introduced as a competitive alternative for metropolitan broadband wireless access technologies. It is connection oriented and it can provide very high data rates, ...
138
click to vote
TKDE
2008
15 years 2 months ago
2008
With the availability of affordable sensors and sensor networks, sensor-based human-activity recognition has attracted much attention in artificial intelligence and ubiquitous comp...
153
click to vote
JACM
2002
15 years 2 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
140
click to vote
TMC
2010
15 years 1 months ago
2010
—Many wireless sensor networks require sufficient sensing coverage over long periods of time. To conserve energy, a coverage maintenance protocol achieves desired coverage by act...