14 search results - page 3 / 3 » Toward a Framework for Preparing and Executing Adaptive Grid... |
CF
2005
ACM
13 years 9 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
CIMCA
2005
IEEE
14 years 1 months ago
2005
IEEE
Owing to the increase in both heterogeneity and complexity in today’s networking systems, the need arises for an architecture for network-based services that provides flexibilit...
DSRT
2008
IEEE
14 years 2 months ago
2008
IEEE
The DEVS formalism has been adopted and developed independently by many research teams, which led to various DEVS implementation versions. Consequently, different DEVS implementat...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Aneka is an Application Platform-as-a-Service (Aneka PaaS) for Cloud Computing. It acts as a framework for building customized applications and deploying them on either public or ...