162 search results - page 22 / 33 » Outsourcing Multi-Party Computation |
154
click to vote
SDMW
2004
Springer
15 years 11 months ago
2004
Springer
When outsourcing data to an untrusted database server, the data should be encrypted. When using thin clients or low-bandwidth networks it is best to perform most of the work at the...
152
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract We investigate here a new version of the Calculus of Inductive Constructions (CIC) on which the proof assistant Coq is based: the Calculus of Congruent Inductive Construct...
191
click to vote
PVLDB
2008
15 years 4 months ago
2008
Ad-hoc data processing has proven to be a critical paradigm for Internet companies processing large volumes of unstructured data. However, the emergence of cloud-based computing, ...
119
click to vote
GI
2007
Springer
2007
Springer
Mehrrundige Kombinatorische Auktionen beim Innerbetrieblichen Austausch von Logistikdienstleistungen
16 years 3 days ago
: Der Austausch von Ladekapazit¨aten in der logistischen Praxis wird oft ¨uber webbasierte Marktpl¨atze vorgenommen. Wenige dieser Transportb¨orsen sind jedoch in der Lage, Syn...
163
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
This paper proposes a novel method of achieving fast networking in hosted virtual machine (VM) environments. This method, called socket-outsourcing, replaces the socket layer in a...