3486 search results - page 307 / 698 » System Design and Networking Protocols for Wireless Position... |
134
click to vote
LCN
2002
IEEE
15 years 8 months ago
2002
IEEE
The availability of inexpensive wireless networking hardware (e.g., based on the IEEE 802.11 standards) has generated interest in a large class of wireless applications. Many appl...
208
Voted
TWC
2008
15 years 3 months ago
2008
In order to adapt to time-varying wireless channels, various channel-adaptive schemes have been proposed to exploit inherent spatial diversity in mobile/wireless ad hoc networks w...
135
Voted
DSL
1997
15 years 5 months ago
1997
In this paper we describe our experience with Teapot [7], a domain-specific language for writing cache coherence protocols. Cache coherence is of concern when parallel and distrib...
107
Voted
JNSM
1998
15 years 3 months ago
1998
In Telecommunication Management Network (TMN), the interworking of manager and agent requires the sharing of management information defined as Shared Management Knowledge (SMK) in...
156
Voted
JACM
2002
15 years 3 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: ...