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

Search Results

Help

Item hits: (Results 21-30 of 2063)

Items/Page:    Sort:
Impact of product complexity on actual effort in software developments: An empirical investigation [会议论文]
23rd Australasian Software Engineering Conference, ASWEC 2014, Sydney, NSW, Australia, April 7, 2014 - April 10, 2014
Li, Zheng (1); O'Brien, Liam (2); Yang, Ye (3)

 
Automated proof for authorization protocols of TPM 2.0 in computational model [会议论文]
10th International Conference on Information Security Practice and Experience, ISPEC 2014, Fuzhou, China, May 5, 2014 - May 8, 2014
Wang, Weijin (1); Qin, Yu (1); Feng, Dengguo (1)

 
An executable semantics of SystemC transaction level models and its applications with VERDS [会议论文]
2014 19th International Conference on Engineering of Complex Computer Systems, ICECCS 2014, Tianjin, China, August 4, 2014 - August 7, 2014
Zeng, Naiju (1); Zhang, W. (1)

 
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)

 
Probably safe or live [会议论文]
Joint Meeting of the 23rd Annual EACSL Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/ IEEE Symposium on Logic in Computer Science, LICS 2014, Vienna, Austria, July 14, 2014 - July 18, 2014
Katoen, Joost-Pieter (1); Song, Lei (2); Zhang, Lijun (3)

 
A novel quantum genetic clustering algorithm for data segmentation [会议论文]
16th Genetic and Evolutionary Computation Conference, GECCO 2014, Vancouver, BC, Canada, July 12, 2014 - July 16, 2014
Zhang, Ming-An (1); Deng, Yong (1); Chang, Dong-Xia (2)

 
Optimizing and scaling HPCG on tianhe-2: Early experience [会议论文]
14th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2014, Dalian, China, August 24, 2014 - August 27, 2014
Zhang, Xianyi (1); Yang, Chao (1); Liu, Fangfang (1); Liu, Yiqun (1); Lu, Yutong (4)

 
MicroEye: Visual summary of microblogsphere from the eye of celebrities [会议论文]
2014 23rd International Conference on Computer Communication and Networks, ICCCN 2014, Shanghai, China, August 4, 2014 - August 7, 2014
Liu, Qingsong (1); Hu, Yifan (2)

 
Human mobility prediction and unobstructed route planning in public transport networks [会议论文]
15th IEEE International Conference on Mobile Data Management, IEEE MDM 2014, Brisbane, QLD, Australia, July 15, 2014 - July 18, 2014
Shang, Shuo (1); Guo, Danhuai (3); Liu, Jiajun (2); Liu, Kuien (4)

 
A concurrent transmission enabled cooperative MAC protocol for Vehicular Ad Hoc Networks [会议论文]
22nd IEEE International Symposium of Quality of Service, IWQoS 2014, Hong Kong, Hong kong, May 26, 2014 - May 27, 2014
Zhang, Lifeng (1); Jin, Beihong (1); Cui, Yanling (1)

 

previous 1 2 3 4 5 6 7 8 9 10 11 12 next

 

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