Search Results

Item hits: (Results 41-50 of 77)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectIssue Date AscendingIssue Date DescendingTitle AscendingTitle DescendingAuthor AscendingAuthor DescendingSubmitted Time AscendingSubmitted Time Descending
	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   |
	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

previous 1 2 3 4 5 6 7 8 next