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

Search Results

Help

Item hits: (Results 1-10 of 13)

Filters    
Items/Page:    Sort:
Combining symmetry reduction with generalized symbolic trajectory evaluation [期刊论文]
Computer Journal, 2014-01-01, 卷号: 57, 期号: 1, 页码: 115-128
Li, Yongjian (1); Zeng, Naiju (1); Hung, William N.N. (2); Song, Xiaoyu (3)

 
基于PVS的数据库安全策略形式化分析方法 [期刊论文]
中国科学技术大学学报, 2013-01-01, 卷号: 43, 期号: 7, 页码: 591-598
李昊; 张敏; 王榕

 
基于PVS的数据库安全策略形式化分析方法 [会议论文]
首届全国信息安全等级保护技术大会, 桂林, 2012
李昊; 张敏; 王榕

 
no-go theorem for one-way quantum computing on naturally occurring two-level systems [期刊论文]
PHYSICAL REVIEW A, 2011-01-01, 卷号: 83, 期号: 5, 页码: -
Chen Jianxin; Chen Xie; Duan Runyao; Ji Zhengfeng; Zeng Bei

 
基于量化角色的可控委托模型 [期刊论文]
计算机学报, 2006-01-01, 卷号: 29, 期号: 8, 页码: 1401-1407
翟征德
  |  
 
contextual labelled semantics for higher-order process calculi [会议论文]
Proceedings of the Workshop on the Foundations of Global Ubiquitous Computing (FGUC 2004), September
Li Yongjian
  |  
 
the low splitting theorem in the difference hierarchy [会议论文]
1st Conference on Computability in Europe (CiE 2005), Amsterdam, NETHERLANDS, JUN 08-12,
Li AS
  |  
 
probabilistic behavior of sensor network localization [会议论文]
ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, 40849
Cui Xun-Xue; Zhao Zhan; Tao Qing
  |  
 
一种电子商务协议形式化分析方法 [期刊论文]
软件学报, 2005-01-01, 卷号: 16, 期号: 10, 页码: 1757-1765
王常青; 邓昌智; 马翠霞; 华庆一; 戴国忠
  |  
 
多输出bent函数的优化设计 [期刊论文]
Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2005-01-01, 卷号: 33, 期号: 3, 页码: 521-523
Wu Ju-Ying; Wei Yong-Zhuang; Wang Xuan-Ming
  |  
 

1 2 next

 

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