QQ客服 官方微博 反馈留言

浏览/检索结果: 共8条，第1-8条 帮助 限定条件 发表日期：2011    专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 PAR中泛型约束机制的设计与实现 学位论文 博士, 北京: 中国科学院大学, 2011 左正康 收藏  |  浏览/下载：13/0  |  提交时间：2013/06/07 泛型约束机制  Hoare公理语义  代数结构  PAR  Kleene泛型算法   基于主动规则推理的故障诊断系统设计与实现 学位论文 硕士, 北京: 中国科学院研究生院, 2011 李欣 收藏  |  浏览/下载：8/0  |  提交时间：2011/06/07 故障诊断  故障模型  主动规则推理  专家系统   基于动态污点传播的恶意代码分析研究 学位论文 博士, 北京: 中国科学院研究生院, 2011 刘豫 收藏  |  浏览/下载：24/0  |  提交时间：2011/06/13 动态污点传播  恶意代码分析  污点传播流图  协议逆向  攻击特征生成   基于视觉的互动游戏手势界面工具箱 期刊论文 Journal of Software, 2011, 卷号: 22, 期号: 5, 页码: 1067-1081 武汇岳; 张凤军; 刘玉进; 胡银焕; 戴国忠 收藏  |  浏览/下载：13/0  |  提交时间：2013/10/08 人机交互  手势界面  交互技术  工具箱   基于数据流程变换的Mashup性能优化方法 期刊论文 小型微型计算机系统, 2011, 卷号: 32, 期号: 9, 页码: 1716-1722 刘杰; 魏峻; 叶丹; 黄涛 收藏  |  浏览/下载：11/0  |  提交时间：2013/10/08 mashup  数据流程  web2.0  web服务  性能优化   恶意软件网络协议的语法和行为语义分析方法 期刊论文 软件学报, 2011, 卷号: 22, 期号: 7, 页码: 1676-1689 应凌云; 杨轶; 冯登国; 苏璞睿 收藏  |  浏览/下载：7/0  |  提交时间：2013/10/08 恶意软件分析  网络协议逆向分析  动态分析  网络安全   一种Web应用部署相关的Schema匹配方法 会议论文 2011全国软件与应用学术会议(NASAC2011), 长春, 2011 刘姗姗; 陈伟; 魏峻; 叶丹 收藏  |  浏览/下载：4/0  |  提交时间：2013/10/08 部暑  描述符  XML匹配  XML Schema   vision-based gesture interfaces toolkit for interactive games 期刊论文 Ruan Jian Xue Bao/Journal of Software, 2011, 卷号: 22, 期号: 5, 页码: 1067-1081 Wu Hui-Yue; Zhang Feng-Jun; Liu Yu-Jin; Hu Yin-Huan; Dai Guo-Zhong 收藏  |  浏览/下载：11/0  |  提交时间：2011/10/10 人机交互  手势界面  交互技术  工具箱Knowledge management  Semantics  User interfaces  Wearable computers