464 search results - page 8 / 93 » Enjoy the Paper: Lexicology |
ACMICEC
2004
ACM
15 years 7 months ago
2004
ACM
We start with the usual paradigm in electronic commerce: a consumer who wants to buy from a merchant. However, both parties wish to enjoy maximal privacy. In addition to remaining...
116
click to vote
VAST
2004
ACM
15 years 7 months ago
2004
ACM
This paper describes the development of a Virtual Environment (VE) for telling a traditional San story. The San are an indigenous hunter-gatherer people of southern Africa whose t...
CRYPTO
2000
Springer
15 years 6 months ago
2000
Springer
Secure Function Evaluation (SFE) protocols are very hard to design, and reducibility has been recognized as a highly desirable property of SFE protocols. Informally speaking, reduc...
115
click to vote
LPAR
2010
Springer
14 years 12 months ago
2010
Springer
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...
116
click to vote
CHI
2005
ACM
16 years 2 months ago
2005
ACM
This paper describes a multi-user version of the "Virtual Raft Project" being exhibited in the Interactivity Program at CHI 2005. The Virtual Raft Project is an interact...