489 search results - page 9 / 98 » On the Execution of ODP Computational Specifications |
ICFEM
2000
Springer
13 years 11 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
The Web Service Resource Framework (WSRF) was announced in January 2004 as a new way for manipulating "stateful resources" to perform grid computing tasks using Web Serv...
DAC
1994
ACM
13 years 11 months ago
1994
ACM
- This paper describes a symbolic formulation that allows incorporation of speculative operation execution (preexecution) in an exact control-dependent scheduling of arbitrary forw...
ESCIENCE
2006
IEEE
13 years 11 months ago
2006
IEEE
ct In this paper we present an extension to devise and implement advance reservation as part of the scheduling and resource management services of the ASKALON Grid application deve...
CCGRID
2010
IEEE
13 years 8 months ago
2010
IEEE
In this paper we examine the feasibility of running message passing applications across clouds. Our on-going Unibus project aims to provide a flexible approach to provisioning and ...