总文献量: 40篇会议类型: 国内会议会议地点: 沈阳主办单位: 中国计算机学会会议日期: 2009-09-22
文章浏览
面向参数化LTL的预测监控器构造方法
基于GPU的体绘制算法研究
基于Petri网的服务组合故障诊断与处理
基于动态代理的上下文感知编程模型EIPM研究
一种从UML模型到可靠性分析模型Markov链的转换方法
一种构件标签自动提取方法及其实现
监控使能的可信软件构造与运行框架
路径敏感的静态缺陷检测方法研究
一种资源敏感的Web应用性能诊断方法
基于TPM的运行时软件可信证据收集机制
一种支持软件资源可信评估的框架
基于模型检验和符号演算的Java测试用例自动生成方法的研究与实现
一个可扩展企业应用系统安全模型的设计与实现
一种基于领域知识模板的网构中间件动态伸缩方法
基于信任值的动态角色定义与管理语言
一种面向服务的可靠多媒体传输算法
处理指针相等关系不确定的指针逻辑
基于服务组合的可信软件动态演化机制研究
基于策略的Web服务实时性能评价与验证
- 1
- 2