1144 search results - page 163 / 229 » Protocol Implementation in a Vertically Structured Operating... |
ASYNC
2007
IEEE
15 years 1 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
CCS
2009
ACM
15 years 1 months ago
2009
ACM
Device attestation is an essential feature in many security protocols and applications. The lack of dedicated hardware and the impossibility to physically access devices to be att...
CLUSTER
2001
IEEE
15 years 1 months ago
2001
IEEE
The Virtual Interface Architecture (VIA) is an industry standard user-level communication architecture for system area networks. The VIA provides a protected, directlyaccessible i...
SIGCOMM
2010
ACM
14 years 10 months ago
2010
ACM
The Internet has become a complex system with increasing numbers of end-systems, applications, protocols and types of networks. Although we have a good understanding of how data i...
CN
2007
14 years 9 months ago
2007
—Interactivity in the transport protocol can greatly benefit transport friendly applications generating streaming traffic. Recently we have developed iTCP, which can provide even...