Search Results

Item hits: (Results 21-30 of 3253)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectSubmitted Time AscendingSubmitted Time DescendingTitle AscendingTitle DescendingAuthor AscendingAuthor DescendingIssue Date AscendingIssue Date Descending
	Completeness of Hoare logic with inputs over the standard model [期刊论文] THEORETICAL COMPUTER SCIENCE, 2016-01-01, 卷号: 612, 页码: 23-28 Xu, ZW; Sui, YF; Zhang, WH   |
	Termination analysis with recursive calling graphs [期刊论文] JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2016-01-01, 卷号: 59, 页码: 109-116 Long, T; Zhang, WH   |
	一种基于聚类分组的虚拟机镜像去冗余方法 [期刊论文] 软件学报, 2016-01-01, 卷号: 27, 期号: 2, 页码: 466-480 徐继伟; 张文博; 魏峻; 钟华; 黄涛   |
	车辆图像检索方法的Julia云实现 [期刊论文] 小型微型计算机系统, 2016-01-01, 卷号: 37, 期号: 1, 页码: 57-60 黄博; 王莉; 张常有; 王婷   |
	一个基于博弈理论的隐私保护模型 [期刊论文] 计算机学报, 2016-01-01, 卷号: 39, 期号: 3, 页码: 615-627 张伊璇; 何泾沙; 赵斌; 朱娜斐
	对Raviyoyla v1的实际伪造攻击 [期刊论文] 计算机学报, 2016-01-01, 卷号: 39, 期号: 3, 页码: 478-491 姚远; 张斌; 吴文玲   |
	Cryptanalysis and improvement of an efficient authenticated key exchange protocol with tight security reduction [期刊论文] INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, 2016-01-01, 卷号: 29, 期号: 3, 页码: 567-578 Lu, SQ; Zhao, JH; Cheng, QF
	基于改进MCA的干涉高光谱图像分解 [期刊论文] 光谱学与光谱分析, 2016-01-01, 卷号: 36, 期号: 1, 页码: 254-258 温佳; 赵军锁; 王彩玲; 夏玉立   |
	KSAP: An approach to bug report assignment using KNN search and heterogeneous proximity [期刊论文] INFORMATION AND SOFTWARE TECHNOLOGY, 2016-01-01, 卷号: 70, 页码: 68-84 Zhang, W; Wang, S; Wang, Q   |
	一种基于遗传算法的虚拟机镜像自适应备份策略 [期刊论文] 计算机学报, 2016-01-01, 卷号: 39, 期号: 2, 页码: 351-363 徐继伟; 张文博; 王焘; 黄涛   |

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