QQ客服 官方微博 反馈留言

浏览/检索结果: 共10条，第1-10条 帮助 限定条件 发表日期：2012    专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 图像纹理特征对隐写安全性的影响与利用研究 学位论文 硕士, 北京: 中国科学院研究生院, 2012 邓果 收藏  |  浏览/下载：16/0  |  提交时间：2012/05/31 隐写安全  图像纹理特征  隐写测评  隐写分析性能  载体选择   a molecular dynamics-continuum coupled model for heat transfer in composite materials 期刊论文 Multiscale Modeling and Simulation, 2012, 卷号: 10, 期号: 4, 页码: 1292-1316 Huang Jizu; Cao Liqun; Yang Sam 收藏  |  浏览/下载：15/0  |  提交时间：2013/09/17 Composite materials  Finite element method  Heat transfer  Homogenization method  Interfaces (materials)  Nanotechnology  Numerical methods  Structure (composition)  Temperature  Thermal conductivity of solids   基于扩展逻辑变换系统_μTS证明循环优化正确性 期刊论文 计算机研究与发展, 2012, 卷号: 49, 期号: 9, 页码: 1863-1873 王昌晶 收藏  |  浏览/下载：15/0  |  提交时间：2013/09/17 循环优化  可信编译  扩展逻辑变换系统  循环变换  辅助证明算法   parallel dynamic cloud rendering method based on physical cellular automata model 会议论文 Zhang Liqiang; Li Chao; Sun Haoliang; Zheng Changwen; Lv Pin 收藏  |  浏览/下载：10/0  |  提交时间：2013/09/22 Dynamics  Parallel architectures   toward effectively locating integration-level faults in bpel programs 会议论文 12th International Conference on Quality Software, QSIC 2012, Xi'an, Shaanxi, China, August 27, 2012 - August 29, 2012 Sun Chang-Ai; Zhai Yimeng; Shang Yan; Zhang Zhenyu 收藏  |  浏览/下载：9/0  |  提交时间：2013/09/22 基于概率模型检测的Web服务组合验证 期刊论文 计算机科学, 2012, 卷号: 39, 期号: 1, 页码: 120-123 王晶; 戎玫; 张广泉; 祝义 收藏  |  浏览/下载：6/0  |  提交时间：2012/11/12 qos-aware and multi-granularity service composition 期刊论文 Information Systems Frontiers, 2012, 页码: 1-15 Feng Zaiwen; Peng Rong; Wong Raymond K.; He Keqing; Wang Jian; Hu Songlin; Li Bing 收藏  |  浏览/下载：14/0  |  提交时间：2013/09/17 Algorithms  Web services   a computational approach to measure availability of networked software system 期刊论文 Journal of Convergence Information Technology, 2012, 卷号: 7, 期号: 18, 页码: 584-592 Meng Lingzhong; Xue Yunzhi; Wang Lize 收藏  |  浏览/下载：13/0  |  提交时间：2013/09/17 Availability  Computer simulation  Models   一种基于自适应框架的Web服务选择算法 期刊论文 Computer Engineering, 2012, 卷号: 38, 期号: 2, 页码: 41226 袁玉倩; 胡晓惠; 杨洁 收藏  |  浏览/下载：18/0  |  提交时间：2012/11/12 Web service  service selection  service composition  Quality of Service(QoS)  link analysis  adaptive framework   正规树文法的产生式相交判定 期刊论文 计算机工程与设计, 2012, 卷号: 33, 期号: 3, 页码: 1197-1202,1212 倪晓勇; 陈海明 收藏  |  浏览/下载：14/0  |  提交时间：2012/11/12 XML type checking  regular tree grammar  production rules  intersection checking  regular expression  automata