切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Ice协议的形式化分析
Ice协议的形式化分析
来源 :计算机科学 | 被引量 : 0次 | 上传用户:m123987679
【摘 要】
:
Ice中间件是一个和COBRA同样强大却摒除了COBRA的缺陷的分布式对象平台,它为异构环境下的应用开发提供了一种新的方式。Ice协议定义了客户和服务器通信的规则。本文使用pi演算
【作 者】
:
杨小刚
沈曾伟
【机 构】
:
北京航空航天大学软件开发环境国家重点实验室
【出 处】
:
计算机科学
【发表日期】
:
2006年8期
【关键词】
:
ICE
PI演算
协议压缩
Ice
Pi-calculus
Protocol compression
【基金项目】
:
国家973资助项目(N0.G1999032709).
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Ice中间件是一个和COBRA同样强大却摒除了COBRA的缺陷的分布式对象平台,它为异构环境下的应用开发提供了一种新的方式。Ice协议定义了客户和服务器通信的规则。本文使用pi演算描述分析Ice协议,从交互过程和协议实体两方面对协议进行了刻画,揭示其并发、分布的对象计算特征。
其他文献
Web服务事务中的补偿机制研究与实现
可靠的web服务事务机制是面向服务的架构(SOA)中不可缺少的要素之一,它本身也需要有一定的恢复机制,其中非常重要的技术就是事务补偿。结合Web服务事务的特点,以及数据库系统中的
期刊
WEB服务
事务
事务补偿
触发器
Web service
Transaction
Transaction compensation
Trigger
PCEA中不同浓度布比卡因与吗啡和芬太尼配伍的疗效比较
病人、家属及其医生都希望麻醉医生对患者术后疼痛进行处理,以期改善转归.目前硬膜外病人自控止痛(PCEA)泵已在临床上广泛开展,使用药物种类多样,效果不尽相同.笔者比较几种
期刊
硬膜外病人自控止痛泵
浓度
布比卡因
吗啡
芬太尼
配伍
疗效比较
基因组重组排序算法综述
随着快速测序技术的发展,对大规模DNA分子的研究与其中的基因相对次序有关。基因组重组是计算生物学的一个重要研究领域,是基因组在基因水平比较分析的基础。其研究目标是找最
期刊
基因组重组
排序距离
反转
移位
转位
Genome rearrangement
Sorting distance
Reversal
Translocat
过氧乙酸致过敏性紫癜性肾炎1例
在抗击非典时期,过氧乙酸被广泛用于消毒,本文报告过氧乙酸致过敏性紫癜性肾炎1例.
期刊
过氧乙酸
过敏性紫癜性肾炎
消毒
病例分析
临床研究
9所医院法定传染病报告管理工作的监测
期刊
医院法定传染病
疫情
报告
管理
监测
高氟对儿童少年牙齿及牙周疾病的影响
关于高氟对儿童少年牙齿发育及牙周疾病影响的研究一直为儿少卫生工作者所关注,国内外报道颇多,但由于各地水氟浓度不同,报道结果差异较大。本文对巴盟乌拉特前旗高氟区水氟
期刊
牙周病
牙齿发育
高氟区
小氟含量
儿童
金属全冠恢复后牙牙冠外形改良法
临床需要金属全冠修复的后牙,多为牙体缺损严重,需要在代型上先行恢复牙冠外形。全冠代型的外型恢复,多采用间接法,需要取对牙合模型来恢复牙合面外形。这种办法是静止状态下恢复
期刊
后牙
牙冠外形改良
金属全冠
JAC技术实现生产者-消费者问题
JAC技术通过扩展JAVA注释实现并发,具有并发表达层次高、并发逻辑与应用逻辑分离、软件复用进一步加强等优点。论文利用JAC技术解决生产者-消费者问题,阐述了JAC技术的使用及其
期刊
JAC
同步
生产者-消费者
同步机制
JAC
Synchronization
Producer- consumer problem
针对应用系统ER模型的MDA模型转换方法
MDA是由OMG提出的一种以模型为主要开发产品的软件开发方法。开发人员首先建立与具体技术平台的实现细节无关的高抽象程度的平台无关模型(Platform Independent Model,PIM)。然
期刊
MDA
模型转换
EDOC
设计模式
MDA
Model transformation
EDOC
Design patterns
基于全局消息传播的贝叶斯推理
在贝叶斯网络中,常常需要作不确定概率推理。然而针对一般复杂网络,精确推理算法由于计算复杂度太高而常常被摒弃。针对这一问题,本文提出了一种基于全局传播的PPJT近似推理算法
期刊
概率传播
贝叶斯网络
势函数
消息传递
Probability propagation
Bayesian network
Potential functio
与本文相关的学术论文