机构

• 数学与系统科学研究院 [3]
• 软件研究所 [3]
• 计算技术研究所 [2]
• 遥感与数字地球研究所 [1]

采集方式

• OAI收割 [9]

内容类型

• 期刊论文 [8]
• 会议论文 [1]

发表日期

• 2010 [1]
• 2008 [3]
• 2006 [5]

学科主题

• Computer S... [3]

筛选

浏览/检索结果: 共9条，第1-9条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Capability description and discovery of Internetware entity 期刊论文  OAI收割 SCIENCE CHINA-INFORMATION SCIENCES, 2010, 卷号: 53, 期号: 4, 页码: 685-703 作者:  Wang PuWei;  Jin Zhi;  Liu HongYan   |  收藏  |  浏览/下载：19/0  |  提交时间：2018/07/30 Internetware  capability description  domain environment ontology  tree-like hierarchical state machine   Building toward capability specifications of Web services based on an environment ontology 期刊论文  OAI收割 IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2008, 卷号: 20, 期号: 4, 页码: 547-561 作者:  Wang, Puwei;  Jin, Zhi;  Liu, Lin;  Cai, Guangjun   |  收藏  |  浏览/下载：23/0  |  提交时间：2018/07/30 Web services  capability specification  environment ontology  hierarchical state machine   Building toward capability specifications of Web services based on an environment ontology 期刊论文  OAI收割 IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2008, 卷号: 20, 期号: 4, 页码: 547-561 作者:  Wang, Puwei;  Jin, Zhi;  Liu, Lin;  Cai, Guangjun   |  收藏  |  浏览/下载：28/0  |  提交时间：2019/12/16 Web services  capability specification  environment ontology  hierarchical state machine   Integrating marine dynamic environment monitoring data using spatio-temporal data warehouse and ontology 会议论文  OAI收割 2008 Proceedings of Information Technology and Environmental System Sciences: Itess 2008, Vol 3, Beijing Zheng, Zhigang; Zhang, Xin; Chi, Tianhe; Wang, Xiaomin; Zhao, Wen 收藏  |  浏览/下载：15/0  |  提交时间：2014/12/07 data integration  data warehouse  ontology  marine dynamic environment  monitoring data  TAIWAN STRAIT   Modeling and verifying Web services driven by requirements: An ontology-based approach 期刊论文  OAI收割 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 卷号: 49, 期号: 6, 页码: 792-820 作者:  Hou Lishan;  Jin Zhi;  Wu Budan   |  收藏  |  浏览/下载：13/0  |  提交时间：2018/07/30 web service  environment ontology  automatic composition  pi calculus  formal verification   Modeling and verifying Web services driven by requirements: An ontology-based approach 期刊论文  OAI收割 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 卷号: 49, 期号: 6, 页码: 792-820 作者:  Hou Lishan;  Jin Zhi;  Wu Budan   |  收藏  |  浏览/下载：12/0  |  提交时间：2019/12/16 web service  environment ontology  automatic composition  pi calculus  formal verification   modeling and verifying web services driven by requirements: an ontology-based approach 期刊论文  OAI收割 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 卷号: 49, 期号: 6, 页码: 792-820 Hou Lishan; Jin Zhi; Wu Budan   |  收藏  |  浏览/下载：24/0  |  提交时间：2011/07/13 经尿道电切术,女性膀胱颈梗阻web service  environment ontology  automatic composition  pi calculus  formal verification   modeling and verifying web services driven by requirements: an ontology-based approach 期刊论文  OAI收割 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 卷号: 49, 期号: 6, 页码: 792-820 Hou Lishan; Jin Zhi; Wu Budan   |  收藏  |  浏览/下载：20/0  |  提交时间：2011/07/13 经尿道电切术,女性膀胱颈梗阻web service  environment ontology  automatic composition  pi calculus  formal verification   modeling and verifying web services driven by requirements: an ontology-based approach 期刊论文  OAI收割 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 卷号: 49, 期号: 6, 页码: 792-820 Hou Lishan; Jin Zhi; Wu Budan   |  收藏  |  浏览/下载：24/0  |  提交时间：2011/07/13 经尿道电切术,女性膀胱颈梗阻web service  environment ontology  automatic composition  pi calculus  formal verification