Search Results

Item hits: (Results 31-40 of 1992)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectTitle AscendingTitle DescendingIssue Date AscendingIssue Date DescendingSubmitted Time AscendingSubmitted Time DescendingAuthor AscendingAuthor Descending
	Modeling and verifying of CPS component services based on hybrid automata [期刊论文] International Journal of Multimedia and Ubiquitous Engineering, 2014-01-01, 卷号: 9, 期号: 6, 页码: 49-57 Zhang, Jianning;  Zhang, Guanquan;  Yan, Rongjie;  Zhu, Yi;  Qi, Xingjun
	一种面向程序动态分析的循环摘要生成方法 [期刊论文] 电子学报, 2014-01-01, 卷号: 42, 期号: 6, 页码: 1110-1117 聂楚江; 刘海峰; 苏璞睿; 冯登国
	基于命令紧密度的用户伪装入侵检测方法 [期刊论文] 电子学报, 2014-01-01, 卷号: 42, 期号: 6, 页码: 1225-1229 王秀利; 王永吉
	基于动态域划分的MapReduce安全冗余调度策略 [期刊论文] 通信学报, 2014-01-01, 卷号: 35, 期号: 1, 页码: 34-46 沈晴霓; 卿斯汉; 吴中海; 张力哲; 杨雅辉
	Combining symmetry reduction with generalized symbolic trajectory evaluation [期刊论文] Computer Journal, 2014-01-01, 卷号: 57, 期号: 1, 页码: 115-128 Li, Yongjian (1); Zeng, Naiju (1); Hung, William N.N. (2); Song, Xiaoyu (3)
	Investigating dependencies in software requirements for change propagation analysis [期刊论文] Information and Software Technology, 2014-01-01, 卷号: 56, 期号: 1, 页码: 40-53 Zhang, He (1); Li, Juan (3); Zhu, Liming (2); Jeffery, Ross (2); Liu, Yan (4); Wang, Qing (3); Li, Mingshu (3)
	Remote sensing image segmentation based on Dynamic Statistical Region Merging [期刊论文] Optik, 2014-01-01, 卷号: 125, 期号: 2, 页码: 870-875 Huang, Zhijian (1); Zhang, Jinfang (2); Li, Xiang (1); Zhang, Hui (2)
	Workload-aware anomaly detection for web applications [期刊论文] Journal of Systems and Software, 2014-01-01, 卷号: 89, 期号: 1, 页码: 19-32 Wang, Tao (1); Wei, Jun (1); Zhang, Wenbo (2); Zhong, Hua (2); Huang, Tao (1)
	The higher-order meet-in-The-middle attack and its application to the Camellia block cipher [期刊论文] Theoretical Computer Science, 2014-01-01, 卷号: 527, 页码: 102-122 Lu, Jiqiang (1); Wei, Yongzhuang (2); Kim, Jongsung (4); Pasalic, Enes (5)
	A constraint-weaving approach to points-to analysis for AspectJ [期刊论文] Frontiers of Computer Science, 2014-01-01, 卷号: 8, 期号: 1, 页码: 52-68 Sun, Qiang (1); Chen, Yuting (1); Zhao, Jianjun (1)

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