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

Search Results

Help

Item hits: (Results 1-10 of 17)

Filters    
Items/Page:    Sort:
SRLtoRadl生成系统及其范畴论语义 [期刊论文]
电子学报, 2014-01-01, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶; 薛锦云; 左正康

 
容错的网络声明式程序 [期刊论文]
软件学报, 2012-01-01, 卷号: 23, 期号: 8, 页码: 1992-2001
汪芳

 
在线同步输入纸质与电子表单的方法 [期刊论文]
计算机辅助设计与图形学学报, 2012-01-01, 卷号: 24, 期号: 9, 页码: 1125-1133
熊金泉; 樊银亭; 滕东兴; 马翠霞; 戴国忠; 王宏安

 
P2P信任模型中基于模糊逻辑的共谋团体识别方法 [期刊论文]
计算机研究与发展, 2011-01-01, 卷号: 48, 期号: 12, 页码: 2187-2200
苗光胜; 冯登国; 苏璞睿

 
动态需求跟踪方法及跟踪精度问题研究 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 2, 页码: 177-192
李引; 李娟; 李明树
  |  
 
双重软件体系结构描述框架XYZ/ADL [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 9, 页码: 1485-1494
朱雪阳
  |  
 
基于DTE策略的安全域隔离Z形式模型 [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 11, 页码: 1881-1888
卿斯汉; 李丽萍; 何建波; 沈晴霓
  |  
 
对一类多级安全模型安全性的形式化分析 [期刊论文]
计算机学报, 2006-01-01, 卷号: 29, 期号: 8, 页码: 1468-1479
何建波; 卿斯汉; 王超
  |  
 
XML数据实体化视图自维护判定准则 [期刊论文]
浙江大学学报(工学版), 2005-01-01, 卷号: 39, 期号: 6, 页码: 840-844
华成; 高济; 陈义
  |  
 
同步合成Petri网系统可回复性的保持性 [期刊论文]
系统工程理论与实践, 2005-01-01, 卷号: 25, 期号: 10, 页码: 83-94
蒲飞; 陆维明
  |  
 

1 2 next

 

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