860 search results - page 29 / 172 » Completeness in two-party secure computation: a computationa... |
151
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. We propose a novel, sound, and complete Simplex-based algorithm for solving linear inequalities over integers. Our algorithm, which can be viewed as a semantic generaliza...
127
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We present Risk Integrated's Enterprise Spreadsheet Platform (ESP), a technical approach to the near-elimination of spreadsheet risk in the enterprise computing environment, ...
156
click to vote
DSN
2009
IEEE
16 years 25 days ago
2009
IEEE
Remote attestation of system integrity is an essential part of trusted computing. However, current remote attestation techniques only provide integrity proofs of static properties...
170
click to vote
SP
2002
IEEE
15 years 5 months ago
2002
IEEE
CX, a network-based computational exchange, is presented. The system's design integrates variations of ideas from other researchers, such as work stealing, non-blocking tasks...
154
click to vote
SBACPAD
2004
IEEE
15 years 7 months ago
2004
IEEE
Large scale cluster, Peer-to-Peer computing systems and grid computer systems gather thousands of nodes for computing parallel applications. At this scale, it raises the problem o...