位置：成果数据库 > 会议 > 会议详情页
Generic contract-regulated web service composition specification and verification
  • 所属机构名称：华东理工大学
  • 会议名称：2012 International Conference on Information Technology and Software Engineering,
  • 时间：2012.12.12
  • 成果类型：会议
  • 相关项目：基于成熟认知模型的文本归类新技术研究
作者： Jie Zhai|Zhiqing Shao|Yi Guo|Haiteng Zhang|
同会议论文项目
基于成熟认知模型的文本归类新技术研究
期刊论文 4 会议论文 6
同项目会议论文
Generic web services composition verification based on batch proof method
A Semantic Processing Model for Sentence Understanding based on Cognitive Learning
A Review of Statistical and Cognitive Learning for Sentence Processing
MicroBlog User Ranking Based on PageRank and Hadoop (Accepted)
Improvement of PageRank for User Ranking in MicroBlog (Accepted)