703 search results - page 136 / 141 » A Framework for Outsourcing of Secure Computation |
PDC
2004
ACM
14 years 23 days ago
2004
ACM
As computer technologies start to permeate the everyday activities of a continuously growing population, social and technical as well as political and legal issues will surface. P...
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...
GRID
2005
Springer
14 years 26 days ago
2005
Springer
— To date, only Linux-/UNIX-based hosts have been participants in the Grid vision for seamless data access, because the necessary Grid data access protocols have not been impleme...
ATAL
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. Positioned at the confluence between human/machine and hardware/software integration and backed by a solid proof of concept realized through several scenarios encompassin...
SIGMOD
2010
ACM
14 years 5 days ago
2010
ACM
To take full advantage of the parallelism offered by a multicore machine, one must write parallel code. Writing parallel code is difficult. Even when one writes correct code, the...