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

Search Results

Help

Item hits: (Results 31-40 of 1992)

Filters    
Items/Page:    Sort:
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

 

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