1360 search results - page 57 / 272 » Reasoning on Workflow Executions |
136
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we describe two mission critical applications currently deployed by Telecom Italia in the Operations Support System domains. The first one called "Network Neut...
167
Voted
BMCBI
2005
15 years 3 months ago
2005
Backgorund: The completion of the Human Genome Project has resulted in large quantities of biological data which are proving difficult to manage and integrate effectively. There i...
149
Voted
LPAR
1992
Springer
15 years 7 months ago
1992
Springer
We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and loopi...
123
Voted
SKG
2006
IEEE
15 years 9 months ago
2006
IEEE
Upper bound constraints are often set when complex scientific or business processes are modelled as grid workflow specifications. However, many existing processes such as climate ...
152
Voted
INFSOF
2008
15 years 3 months ago
2008
The Business Process Execution Language for Web Services (BPEL) has emerged as the de-facto standard for implementing processes. Although intended as a language for connecting web ...