中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 111-120 of 133)

Items/Page:    Sort:
a xml-based composition event approach as an integration and cooperation middleware [会议论文]
International Symposium on Trustworthy Global Computing, Edinburgh, SCOTLAND, APR 07-09,
Xu G; Ma JG; Huang T

 
一种反应式SPM及其动态语义XYZ表示 [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2005-01-01, 卷号: 16, 期号: 11, 页码: 1876-1885
Dong Guang-Zhi; Liu Jun-Fei; Qi Xuan
  |  
 
a formal description of secimos operating system [期刊论文]
COMPUTER NETWORK SECURITY, PROCEEDINGS, 2005-01-01, 卷号: 3685, 页码: 286-297
Zhou ZY; Liang B; Jiang L; Shi WC; He YP
  |  
 
a metamodel based model transformation approach [会议论文]
3rd International Conference on Software Engineering Research, Management and Applications, Mt Pleasant, MI, AUG 11-13,
Duan YC; Cheung SC; Fu XL; Gu YQ
  |  
 
一种电子商务协议形式化分析方法 [期刊论文]
软件学报, 2005-01-01, 卷号: 16, 期号: 10, 页码: 1757-1765
王常青; 邓昌智; 马翠霞; 华庆一; 戴国忠
  |  
 
XML数据实体化视图自维护判定准则 [期刊论文]
浙江大学学报(工学版), 2005-01-01, 卷号: 39, 期号: 6, 页码: 840-844
华成; 高济; 陈义
  |  
 
面向服务的知识发现体系结构研究与实现 [期刊论文]
计算机学报, 2005-01-01, 卷号: 28, 期号: 4, 页码: 445-457
杨立; 左春; 王裕国
  |  
 
基于领域本体的半结构化文本知识自动获取方法的设计和实现 [期刊论文]
计算机学报, 2005-01-01, 卷号: 28, 期号: 12, 页码: 2010-2018
王海涛; 曹存根; 高颖
  |  
 
基于系统级诊断理论的卫星网络故障诊断 [期刊论文]
电子学报, 2005-01-01, 卷号: 33, 期号: 11, 页码: 2066-2069
侯霞; 范植华; 胡刚
  |  
 
practical type checking of functions defined on context-free languages [期刊论文]
Journal of Computer Science and Technology, 2004-01-01, 卷号: 19, 期号: 6, 页码: 840-847
Chen Haiming; Yun-Mei Dong
  |  
 

previous 3 4 5 6 7 8 9 10 11 12 13 14 next

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace