162 search results - page 30 / 33 » Outsourcing Multi-Party Computation |
ECAI
2010
Springer
13 years 10 months ago
2010
Springer
In service-oriented systems, such as grids and clouds, users are able to outsource complex computational tasks by procuring resources on demand from remote service providers. As th...
ICALP
2009
Springer
14 years 10 months ago
2009
Springer
The central goal of data stream algorithms is to process massive streams of data using sublinear storage space. Motivated by work in the database community on outsourcing database...
ESOP
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
GI
2005
Springer
14 years 3 months ago
2005
Springer
: Der Beitrag beschreibt das Gesamtkonzept eines technischen Systems zur Unterstützung logistischer Prozesse während eines Shutdowns einer großtechnischen Anlage. Am Beispiel ei...
GCC
2003
Springer
14 years 2 months ago
2003
Springer
The paper discusses XML security key technologies related with security of Web service. Based on these discussions, Web service is integrated with some mature security architecture...