您的位置： 专家智库 > >

香港特区政府研究资助局资助项目(79910161989)

作品数：3 被引量：9H指数：2
相关作者：李师贤郑红王志刚郑红更多>>
相关机构：中山大学华东理工大学楚雄师范学院更多>>
发文基金：香港特区政府研究资助局资助项目国家自然科学基金教育部科学技术研究重点项目更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 3篇中文期刊文章

领域

  • 3篇自动化与计算...

主题

  • 2篇CORBA
  • 1篇形式化
  • 1篇形式化描述
  • 1篇容错
  • 1篇容错计算
  • 1篇时序PETR...
  • 1篇事务处理
  • 1篇可靠性
  • 1篇可信计算
  • 1篇集群计算
  • 1篇计算机
  • 1篇CORBA规...
  • 1篇CORBA系...
  • 1篇PETRI网

机构

  • 3篇中山大学
  • 1篇楚雄师范学院
  • 1篇华东理工大学
  • 1篇中国科学院软...

作者

  • 3篇李师贤
  • 1篇郑红
  • 1篇王志刚
  • 1篇郑红

传媒

  • 1篇电子与信息学...
  • 1篇系统仿真学报
  • 1篇计算机科学

年份

  • 1篇2004
  • 2篇2003
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
CORBA规范的形式化描述及分析被引量：5
2004年
CORBA为构建大规模分布式应用程序提供了一套公共对象服务规范,其规范主要以IDL语言编写,只提供对象的静态行为描述。提出并应用扩展有色Petri网对CORBA对象进行形式化模拟和分析,结果表明扩展有色Petri网模型不仅能够清楚描述对象的静态行为,同时也能较好地模拟对象分布性和动态行为。
郑红李师贤
关键词：CORBACORBA规范PETRI网
CORBA系统事务处理的模拟和分析
2003年
事务处理对于建立可靠的CORBA应用系统是很关键的,事务处理已经成为分布式应用系统设计的原则。CORBA的一个重要的服务是OMG的提出了对象事务处理服务OTS(Object Transaction Service),负责将事务处理与对象在ORB层上结合。事务成为分布式对象系统中恢复、一致性、并发的基本单位。用着色时序Petri网模拟和分析CORBA环境下的事务处理。
郑红李师贤
关键词：CORBA时序PETRI网
可信计算及其关键技术研究被引量：4
2003年
1.计算机系统的可信性 随着世界经济全球化的加剧,计算机系统应用呈现出日益广泛而深入的发展态势,政治、经济、商业运作和各类事务处理越来越严重地依赖于计算机数据服务,在国防军事、核反应堆控制、飞机航行控制、火控及化学反应控制等关键应用和医疗、金融、交通、通讯、气象、电力、石油化工、Web服务、联机事务处理OLTP、科学计算等重要应用中尤其如此.
王志刚李师贤
关键词：可信计算容错计算集群计算可靠性计算机
全选 清除 导出
共1页<1>
聚类工具0