机构

• 软件研究所 [6]
• 数学与系统科学研究院 [2]
• 计算技术研究所 [1]
• 生态环境研究中心 [1]

采集方式

• OAI收割 [10]

内容类型

• 期刊论文 [7]
• 会议论文 [3]

发表日期

• 2017 [1]
• 2010 [1]
• 2008 [1]
• 2007 [1]
• 2006 [6]

学科主题

• Computer S... [3]

筛选

浏览/检索结果: 共10条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Highly active TiO2/g-C3N4/G photocatalyst with extended spectral response towards selective reduction of nitrobenzene 期刊论文  OAI收割 APPLIED CATALYSIS B-ENVIRONMENTAL, 2017, 卷号: 203, 期号: 0, 页码: 1-8 作者:  Ma, Chi;  Yang, Xiaopeng;  Liu, Rui;  Yang, Fan;  Cui, Lishan   |  收藏  |  浏览/下载：38/0  |  提交时间：2018/07/26 Tio2 Nanowires  G-c3n4 Nanosheets  Graphene  Photocatalysis   an algebraic approach for managing inconsistencies in software processes, 会议论文  OAI收割 International Conference on Software Process, Minneapolis, MN, United states, 2007-5-19 Qiusong Yang; Li Mingshu; Qing Wang; Guowei Yang; Jian Zhai; Juan Li; Lishan Hou; Yun Yang   |  收藏  |  浏览/下载：14/0  |  提交时间：2010/05/26 an empirically-based process to improve the practice of requirement review 会议论文  OAI收割 International Conference on Software Process, Leipzig, GERMANY, MAY 10-11, Li Juan; Hou Lishan; Qin Zhongsen; Wang Qing; Chen Guisheng   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/06/13 requirement review  role-based  quantitative  requirement quality characteristic   an algebraic approach for managing inconsistencies in software processes 会议论文  OAI收割 International Conference on Software Process, Minneapolis, MN, MAY 19-20, Yang Qiusong; Li Mingshu; Wang Qing; Yang Guowei; Zhai Jian; Li Juan; Hou Lishan; Yang Yun   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/06/29 software engineering  software process  inconsistency  verification  algebraic  PCSEE  TRISO/ML   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  |  提交时间：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   |  收藏  |  浏览/下载：23/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   |  收藏  |  浏览/下载：19/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   modelingandverifyingwebservicesdrivenbyrequirementsanontologybasedapproach 期刊论文  OAI收割 scienceinchinaseriesfinformationsciences, 2006, 卷号: 49, 期号: 6, 页码: 792 作者:  HOU Lishan;  JIN ZHi;  WU Budan   |  收藏  |  浏览/下载：13/0  |  提交时间：2020/01/10