468 search results - page 18 / 94 » Cryptographic and Computational Challenges in Grid Computing |
116
click to vote
GRID
2004
Springer
15 years 7 months ago
2004
Springer
e-Science has much to benefit from the emerging field of grid computing. However, construction of e-Science grids is a complex and inefficient undertaking. In particular, deployme...
110
Voted
FC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Secure computation is a promising approach to business problems in which several parties want to run a joint application and cannot reveal their inputs. Secure computatio...
140
Voted
HPDC
2002
IEEE
15 years 6 months ago
2002
IEEE
In high energy physics, bioinformatics, and other disciplines, we encounter applications involving numerous, loosely coupled jobs that both access and generate large data sets. So...
109
Voted
JIT
2005
Springer
15 years 7 months ago
2005
Springer
In times of increasing grid oriented computing environments, the integration and orchestration of business services become more and more emergent. This challenge is taken in the co...
153
click to vote
ACL2
2006
ACM
15 years 7 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...