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

Search Results

Help

Item hits: (Results 1-10 of 460)

Items/Page:    Sort:
Software Development Method Based on Structured Management of Code [会议论文]
7th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2012, Beijing, China, December 15, 2012 - December 17, 2012
Chen, Xia (1); Zhao, Junsuo (1)

 
Fast symmetric pairing revisited [会议论文]
6th International Conference on Pairing-Based Cryptography, Pairing 2013, Beijing, China, November 22, 2013 - November 24, 2013
Zhang, Xusheng (1); Wang, Kunpeng (2)

 
Bisimulations and logical characterizations on continuous-time markov decision processes [会议论文]
15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, San Diego, CA, United states, January 20, 2014 - January 21, 2014
Song, Lei (1); Zhang, Lijun (2); Godskesen, Jens Chr. (3)

 
Improved Davies-Murphy's attack on des revisited [会议论文]
6th International Symposium on Foundations and Practice of Security, FPS 2013, La Rochelle, France, October 21, 2013 - October 22, 2013
Lu, Yi (1); Desmedt, Yvo (2)

 
Zero knowledge proofs from ring-LWE [会议论文]
12th International Conference on Cryptology and Network Security, CANS 2013, Paraty, Brazil, November 20, 2013 - November 22, 2013
Xie, Xiang (1); Xue, Rui (2); Wang, Minqian (1)

 
Fuzzy keyword search over encrypted data in the public key setting [会议论文]
14th International Conference on Web-Age Information Management, WAIM 2013, Beidaihe, China, June 14, 2013 - June 16, 2013
Dong, Qiuxiang (1); Guan, Zhi (1); Wu, Liang (4); Chen, Zhong (1)

 
The buffered π-calculus: A model for concurrent languages [会议论文]
7th International Conference on Language and Automata Theory and Applications, LATA 2013, Bilbao, Spain, April 2, 2013 - April 5, 2013
Deng, Xiaojie (1); Zhang, Yu (2); Deng, Yuxin (1); Zhong, Farong (3)

 
CCMC: A conditional CSL model checker for continuous-time Markov chains [会议论文]
11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, Hanoi, Viet nam, October 15, 2013 - October 18, 2013
Gao, Yang (1); Hahn, Ernst Moritz (1); Zhan, Naijun (1); Zhang, Lijun (1)

 
An efficient map-matching mechanism for emergency scheduling and commanding [会议论文]
14th International Conference on Web-Age Information Management, WAIM 2013, Beidaihe, China, June 14, 2013 - June 16, 2013
Li, Yaguang (1); Liu, Kuien (1); Xu, Jiajie (1); He, Fengcheng (1)

 
A self-supervised framework for clustering ensemble [会议论文]
14th International Conference on Web-Age Information Management, WAIM 2013, Beidaihe, China, June 14, 2013 - June 16, 2013
Du, Liang (1); Shen, Yi-Dong (1); Shen, Zhiyong (4); Wang, Jianying (5); Xu, Zhiwu (1)

 

1 2 3 4 5 6 7 8 9 10 next

 

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