...
机译:网格工作流系统中时间约束动态验证的基于活动完成时长的检查点选择
CENTRE FOR INFORMATION TECHNOLOGY RESEARCH, FACULTY OF INFORMATION AND COMMUNICATION TECHNOLOGIES, SWINBURNE UNIVERSITY OF TECHNOLOGY, PO BOX 218, HAWTHORN, MELBOURNE, AUSTRALIA 3122;
grid workflows; temporal constraints; checkpoint selection; temporal verification effectiveness; temporal verification efficiency;
机译:基于时间依赖的检查点选择,用于科学验证工作流系统中的时间约束
机译:基于多状态的时间一致性动态验证网格工作流系统中的固定时间约束
机译:基于时间约束一致性调整的提高科学工作流时间验证效率的新策略
机译:基于时间依赖性的CheckPoint选择,用于动态验证网格工作流系统中的固定时间约束
机译:网格流:具有Petri网接口的基于网格的科学工作流程系统。
机译:设计原则作为基于约束的模型和动态建模的指南:迈向集成工作流
机译:网格工作流系统中时态约束动态验证的充分必要检验点的自适应选择