CORC

在结果中检索

CORC

浏览/检索结果: 共43条，第1-10条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
An Event Based Detection of Internal Threat to Information System 会议论文
5th International Conference on Harmony Search, Soft Computing and Applications, ICHSA 2019, Kunming, China, 2019-7-20 ~ 2019-7-22
作者:  Li, Zheng;  Liu, Kun
收藏  |  浏览/下载：2/0  |  提交时间：2021/01/05
Optimizing and scaling HPCG on tianhe-2: Early experience 会议论文
14th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2014, Dalian, China, August 24, 2014 - August 27, 2014
Zhang, Xianyi (1); Yang, Chao (1); Liu, Fangfang (1); Liu, Yiqun (1); Lu, Yutong (4)
收藏  |  浏览/下载：18/0  |  提交时间：2014/12/16
Improved Davies-Murphy's attack on des revisited 会议论文
6th International Symposium on Foundations and Practice of Security, FPS 2013, La Rochelle, France, October 21, 2013 - October 22, 2013
Lu, Yi (1); Desmedt, Yvo (2)
收藏  |  浏览/下载：17/0  |  提交时间：2014/12/16
LSG: A unified multi-dimensional latent semantic graph for personal information retrieval 会议论文
15th International Conference on Web-Age Information Management, WAIM 2014, Macau, China, June 16, 2014 - June 18, 2014
Huangfu, Yang (1); Liu, Kuien (1); Zhang, Wen (1); Zhou, Peng (1); Wu, Yanjun (1); Wang, Qing (1); Zhu, Jia (4)
收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16
A Strand Space Approach to Provable Anonymity 会议论文
2nd International Workshop of Formal Techniques for Safety-Critical Systems, FTSCS 2013, Queenstown, New zealand, October 29, 2013 - October 30, 2013
Li, Yongjian (1); Pang, Jun (2)
收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16
Efficient detection of emergency event from moving object data streams 会议论文
19th International Conference on Database Systems for Advanced Applications, DASFAA 2014, Bali, Indonesia, April 21, 2014 - April 24, 2014
Guo, Limin (1); Huang, Guangyan (2); Ding, Zhiming (1)
收藏  |  浏览/下载：19/0  |  提交时间：2014/12/16
Improved multidimensional zero-correlation linear cryptanalysis and applications to LBlock and TWINE 会议论文
19th Australasian Conference on Information Security and Privacy, ACISP 2014, Wollongong, NSW, Australia, July 7, 2014 - July 9, 2014
Wang, Yanfeng (1); Wu, Wenling (1)
收藏  |  浏览/下载：18/0  |  提交时间：2014/12/16
Super-dense computation in verification of hybrid CSP processes 会议论文
10th International Symposium on Formal Aspects of Component Software, FACS 2013, Nanchang, China, October 27, 2013 - October 29, 2013
Guelev, Dimitar P. (1); Wang, Shuling (2); Zhan, Naijun (2); Zhou, Chaochen (2)
收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16
QBF encoding of temporal properties and QBF-based verification 会议论文
7th International Joint Conference on Automated Reasoning, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19, 2014 - July 22, 2014
Zhang, Wenhui (1)
收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16
ExBLACR: Extending BLACR system 会议论文
19th Australasian Conference on Information Security and Privacy, ACISP 2014, Wollongong, NSW, Australia, July 7, 2014 - July 9, 2014
Wang, Weijin (1); Feng, Dengguo (1); Qin, Yu (1); Shao, Jianxiong (1); Xi, Li (1); Chu, Xiaobo (1)
收藏  |  浏览/下载：54/0  |  提交时间：2014/12/16

©版权所有 ©2017 CSpace - Powered by CSpace