Adaptive Temporal Verification and Violation Handling for Time-Constrained Business Cloud Workflows.

Haoyu Luo, Xiao Liu, Jin Liu, Bo Han, Yun Yang

Browse the full ICSOC paper archive.