位置：成果数据库 > 会议 > 会议详情页
A PIPE based System for Checking Temporal Constraints in Service Composition
  • 所属机构名称：北京科技大学
  • 会议名称：The 4th International Conference on Information Management, Innovation Management and Industrial Eng
  • 时间：2011.11.11
  • 成果类型：会议
  • 相关项目：企业协同中服务流程的适配分析、动态验证与性能评价研究
作者： Yanhua Du|Xiaofei Wang|Hongxia Xu|
同会议论文项目
企业协同中服务流程的适配分析、动态验证与性能评价研究
期刊论文 12 会议论文 9
同项目会议论文
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
Study on Temporal Consistency Analysis and Verification in PBZC
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