Sciweavers

2534 search results - page 369 / 507
» Resource Management for Distributed Parallel Systems
Sort
View
EDOC
2000
IEEE
15 years 9 months ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...
ESCIENCE
2007
IEEE
15 years 9 months ago
Taverna Workflows: Syntax and Semantics
This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foun...
Daniele Turi, Paolo Missier, Carole A. Goble, Davi...
PODC
2010
ACM
15 years 9 months ago
Brief announcement: on the quest of optimal service ordering in decentralized queries
This paper deals with pipelined queries over services. The execution plan of such queries defines an order in which the services are called. We present the theoretical underpinni...
Efthymia Tsamoura, Anastasios Gounaris, Yannis Man...
CCGRID
2004
IEEE
15 years 8 months ago
Remote partial file access using compact pattern descriptions
We present a method for the efficient access to parts of remote files. The efficiency is achieved by using a file format independent compact pattern description, that allows to re...
Thorsten Schütt, André Merzky, Andrei ...
EDOC
2004
IEEE
15 years 8 months ago
A Rigorous Approach to Relate Enterprise and Computational Viewpoints
Multi-viewpoint approaches allow stakeholders to design a system from stakeholder-specific viewpoints. By this, a separation of concerns is achieved, which makes designs more mana...
Remco M. Dijkman, Dick A. C. Quartel, Luís ...