Sign in
Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems.
Jinjun Chen
Yun Yang
Published in:
Business Process Management (2006)
Keyphrases
</>
scientific workflows
workflow systems
business processes
workflow management
temporal constraints
access control
workflow model
service oriented
mobile agents
model checking
database
databases
machine learning
constraint satisfaction problems
workflow management systems