258 search results - page 5 / 52 » WofBPEL: A Tool for Automated Analysis of BPEL Processes |
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
Fixing software bugs has always been an important and timeconsuming process in software development. Fixing concurrency bugs has become especially critical in the multicore era. H...
DGO
2003
13 years 8 months ago
2003
Research advances in geospatial automated image analysis tools and feature extraction algorithms have matured in recent times to levels of practical applicability. The consolidati...
ICSOC
2009
Springer
13 years 5 months ago
2009
Springer
Several activities in service oriented computing can benefit from knowing ahead of time future properties of a given service composition. In this paper we focus on how statically i...
HPCN
1995
Springer
13 years 11 months ago
1995
Springer
The performance of parallel computing systems is strongly dependent on the runtime behaviour of parallel programs. This paper describes a new approach to measure and analyze the ru...
BPM
2009
Springer
14 years 3 days ago
2009
Springer
This report will present a collection of tools that supports the precise definition, careful analysis, and execution of processes that coordinate the actions of humans, automated d...