中国科学院计算技术研究所机构知识库

浏览/检索结果: 共9条，第1-9条

帮助

限定条件

发表日期：2006

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序WOS被引频次升序WOS被引频次降序提交时间升序提交时间降序期刊影响因子升序期刊影响因子降序题名升序题名降序发表日期升序发表日期降序
	Modeling and verifying Web services driven by requirements: An ontology-based approach 期刊论文 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 卷号: 49, 期号: 6, 页码: 792-820 作者:  Hou Lishan;  Jin Zhi;  Wu Budan 收藏  |  浏览/下载：42/0  |  提交时间：2019/12/16 web service  environment ontology  automatic composition  pi calculus  formal verification
	Beyond knowledge engineering 期刊论文 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2006, 卷号: 21, 期号: 5, 页码: 790-799 作者:  Lu, Ru-Qian;  Jin, Zhi 收藏  |  浏览/下载：42/0  |  提交时间：2019/12/16 knowledge engineering  knowware  knowware engineering  knowledge middleware  domain knowware
	无权访问的条目 期刊论文 作者:  Ru-Qian Lu（陆汝钤）;  Zhi Jin（金芝） Adobe PDF(407Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/11/04
	无权访问的条目 期刊论文 作者:  Zhi Jin（金 芝） Adobe PDF(2167Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/11/04
	On constructing environment ontology for semantic Web services 期刊论文 KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, 2006, 卷号: 4092, 页码: 490-503 作者:  Wang, Puwei;  Jin, Zhi;  Liu, Lin 收藏  |  浏览/下载：43/0  |  提交时间：2019/12/16
	基于可配置处理器的H.264解码芯片的选型 期刊论文 电视技术, 2006, 卷号: 0.0, 期号: 5.0, 页码: 22 作者:  汪康;  郑晓军;  袁开智;  刘金刚 收藏  |  浏览/下载：9/0  |  提交时间：2023/12/04 可配置CPU  H.264标准  视频芯片
	目标间顺序关系的提取及其抽象方法 期刊论文 软件学报, 2006, 卷号: 17.0, 期号: 003, 页码: 349 作者:  李颖;  金芝 收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04 规划  状态不变式  目标间顺序关系  抽象  合一
	基于C＋＋的内部类的实现以及应用 期刊论文 计算机工程与应用, 2006, 卷号: 42.0, 期号: 020, 页码: 92 作者:  程振林;  方金云;  唐志敏 收藏  |  浏览/下载：9/0  |  提交时间：2023/12/04 内部类  C＋＋  多重继承  面向对象设计
	STL算法在GIS中的应用 期刊论文 计算机工程, 2006, 卷号: 32.0, 期号: 008, 页码: 70 作者:  赵红超;  方金云;  唐志敏 收藏  |  浏览/下载：9/0  |  提交时间：2023/12/04 地理信息系统  标准模板库  地理算子  函数对象