Jinjun Chen, Yun Yang. Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems. In Schahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth, editors, Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings. Volume 4102 of Lecture Notes in Computer Science, pages 445-450, Springer, 2006. [doi]
Abstract is missing.