exception handling; grid computing; program verification; system monitoring; dynamic upper bound constraint verification; exception handling; grid services; grid workflow complexity; grid workflow systems; inconsistency; temporal consistency states;
机译:基于多状态的时间一致性动态验证网格工作流系统中的固定时间约束
机译:网格工作流系统中时间约束动态验证的基于活动完成时长的检查点选择
机译:基于时间依赖的检查点选择,用于科学验证工作流系统中的时间约束
机译:用于网格工作流系统中上限约束的动态验证的多个时间一致性状态
机译:动态非线性系统的验证概率界分析。
机译:跟踪具有时间一致性约束的动态水源性爆发
机译:网格工作流系统中上限约束的动态设置,验证和调整