QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 限定条件 发表日期：2010    内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 some improvements on model checking coreasm models of security protocols 会议论文 2nd International Symposium on Data, Privacy and E-Commerce, ISDPE 2010, Buffalo, NY, United states, September Zhao Zhenju; Liu Feng; Peng Jianhua; Huang Danqing; Xue Rui; Zhang Zhenfeng 收藏  |  浏览/下载：19/0  |  提交时间：2011/03/31 Abstracting  Computation theory  Contour followers  Data privacy  Electronic commerce  Model checking  Network protocols  Trees (mathematics)   asm-spv: a model checker for security protocols 会议论文 6th International Conference on Intelligent Information Hiding and Multimedia Signal Processing, IIHMSP 2010, Darmstadt, Germany, 40831 Peng Jianhua; Liu Feng; Zhao Zhenju; Huang Danqing; Xue Rui 收藏  |  浏览/下载：14/0  |  提交时间：2011/03/31 Abstracting  Computation theory  Contour followers  Formal methods  Model checking  Multimedia signal processing  Network protocols  Signal processing   formal verification of hmqv using asm-spv 会议论文 6th International Conference on Intelligent Information Hiding and Multimedia Signal Processing, IIHMSP 2010, Darmstadt, Germany, 40831 Huang Danqing; Xue Rui; Liu Feng; Peng Jianhua; Zhao Zhenju; Ji Dongyao 收藏  |  浏览/下载：11/0  |  提交时间：2011/03/31 Abstracting  Contour followers  Model checking  Multimedia signal processing  Network protocols  Signal processing   Oxidative stress and growth behavior responses of marine diatoms Phaeodactylum tricornutum and Skeletonema costatum to three typical persistent organic pollutants 会议论文 ., 2010-10-29 Qu,Ying; Zhou,Hai-Long; Su,Wen; Wu,Hui-Feng; Xue,Qin-Zhao 收藏  |  浏览/下载：11/0  |  提交时间：2011/07/22 Aldehydes  Cell Culture  Ecology  Organic Pollutants  Oxidative Stress  Oxygen  Phytoplankton  Principal Component Analysis  Toxicity   Near-Field Numerical Simulation of Impulse Anti-Riots Water Cannon 会议论文 作者:  Zhan, Renjun;  Zhuang, Hongwei;  Zhao, Fadong;  Xue, Feng 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/10 bounded and compressed VOF method  numerical simulation  impulse anti-riots water cannon  LES model   Component technology application in energy gray forecast 会议论文 2010 3rd International Conference on Advanced Computer Theory and Engineering, ICACTE 2010, Chengdu, China, 2010-08-20 作者:  Zhang, Hui-Lin;  Deng, Zhao-Hui;  Xue, Hui-Feng 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/20 A Future Project at Tibet: The Large High Altitude Air Shower Observatory (LHAASO) 会议论文 Bremen, Germany, 2010 作者:  Cao, Zhen;  Bi, X. J.;  Cao, Z.;  Chan, J. F.;  Chen, G. 收藏  |  浏览/下载：15/0  |  提交时间：2022/02/24