位置：成果数据库 > 会议 > 会议详情页
Semantic Web Service Composition: From OWL-S to Answer Set Programming
  • 所属机构名称：桂林电子科技大学
  • 会议名称：International Workshop, CSEEE 2011, Communications in Computer and Information Science 159
  • 时间：2011.3.3
  • 成果类型：会议
  • 相关项目：基于抽象和符号技术的并发软件验证研究
作者： Qian Junyan|Huang Guowang|Zhao Lingzhong|
同会议论文项目
基于抽象和符号技术的并发软件验证研究
期刊论文 25 会议论文 6 专利 2
同项目会议论文
ALCIR+ Reasoning for Semantic Web Services Composition
WSSecTool: A web service security analysis tool based on program slicing
Event calculus-based adaptive services composition policy for AmI systems
Modeling and quantifying the dependability based on PEPA
Utility-based Cooperative Decision in Cooperative Authentication