planning and scheduling; workflow; modeling; verification;
机译:一个声明性的两级框架,用于指定和验证面向服务的体系结构中的工作流和授权策略
机译:自动验证数字工作计划中的协作工作流程
机译:使用机器学习从记录和验证系统中预测使用机器学习的规划延迟
机译:2010年智能化计算技术和自动化建模和验证工作流程框架的验证和验证
机译:基于树的工作流验证框架,用于计算树逻辑(CTL)。
机译:利用药物疾病模型资源互操作性框架的新型WinBUGS插件轻松进行复杂的贝叶斯建模工作流的编码和执行
机译:将XpDL用作规划和调度建模工具:工作流模式方法
机译:计算科学:动态生成工作流执行预测模型的框架。