CORBA服务的形式化分析

来源 :计算机科学 | 被引量 : 0次 | 上传用户：qazwsx07555

【摘要】

：

1 引言CORBA,公共对象请求代理体系结构(Common Object Request Broker Architecture,CORBA)是对象管理组织OMG(Object Management Group,OMG)在OMA(Object Management Archt

【作者】

：

郑红李师贤

【机构】

：

中山大学计算机科学系广州510275

【出处】

：

计算机科学

【发表日期】

：

2002年5期

【关键词】

：

CORBA 形式化分析对象管理组织公共对象服务规范网络应用程序计算机网络 Behavioral specification CORBA service

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

1 引言CORBA,公共对象请求代理体系结构(Common Object Request Broker Architecture,CORBA)是对象管理组织OMG(Object Management Group,OMG)在OMA(Object Management Archtecture,对象管理体系结构)基础上定义的对象请求代理(ORB)的公共结构.CORBA是国际对象管理组织(OMG)遵循分布式对象技术,制定的一整套公认的基于可商用对象技术的标准,CORBA为建立大型复杂的分布式应用系统提供了新方法.

其他文献

粒度神经网络对数字语言的数据融合

This paper presents a neural networks based knowledge discovery and data mining (KDDM) methodology based on granular computing, neural computing,fuzzy computing

期刊

粒度神经网络数字语言数据融合知识发现数据挖掘数据库人工智能Granular neural networksData fusionData mi

基于扩频的非对称数字水印

1.引言随着多媒体技术和网络技术的飞速发展和广泛应用,数字图像、音频和视频等多媒体数字产品愈来愈需要一种有效的版权保护方法,数字水印技术就是针对这一问题而提出来的.

期刊

扩频通信非对称数字水印宽带信道宿主信号版权保护Digital watermark Asymmetric watermarkSpread spect

DNS：域名系统分析与研究

1引言域名系统(DNS)是一种用于TCP/IP应用程序的分布式数据库,它提供主机名字和IP地址间的相互转换及有关电子邮件的选路信息.换句话说DNS提供了允许服务器和客户程序相互通

期刊

DNS域名系统分析计算机网络应用程序TCP/IP协议Domain name system. DNS datagram Pointer inquiri

基于图像Warping的空洞填补方法

1 引言 Warping是一种基于图像的绘制方法(Image-Based Ren-dering,IBR)。IBR是近几年来出现的一种新的真实感绘制方法,受到了计算机图形学界研究人员的普遍关注。IBR是通过一组预先获得的图像,根据不同的视点,来产生新的场景画面。与传统的绘制技术相比,IBR具有不需要建立三维模型,图形绘制独立于场景复杂度,既可以使用计算机生成的图像,也可以用实拍的相片,对工作平台的要

期刊

计算机图形学真实感绘制法图像绘制WARPING空洞填补方法WarpingSplattingMesh partitionQuadtree

基于语义相似度并运用语言学知识进行双语语句词对齐

This paper claries the definition of alignment from the viewpoint of linguistic similarity. Many alignment algorithms have been proposed with very high precisio

期刊

机器翻译双语语句词对齐语言学知识语义相似度计算机Machine translation Word alignment Semantic infor

C(n,k):一类新的3度正则网络模型

一、引言　　计算机互连网络的拓扑结构是决定网络性能好坏的重要因素.众所周知,网络的拓扑结构通常是用(有向)图来模拟:处理机对应于图的顶点,它们之间的连接对应于图的边.

期刊

移动Agent安全机制研究

1.引言近年来,移动agent技术已成为计算机网络和分布式系统最具活力的发展方向,同时移动agent系统也为分布式应用的开发提供了便利.

期刊

移动AGENT系统安全机制信息熵人工智能计算机安全Mobile agentSecurityMalicious hostIntention spr

一种新的基于小波变换的自适应可视水印嵌入算法

一、前言随着当代信息技术的迅猛发展,各种数字化产品、电子出版物(图片、音频、视频、文本等)的发布变得日益流行,数字信息的复制也变得越来越简单.同时,伴随着Internet的日

期刊

自适应可视水印嵌入算法小波变换图像处理水印图像图像缩放Digital watermark Visible watermark Image proc

用免疫神经网络做数据挖掘

<正> 1 引言随着社会信息量的增大,在各种应用领域里的数据库中存储了大量的数据,这使得人们对这些数据进行分析并转化为有用知识的需求变得越来越迫切。于是知识发现与数据

期刊

数据挖掘数据库数据库免疫神经网络人工神经网络Immune neural network Artificial neural network Dat

基于椭圆曲线密码体制的群体数字签名算法

1前言椭圆曲线密码体制是一种基于代数曲线的公钥密码体制,它具有'安全性高,密钥量小,灵活性好'[1]的特点,由于椭圆曲线密码体制不是建立在一个大整数分解及素数域乘

期刊

椭圆曲线密码体制群体数字签名算法公钥密码体制信息加密信息安全离散对数ECC. Digital multisignature Multiblind

CORBA服务的形式化分析

与本文相关的学术论文