29 search results - page 1 / 6 » Automatic Grid workflow based on imperative programming lang... |
CONCURRENCY
2006
13 years 4 months ago
2006
DFN
2004
13 years 6 months ago
2004
: In this paper we propose a Grid Workflow Infrastructure, which serves as the base for specifying and executing collaborative interactive workflows within computational grids. The...
CONCURRENCY
2006
13 years 4 months ago
2006
In this paper we propose a Grid Workflow Infrastructure, which serves as the base for specifying and executing collaborative interactive workflows within computational grids. The ...
OPODIS
2008
13 years 6 months ago
2008
Abstract. In this paper we use colored Petri nets (CPNs) and the supporting CPN Tools for the modeling and performance analysis of grid architectures. The notation of Petri nets is...
SIGSOFT
2008
ACM
14 years 5 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...