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

Search Results

Help

Item hits: (Results 71-80 of 3244)

Filters    
Items/Page:    Sort:
A space-efficient simulation algorithm on probabilistic automata [期刊论文]
INFORMATION AND COMPUTATION, 2016-01-01, 卷号: 249, 页码: 138-159
Zhang, LJ; Jansen, DN
  |  
 
Authenticated key exchange with entities from different settings and varied groups [期刊论文]
SECURITY AND COMMUNICATION NETWORKS, 2016-01-01, 卷号: 9, 期号: 12, 页码: 1843-1863
Guo, YF; Zhang, ZF

 
Automatic GUI Test by Using SIFT Matching [期刊论文]
CHINA COMMUNICATIONS, 2016-01-01, 卷号: 13, 期号: 9, 页码: 227-236
Fang, XX; Sheng, B; Li, P; Wu, D; Wu, EH

 
Direct Resource Hijacking in Android [期刊论文]
IEEE INTERNET COMPUTING, 2016-01-01, 卷号: 20, 期号: 5, 页码: 46-56
Gu, YC; Li, Q; Zhang, HT; Su, PR; Zhang, XW; Feng, DG

 
Evaluating epistemic negation in answer set programming [期刊论文]
ARTIFICIAL INTELLIGENCE, 2016-01-01, 卷号: 237, 页码: 115-135
Shen, YD; Eiter, T
  |  
 
Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes [期刊论文]
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2016-01-01, 卷号: 25, 期号: 3
He, F; Gao, XW; Wang, MF; Wang, BY; Zhang, LJ
  |  
 
Trace Abstraction Refinement for Solving Horn Clauses [期刊论文]
COMPUTER JOURNAL, 2016-01-01, 卷号: 59, 期号: 8, 页码: 1236-1251
Wang, WF; Jiao, L

 
Dynamically Discovering Likely Memory Layout to Perform Accurate Fuzzing [期刊论文]
IEEE TRANSACTIONS ON RELIABILITY, 2016-01-01, 卷号: 65, 期号: 3, 页码: 1180-1194
Chen, K; Zhang, YJ; Liu, P
  |  
 
Unperturbed Schelling Segregation in Two or Three Dimensions [期刊论文]
JOURNAL OF STATISTICAL PHYSICS, 2016-01-01, 卷号: 164, 期号: 6, 页码: 1460-1487
Barmpalias, G; Elwes, R; Lewis-Pye, A
  |  
 
Quantum state and process tomography via adaptive measurements [期刊论文]
SCIENCE CHINA-PHYSICS MECHANICS & ASTRONOMY, 2016-01-01, 卷号: 59, 期号: 10
Wang, HY; Zheng, WQ; Yu, NK; Li, KR; Lu, DW; Xin, T; Li, C; Ji, ZF; Kribs, D; Zeng, B; Peng, XH; Du, JF
  |  
 

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

 

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