QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 dynamic resource scheduling in disruption-prone software development environments 会议论文 13th International Conference on Foundations of Software Science and Computational Structures/Joint European Conferences on Theory and Practice of Software, Paphoe, CYPRUS, MAR 20-28, Xiao Junchao; Osterweil Leon J.; Wang Qing; Li Mingshu 收藏  |  浏览/下载：7/0  |  提交时间：2011/03/31 Disruption  rescheduling  multi-objective  genetic algorithm   信息可视化中的交互技术研究 学位论文 博士, 软件研究所: 中国科学院软件研究所, 2009 任磊 收藏  |  浏览/下载：10/0  |  提交时间：2011/03/17 可视化  信息可视化  人机交互  用户界面模型  模型驱动架构  软件开发方法  软件体系结构  软件平台  制造业信息化  计算机文件系统   verification of actl properties by bounded model checking 会议论文 11th International Conference on Computer Aided Systems Theory, Las Palmas, SPAIN, FEB 12-16, Zhang Wenhui 收藏  |  浏览/下载：10/0  |  提交时间：2011/06/29 Codes (symbols)  Error detection  Mathematical models  Security of data   sat-based verification of ltl formulas 会议论文 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006)/5th International Workshop on Parallel and Distributed Methods in Verification (PDMC, Bonn, GERMANY, AUG 26-27, Zhang Wenhui 收藏  |  浏览/下载：13/0  |  提交时间：2011/06/29 Approximation theory  Error analysis  Formal methods  Model checking