6978 search results - page 1067 / 1396 » On Proofs in System P |
192
click to vote
AGENTS
1998
Springer
15 years 11 months ago
1998
Springer
Certificate management infrastructure, a.k.a. PKI (Public Key Infrastructure), which issues and provides access to public key certificates to preserve the integrity of a public ke...
170
click to vote
WCRE
1997
IEEE
15 years 11 months ago
1997
IEEE
We present an approach for the generation of components for a software renovation factory. These components are generated from a context-free grammar definition that recognizes t...
163
click to vote
UIST
1997
ACM
15 years 11 months ago
1997
ACM
This paper presents a scheme for extending an informal, penbased whiteboard system (the Tivoli application on the Xerox LiveBoard) to provide interaction techniques that enable gr...
171
click to vote
ICDCS
1996
IEEE
15 years 11 months ago
1996
IEEE
We propose a new algorithm for recovering asynchronously from failures in a distributed computation. Our algorithm is based on two novel concepts - a fault-tolerant vector clock t...
209
click to vote
SIGGRAPH
1996
ACM
15 years 11 months ago
1996
ACM
Sketching communicates ideas rapidly through approximate visual images with low overhead (pencil and paper), no need for precision or specialized knowledge, and ease of low-level ...