1833 search results - page 10 / 367 » Mechanized Verification with Sharing |
INFOCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— The pre-shared key based mechanisms for Transport Layer Security (TLS) were recently standardized by the IETF to extend the set of ciphersuites by utilizing existing ke...
SC
1995
ACM
14 years 2 months ago
1995
ACM
The goal of this work is to explore architectural mechanisms for supporting explicit communication in cachecoherent shared memory multiprocessors. The motivation stems from the ob...
STACS
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We develop for set cover games several general cost-sharing methods that are approximately budget-balanced, core, and/or group-strategyproof. We first study the cost sha...
BIOADIT
2006
Springer
14 years 2 months ago
2006
Springer
To provide application-oriented network services, a variety of overlay networks are deployed over physical IP networks. Since they share and compete for the same physical network r...
ICNP
2002
IEEE
14 years 3 months ago
2002
IEEE
Despite a decade of research and development, multicast has not yet been deployed on a global scale. Among the difficulties with the current infrastructure are intermulticast fai...