Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems.

Jinjun Chen, Yun Yang

Browse the full BPM paper archive.