机译:基于多状态的时间一致性动态验证网格工作流系统中的固定时间约束
Faculty of Information and Communication Technologies, Swinburne University of Technology, P.O. Box 218, Hawthorn, Melbourne, Victoria 3122, Australia;
grid workflow systems; fixed-time constraints; temporal consistency; temporal verification; cost effectiveness;
机译:网格工作流系统中时间约束动态验证的基于活动完成时长的检查点选择
机译:基于时间依赖的检查点选择,用于科学验证工作流系统中的时间约束
机译:基于时间约束一致性调整的提高科学工作流时间验证效率的新策略
机译:网格工作流系统中固定时间约束验证的灵活时间一致性
机译:网格流:具有Petri网接口的基于网格的科学工作流程系统。
机译:跟踪具有时间一致性约束的动态水源性爆发
机译:网格工作流系统中时态约束动态验证的充分必要检验点的自适应选择