1299 search results - page 253 / 260 » On the Correctness of Operating System Kernels |
SIGCOMM
2012
ACM
11 years 9 months ago
2012
ACM
Unlike their cellular counterparts, Wi-Fi networks do not have the luxury of a dedicated control plane that is decoupled from the data plane. Consequently, Wi-Fi struggles to prov...
GLOBECOM
2009
IEEE
14 years 1 months ago
2009
IEEE
—We consider a Delay Tolerant Network (DTN) whose users (nodes) are connected by an underlying Mobile Ad hoc Network (MANET) substrate. Users can declaratively express high-level...
TCC
2007
Springer
14 years 25 days ago
2007
Springer
Assume that two distant parties, Alice and Bob, as well as an adversary, Eve, have access to (quantum) systems prepared jointly according to a tripartite state ρABE. In addition, ...
ICDCS
2003
IEEE
14 years 1 hour ago
2003
IEEE
—The Domain Name System (DNS) is an essential part of the Internet infrastructure and provides fundamental services, such as translating host names into IP addresses for Internet...
ISMAR
2003
IEEE
13 years 12 months ago
2003
IEEE
A useful function of augmented reality (AR) systems is their ability to visualize occluded infrastructure directly in a user’s view of the environment. This is especially import...