12774 search results - page 2200 / 2555 » A Framework for Proof Systems |
172
click to vote
TEI
2010
ACM
16 years 1 months ago
2010
ACM
While pervasive technologies explore new gaming styles, traditional games, such as cards and tabletop games are still appealing and have various irreplaceable flavors. We point ou...
176
click to vote
CCS
2010
ACM
16 years 1 months ago
2010
ACM
In this paper, we introduce a framework for secure two-party (S2P) computations, which we call bureaucratic computing, and we demonstrate its efficiency by designing practical S2P...
150
click to vote
EDBT
2010
ACM
16 years 1 months ago
2010
ACM
Relational databases are periodically vacuumed to remove tuples that have expired. During the discovery phase of litigation, plaintiffs ask defendants for access to information re...
171
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we propose an efficient mechanism dealing with trust assessment for agent societies, aiming to accurately assess the trustworthiness of the collaborating agents. I...
177
click to vote
ARITH
2009
IEEE
16 years 1 months ago
2009
IEEE
Hardware implementation of all the basic radix-10 arithmetic operations is evolving as a new trend in the design and implementation of general purpose digital processors. Redundan...