4889 search results - page 869 / 978 » A Refactoring Approach to Parallelism |
146
click to vote
NSPW
2003
ACM
15 years 11 months ago
2003
ACM
Large-scale data breaches exposing sensitive personal information are becoming commonplace. For numerous reasons, conventional personal (identification) information leaks from da...
144
click to vote
NSPW
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, we argue that person-to-person key distribution is best accomplished with a key-centric approach, instead of PKI: users should distribute public key fingerprints in...
171
click to vote
VRML
2003
ACM
15 years 11 months ago
2003
ACM
Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages f...
203
click to vote
AI
2003
Springer
15 years 11 months ago
2003
Springer
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...
169
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A contract signing protocol lets two parties exchange digital signatures on a pre-agreed text. Optimistic contract signing protocols enable the signers to do so without i...