机译:工作流程规范的资源约束分析
Swinburne Univ Technol, Sch Informat Technol, Ctr Internet Comp & E Commerce, Hawthorn, Vic 3122, Australia;
workflows; timed workflows; workflow specifications; workflow analysis; resource constraints; PETRI NETS; MODELS;
机译:资源与工作流程规范冲突的增量分析
机译:面向资源的工作流网络和工作流资源需求分析
机译:带有RBAC机制和SoD约束的工作流的规范和验证
机译:资源约束的工作流模型的性能分析
机译:Reo中的工作流控制模式的规范和实现。
机译:积累基因组数据分析工作流的计算资源使用量以优化云计算实例选择
机译:使用约束解决方案验证模态工作流程规范