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

Search Results

Help

Item hits: (Results 81-90 of 364)

Filters    
Items/Page:    Sort:
秋季植物叶子表观的模拟 [期刊论文]
软件学报, 2009-01-01, 期号: 3, 页码: 702-712
迟小羽; 盛斌; 杨猛; 陈彦云; 吴恩华
  |  
 
基于时序逻辑证明编译优化程序变换的保义性 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 8, 页码: 2074-2086
陶秋铭; 赵琛; 郭亮
  |  
 
直觉线性μ-演算中的合成推理 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 8
张文辉
  |  
 
低耗后向无关联性的本地验证撤销群签名方案 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 7, 页码: 1977-1985
魏凌波; 武传坤; 朱婷鸽
  |  
 
一种高效的Long-Lived Self-Healing密钥分发机制 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 2, 页码: 462-468
李徽; 武传坤
  |  
 
基于精细梯度策略的多链路协同数据转发协议 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 11
朱红松; 赵磊; 徐勇军; 李晓维; 孙利民
  |  
 
机会网络 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 1
熊永平; 孙利民; 牛建伟; 刘燕
  |  
 
基于角色的管理模型隐式授权分析 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 4, 页码: 1048-1057
刘伟; 蔡嘉勇; 贺也平
  |  
 
基于分布式协调模型的服务协作方法研究 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 6, 页码: 1470-1486
乔晓强; 魏峻; 黄涛
  |  
 
本体辅助的自动化模式匹配技术 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 2, 页码: 234-245
刘强; 赵迪; 钟华; 黄涛
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 next

 

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