1777 search results - page 320 / 356 » Programming Cryptographic Protocols |
ADL
1998
Springer
14 years 25 days ago
1998
Springer
The New Zealand Digital Library offers several collections of information over the World Wide Web. Although fulltext indexing is the primary access mechanism, musical collections ...
IPPS
1996
IEEE
14 years 24 days ago
1996
IEEE
Virtual memory-mapped communication (VMMC) is a communication model providing direct data transfer between the sender's and receiver's virtual address spaces. This model...
LICS
1996
IEEE
14 years 24 days ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
ISCA
1993
IEEE
14 years 23 days ago
1993
IEEE
In this paper we introduce a classification of misses in shared-memory multiprocessors based on inter processor communication. We identify the set of essential misses, i.e., the s...
CCS
2009
ACM
14 years 19 days 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...