Login / Signup
Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants.
H. M. W. Verbeek
Wil M. P. van der Aalst
Arthur H. M. ter Hofstede
Published in:
Comput. J. (2007)
Keyphrases
</>
data processing
image regions
input image
parameter space
query evaluation
database management systems
business processes
business process
query optimization
sql queries
moment invariants
objects in cluttered scenes