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

Search Results

Help

Item hits: (Results 41-50 of 812)

Filters    
Items/Page:    Sort:
On personalized and sequenced route planning [期刊论文]
WORLD WIDE WEB-INTERNET AND WEB INFORMATION SYSTEMS, 2016-01-01, 卷号: 19, 期号: 4, 页码: 679-705
Dai, J; Liu, CF; Xu, JJ; Ding, ZM
  |  
 
Tomography is Necessary for Universal Entanglement Detection with Single-Copy Observables [期刊论文]
PHYSICAL REVIEW LETTERS, 2016-01-01, 卷号: 116, 期号: 23
Lu, DW; Xin, T; Yu, NK; Ji, ZF; Chen, JX; Long, GL; Baugh, J; Peng, XH; Zeng, B; Laflamme, R

 
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
  |  
 

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

 

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