中国科学院软件研究所机构知识库
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Advanced  
在结果中检索
  Communities
  Subjects
  All Items
Content Type
期刊论文 [77]
Issued Date
2016 [77]
Project
Spnsorship
ISCAS OpenIR

Search Results

 Help

Item hits: (Results 41-50 of 77)

Filters    
Items/Page:    Sort:
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
  |  
 
Modelling and Performance Analysis of IEEE 802.11 DCF Using Coloured Petri Nets [期刊论文]
COMPUTER JOURNAL, 2016-01-01, 卷号: 59, 期号: 10, 页码: 1563-1580
Hu, X; Jiao, L; Li, ZJ

 
Proactive service selection based on acquaintance model and LS-SVM [期刊论文]
NEUROCOMPUTING, 2016-01-01, 卷号: 211, 页码: 60-65
Hu, JJ; Chen, XL; Zhang, CY
  |  
 

previous 1 2 3 4 5 6 7 8 next

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