咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 信息与通信工程
    • 2 篇 电气工程
    • 2 篇 控制科学与工程
    • 2 篇 计算机科学与技术...
    • 2 篇 软件工程
    • 2 篇 网络空间安全

主题

  • 3 篇 活性属性
  • 2 篇 安全属性
  • 1 篇 二叉判定图
  • 1 篇 属性保持
  • 1 篇 分布式系统
  • 1 篇 故障注入
  • 1 篇 spin模型检测器
  • 1 篇 对等约减策略
  • 1 篇 形式化方法
  • 1 篇 promela语言
  • 1 篇 容错机制
  • 1 篇 面向方面程序
  • 1 篇 简化的有序二叉判...
  • 1 篇 属性推断
  • 1 篇 模型检测
  • 1 篇 形式化验证

机构

  • 1 篇 国防科学技术大学
  • 1 篇 南京大学
  • 1 篇 兰州大学
  • 1 篇 江南计算技术研究...
  • 1 篇 香港科技大学

作者

  • 1 篇 谭庆平
  • 1 篇 吴孝军
  • 1 篇 陆超逸
  • 1 篇 李暾
  • 1 篇 张成志
  • 1 篇 聂长海
  • 1 篇 叶俊

语言

  • 3 篇 中文
检索条件"主题词=活性属性"
共 3 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
一种验证分布式协议活性属性容错机制的模型检测方法
收藏
分享
引用
计算机学报 2021年 第8期44卷 1714-1731页
作者： 陆超逸 聂长海 张成志 南京大学计算机软件新技术国家重点实验室 南京210023 香港科技大学 香港999077
云计算是一种通过网络以服务的方式向用户提供按需收费的计算资源的模式,目前企业逐渐将业务部署、数据处理转移到云计算平台上进行。因为可扩展性、性能等各方面需求,所以云平台部署在分布式系统上。由于分布式系统采用大量的商品机通... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
面向方面程序的属性推断
收藏
分享
引用
计算机研究与发展 2013年 第2期50卷 344-351页
作者： 叶俊 谭庆平 李暾 国防科学技术大学计算机学院 长沙410073 江南计算技术研究所 江苏无锡214083
为简化面向方面程序(aspect-oriented programming,AOP)的形式化验证问题,Djoko等人对aspect进行了系统的分类,并确定了每类aspect能够保持的属性.分类之一的observer指一类对基程序的变量只读不写,且不修改其控制流的aspect,这类aspec... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于SPIN的ATM交换机行为的验证
基于SPIN的ATM交换机行为的验证
收藏
分享
引用
作者： 吴孝军 兰州大学
学位级别：硕士
近些年来模型检测已经成为验证硬件设计正确性一种实用的方法,它能克服传统方法(比如仿真和测试)的一些固有的缺陷,因为穷尽的测试是不可能的并且也只能针对一些经典的情况进行测试。模型检测用严格的数学方法来证明系统是否满足给出的... 详细信息
来源： 同方学位论文库 同方学位论文库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件