4985 search results - page 691 / 997 » Re-Configurable Computing in Wireless |
209
click to vote
JACM
2002
15 years 6 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: ...
198
click to vote
TKDE
2008
15 years 6 months ago
2008
We present a novel approach to the problem of the indoor localization in wireless environments. The main contribution of this paper is four folds: (a) We show that, by projecting t...
195
Voted
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
Abstract—Tiny, wireless, sensors embedded in a large number of Internet-capable devices–smart phones, cameras, cars, toys, medical instruments, home appliances and energy meter...
219
click to vote
WIOPT
2010
IEEE
15 years 5 months ago
2010
IEEE
—Cognitive radio networks provide the capability to share the wireless channel with licensed (primary) users in an opportunistic manner. Primary users have a license to operate i...
199
click to vote
WIOPT
2010
IEEE
15 years 5 months ago
2010
IEEE
—Energy optimization is a significant component of Wireless Sensor Network (WSN) design. In this paper we consider transmission energy optimization in WSNs where messages are co...