位置：成果数据库 > 期刊 > 期刊详情页
Formal Verification of Stochastic Timing Behavior in Web-Based Business Process Collaboration
  • 时间：0
  • 相关项目：无线移动环境中面向非功能性质的企业跨组织工作流业务协同与角色间歇业务操作的原理和关键技术研究
同期刊论文项目
无线移动环境中面向非功能性质的企业跨组织工作流业务协同与角色间歇业务操作的原理和关键技术研究
期刊论文 17 会议论文 2
同项目期刊论文
A New Method for Business Process Mining Based on State Equation
Engineering e-Collaboration Services with a Multi-Agent System Approach
Ontology Based Content Management for Digital Television Services
A Joint of Bidding and Ranking Approach for Resource Sharing among Multiple Websites
网格环境下基于流水线技术的分布式多重相似查询优化
Efficient Probabilistic Image Retrieval Based On a Mixed Feature Model
A Unified Indexing Structure for Efficient Cross-Media Retrieval
Optimal K Nearest Neighbor Query in Data Grid
Alert based disaster notification and resource allocation
基于质心片的不确定高维索引研究
基于视觉和情感特征模型的图像概率检索
一种基于超节点和能量优先的无线传感器网络的高效查询算法