464 search results - page 8 / 93 » Enjoy the Paper: Lexicology |
ACMICEC
2004
ACM
15 years 3 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...
VAST
2004
ACM
15 years 3 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 1 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...
LPAR
2010
Springer
14 years 7 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...
CHI
2005
ACM
15 years 10 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...