162 search results - page 22 / 33 » Outsourcing Multi-Party Computation |
SDMW
2004
Springer
14 years 3 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...
CORR
2008
Springer
13 years 9 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...
PVLDB
2008
13 years 8 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, ...
GI
2007
Springer
2007
Springer
Mehrrundige Kombinatorische Auktionen beim Innerbetrieblichen Austausch von Logistikdienstleistungen
14 years 3 months 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...
SAC
2009
ACM
14 years 2 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...