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

作品数：3被引量：5H指数：2
导出分析报告
相关作者：李师贤郑红王志刚郑红更多>>
相关机构：中山大学华东理工大学楚雄师范学院中国科学院软件研究所更多>>
相关期刊：《电子与信息学报》《系统仿真学报》《计算机科学》更多>>
相关主题：CORBACORBA规范形式化描述PETRI网计算机更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
CORBA规范的形式化描述及分析被引量：3
《电子与信息学报》2004年第11期1830-1836,共7页郑红 李师贤 
国家自然科学基金委员会;香港研究资助局联合科研资助基金(79910161989);教育部科学技术研究重点项目(01077);教育部优秀青年资助计划(EYTP)资助课题
CORBA为构建大规模分布式应用程序提供了一套公共对象服务规范,其规范主要以IDL语言编写,只提供对象的静态行为描述。提出并应用扩展有色Petri网对CORBA对象进行形式化模拟和分析,结果表明扩展有色Petri网模型不仅能够清楚描述对象的静...
关键词：CORBA CORBA规范 PETRI网 
可信计算及其关键技术研究被引量：2
《计算机科学》2003年第9期165-168,共4页王志刚 李师贤 
国家自然科学基金委员会(NSFC);香港研究资助局(RGC)联合科研资助基金(编号:79910161989)
1.计算机系统的可信性 随着世界经济全球化的加剧,计算机系统应用呈现出日益广泛而深入的发展态势,政治、经济、商业运作和各类事务处理越来越严重地依赖于计算机数据服务,在国防军事、核反应堆控制、飞机航行控制、火控及化学反应控制...
关键词：可信计算 容错计算 集群计算 可靠性 计算机 
CORBA系统事务处理的模拟和分析
《系统仿真学报》2003年第z1期123-127,共5页郑红 李师贤 
国家自然科学基金委员会;香港研究资助局联合科研资助基金项目(79910161989)。
事务处理对于建立可靠的CORBA应用系统是很关键的,事务处理已经成为分布式应用系统设计的原则。CORBA的一个重要的服务是OMG的提出了对象事务处理服务OTS(Object Transaction Service),负责将事务处理与对象在ORB层上结合。事务成为分...
关键词：CORBA CORBA事务 时序PETRI网 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部