QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 限定条件 内容类型：会议论文    专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 vmfdf: a virtualization-based multi-level fault detection framework for high availability computing 会议论文 9th IEEE International Conference on E-Business Engineering, ICEBE 2012, Including, SOAIC 2012, EM2I 2012, SOKMBI 2012, ASOC 2012, Hangzhou, China, September 9, 2012 - September 11, 2012 Zhang Jianhua; Zhang Wenbo; Wu Heng; Huang Tao 收藏  |  浏览/下载：12/0  |  提交时间：2013/09/22 Computer hardware  Electronic commerce  Fault detection  Hardware   semi-static detection of runtime type errors in component-based java programs 会议论文 19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4, 2012 - December 7, 2012 Zhou Xiaowei; Zhang Wenbo; Zhang Jianhua 收藏  |  浏览/下载：8/0  |  提交时间：2013/09/22 Computer software  Errors  Loaders  Static analysis   an i/o optimizing approach for virtualization-based internetwares 会议论文 4th Asia-Pacific Symposium on Internetware, Internetware 2012, Qingdao, China, October 30, 2012 - October 31, 2012 Xu Jiwei; Zhang Wenbo; Wu Heng; Zhang Jianhua 收藏  |  浏览/下载：32/0  |  提交时间：2013/09/22 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)