聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
会议论文 使用基于进程代数的方法建立软件体系结构的安全模型
出处:2008年全国理论计算机科学学术年会
摘要:安全体系结构集成了软件体系结构与信息安全两大领域的研究,基于进程代数的语言适合描述基于并发交互构件的... 显示全部
关键词: 进程代数 软件体系结构 安全模型 信息安全
会议论文 基于构件的嵌入式实时软件建模与分析
出处:2008年全国理论计算机科学学术年会
摘要:嵌入式实时软件具有严格的时间要求,任何时间错误都可能造成重大的经济损失甚至导致灾难性的后果.因此,在软... 显示全部
关键词: 嵌入式实时软件 软件开发 软件建模 需求模型 时间约束
会议论文 相干命题逻辑系统R的一种演绎生成算法
出处:2008年全国理论计算机科学学术年会
摘要:本文提出了相干命题逻辑系统R的一种演绎生成算法--试探法。该算法采用后向推理法,依据推理规则将待证命题... 显示全部
关键词: 相干逻辑 自动推理 可读证明 证明树 演绎算法 试探法 推理规则
会议论文 UML2.0顺序图的一种有穷自动机模型
出处:2008年全国理论计算机科学学术年会
摘要:为了在软件开发早期阶段对UML2.0顺序图模型进行分析和验证,本文给出了UML2.0顺序图的一种有穷自动机模型.... 显示全部
关键词: 顺序图 有穷自动机 时间自动机 软件开发 时间建模 建模机制
会议论文 利用不完整和无结构的文本知识的问题求解方法
出处:2008年全国理论计算机科学学术年会
摘要:学习是智能主体获得解决问题能力的重要途径.当前,大多数的研究工作假设主体从完整和结构化的数据中学习,它... 显示全部
关键词: 解决问题 信息检索 文本知识
找到5条结果
`