...
机译:自动查找执行方案以部署对安全性敏感的工作流
Fondazione Bruno Kessler, Italy,SAP Labs France, France,University of Trento, Italy;
Fondazione Bruno Kessler, Italy;
SAP Labs France, France;
SAP Labs France, France;
Workflow satisfiability; run-time monitor; business process;
机译:从CIM级别到PIM级别的工作流自动执行的形式化模型转换方法
机译:在激光扫描数据上自动执行工作流程以提取桥梁测量目标
机译:从系统执行轨迹中自动检索和分析高可用性方案:热备用路由器协议的案例研究
机译:通过查找执行方案来协助部署安全敏感的工作流
机译:根据执行跟踪自动生成核心方案模型
机译:PNAS Plus:Geminin在细胞分裂前采用多种机制调节Cdt1从而确保正确执行DNA复制
机译:通过查找执行方案,协助部署安全敏感的工作流程