QQ客服 官方微博 反馈留言

浏览/检索结果: 共11条，第1-10条 帮助 限定条件 学科主题：Computer Science     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 基于视觉的互动游戏手势界面工具箱 期刊论文 Journal of Software, 2011, 卷号: 22, 期号: 5, 页码: 1067-1081 武汇岳; 张凤军; 刘玉进; 胡银焕; 戴国忠 收藏  |  浏览/下载：15/0  |  提交时间：2013/10/08 人机交互  手势界面  交互技术  工具箱   一种改进的类比估算方法及案例研究 期刊论文 计算机应用与软件, 2011, 卷号: 28, 期号: 7, 页码: 5-9,37 李效云; 杨达; 杨叶 收藏  |  浏览/下载：7/0  |  提交时间：2013/10/08 软件成本估算  类比估算  相似度函数  第一类曲线积分  ImpAnalogy   基于数据流程变换的Mashup性能优化方法 期刊论文 小型微型计算机系统, 2011, 卷号: 32, 期号: 9, 页码: 1716-1722 刘杰; 魏峻; 叶丹; 黄涛 收藏  |  浏览/下载：11/0  |  提交时间：2013/10/08 mashup  数据流程  web2.0  web服务  性能优化   一种形式化的组件化软件过程建模方法 期刊论文 Journal of Software, 2011, 卷号: 22, 期号: 1, 页码: 1-16 翟健; 杨秋松; 肖俊超; 李明树 收藏  |  浏览/下载：12/0  |  提交时间：2013/10/08 软件过程  过程建模  过程重用  过程组件  形式化方法   组合优化问题简约与算法推演 期刊论文 Journal of Software, 2011, 卷号: 22, 期号: 9, 页码: 1985-1993 郑宇军; 薛锦云; 凌海风 收藏  |  浏览/下载：12/0  |  提交时间：2013/10/08 组合优化问题  问题简约  算法推演  正确性证明   基于规范生成的文件模糊测试 期刊论文 计算机工程与设计, 2010, 卷号: 31, 期号: 16, 页码: 3591-3594 沈亚楠; 赵荣彩; 王小芹; 任华; 张新宇; 鲁海军; 李鹏飞 收藏  |  浏览/下载：13/0  |  提交时间：2011/05/23 模糊测试  文件规范描述  文件推导规则  文件模糊测试  脆弱性发掘fuzzy test  file format description  file deduced rule  file fuzzy test  vulnerability discovery   外包数据库模型中的完整性检测方案 期刊论文 计算机研究与发展, 2010, 卷号: 47, 期号: 6, 页码: 1107-1115 咸鹤群; 冯登国 收藏  |  浏览/下载：11/0  |  提交时间：2011/05/23 数据库安全  外包数据库完整性  带掩码的验证树  验证数据结构  验证时间Data structures  Database systems  Model checking   数据库事务恢复日志和入侵响应模型研究 期刊论文 计算机研究与发展, 2010, 卷号: 47, 期号: 10, 页码: 1797-1804 陈驰; 冯登国; 徐震 收藏  |  浏览/下载：10/0  |  提交时间：2011/05/23 入侵容忍  事务恢复日志  入侵响应  事务依赖  恶意事务Recovery   基于属性的远程证明模型 期刊论文 通信学报, 2010, 卷号: 31, 期号: 8, 页码: 40551 于爱民; 冯登国; 汪丹 收藏  |  浏览/下载：15/0  |  提交时间：2011/05/23 基于属性的远程证明  信任图  可信策略  可判定性property based remote attestation  trust graph  trusted policy  decidability   基于尺度的时空RBAC模型 期刊论文 计算机研究与发展, 2010, 卷号: 47, 期号: 7, 页码: 1252-1260 张颖君; 冯登国 收藏  |  浏览/下载：14/0  |  提交时间：2011/05/23 空间数据  访问控制  RBAC  空间  时间  多尺度Database systems  Security systems