3130 search results - page 565 / 626 » Design Correctness of Digital Systems |
MOBICOM
2005
ACM
14 years 1 months ago
2005
ACM
Over the past few years, wireless networking technologies have made vast forays into our daily lives. Today, one can find 802.11 hardware and other personal wireless technology e...
WS
2005
ACM
14 years 1 months ago
2005
ACM
Mobile ad hoc networks (MANETs) offer communication over a shared wireless channel without any pre-existing infrastructure. Forming peer-to-peer security associations in MANETs i...
PODC
2004
ACM
14 years 1 months ago
2004
ACM
We establish a new worst-case upper bound on the Membership problem: We present a simple algorithm that is able to always achieve Agreement on Views within a single message latenc...
SIGCOMM
2004
ACM
14 years 1 months ago
2004
ACM
Currently the Internet has only one level of name resolution, DNS, which converts user-level domain names into IP addresses. In this paper we borrow liberally from the literature ...
IPSN
2004
Springer
14 years 1 months ago
2004
Springer
The efficacy of data aggregation in sensor networks is a function of the degree of spatial correlation in the sensed phenomenon. While several data aggregation (i.e., routing with...