56 search results - page 10 / 12 » Formal Verification of a Grid Resource Allocation Protocol |
76
Voted
HPCC
2009
Springer
15 years 2 months ago
2009
Springer
—Grid applications need to move large amounts of data between distributed resources within deterministic time frames. In most cases it is possible to specify the volume and the d...
67
Voted
PPPJ
2006
ACM
15 years 3 months ago
2006
ACM
In this paper we present a JXTA-based platform, called Juxta-CAT, which is an effort to use the JXTA architecture to build a job execution-sharing distributed environment. The Ju...
COMCOM
2007
14 years 9 months ago
2007
Credit card transactions are a popular and diffused means of payment over the network. Unfortunately, current technology does not allow us to technically solve disputes that may ...
107
click to vote
CCGRID
2006
IEEE
15 years 3 months ago
2006
IEEE
— Geometric shape modeling becomes increasingly complex and resource-demanding task. In this paper we propose a method to leverage the power of Grid to provide users with high-pr...
CONCUR
2010
Springer
14 years 10 months ago
2010
Springer
Many communication-centred systems today rely on asynchronous messaging among distributed peers to make efficient use of parallel execution and resource access. With such asynchron...