位置：成果数据库 > 会议 > 会议详情页
Study on Temporal Consistency Analysis and Verification in PBZC
  • 所属机构名称：北京科技大学
  • 会议名称：The 3rd International Conference on Information Science and Engineering (ICISE 2013)
  • 时间：2011.9.9
  • 成果类型：会议
  • 相关项目：企业协同中服务流程的适配分析、动态验证与性能评价研究
作者： Hongxia Xu|Yanhua Du|Shaohua Dong|
同会议论文项目
企业协同中服务流程的适配分析、动态验证与性能评价研究
期刊论文 12 会议论文 9
同项目会议论文
A PIPE based System for Checking Temporal Constraints in Service Composition
Probability Based Timed Compatibility of Web Service Composition
An Incremental Approach to Analyzing Temporal Constraints of Workflow Processes
An Approach to Selecting Services with Dynamic Prices for Temporal-aware Service Processes
An Improved Genetic Algorithm for Service Selection under Temporal Constraints in Cloud Computing
Pattern-based Model Checking for Dynamic Analysis of Workflow Processes with Temporal Constraints
Dynamic Selection of Services under Temporal Constraints in Cloud Computing
Dynamic Configuration of Service based Processes in Cloud Computing using Linear Programming