切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Web服务相容性的形式化描述与分析
Web服务相容性的形式化描述与分析
来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:liongliong581
【摘 要】
:
Web服务的相容性分析是为了保证多个Web服务之间的正确交互.基于Pi-演算对Web服务的相容性进行了形式化的分析,给出了二个Web服务之间相容性的两个形式化定义.同时定义了二个
【作 者】
:
辜希武
卢正鼎
【机 构】
:
华中科技大学计算机科学与技术学院
【出 处】
:
计算机工程与应用
【发表日期】
:
2007年27期
【关键词】
:
Web服务相容性
WEB服务
PI-演算
Web services compatibility Web services Pi-calculus
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Web服务的相容性分析是为了保证多个Web服务之间的正确交互.基于Pi-演算对Web服务的相容性进行了形式化的分析,给出了二个Web服务之间相容性的两个形式化定义.同时定义了二个Web服务进程之间的投影操作,在此基础上给出了多个Web服务之间相容性的形式化定义.
其他文献
一种有效的并行入侵检测系统流量分配策略
流量分配是影响并行入侵检测系统实时性的重要因素。首先提出了一种以局部时间内探测节点的负载平衡为目标,综合考虑探测节点的负载和处理能力的动态流量分配策略;然后通过引
期刊
入侵检测高速网络网络安全流量分配负载平衡
IDShigh-speed networknetwork-securityflow-distributionload-
基于双树复小波变换彩色多聚焦图像融合方法
针对离散小波变换图像融合算法在特征表达上存在的不足,将双树复数小波变换引入到彩色多聚焦图像融合中。对彩色图像的三个通道分别进行融合处理,并采用基于多测度的融合策略:各通道小波变换后低频子带采用区域清晰度的方法;高频子带采用区域标准差的方法。融合效果评价除使用传统方法的熵、交叉熵外,还使用了通用的主观与客观相结合的方法。通过对实验结果的主客观性能分析,验证了该方法得到的融合图像效果较好,优于离散小波
期刊
双树复小波变换
多聚焦图像
彩色图像
图像融合
dual-tree complex wavelet transform multi-focus image c
基于无线传感器网络的分布递阶信息融合算法
提出了基于无线传感器网络的分布递阶信息融合方法,下层源节点采用卡尔曼滤波及基于减少能耗和网络冲突的数据处理方法,上层汇聚节点采用方差最小的加权信息融合方法,该方法
期刊
无线传感器网络
卡尔曼滤波
分布递阶信息融合
wireless sensor networks Kalman filtering distributed hie
基于傅里叶变换特征遗传算法的人脸识别
提出了一种基于傅里叶变换特征遗传算法的人脸识别方法。首先对人脸图像进行傅里叶变换,并去掉不包含识别信息的零频率分量。然后以人脸图像傅里叶变换的模作为描述人脸模式的特征,考虑到并不是所有傅里叶特征都包含较好的分类信息,应用遗传算法进行特征选取。实验结果表明:给出的方法不仅具有较好的识别性能,而且可以在一定程度上减少人脸模式的存储空间。
期刊
人脸识别
傅里叶变换
遗传算法
face recognitionFourier transformGA algorithm
侧钻水平井分段压裂完井工艺研究
大部分陆地油田经过几十年的开发生产,油层压力下降,产能降低。对于地质岩石胶结致密的老井,侧钻井水平井分段压裂完井工艺不失为一种很好的经济有效的恢复其产能的技术。本文介
期刊
侧钻
水平井
压裂
完井
基于网络的空间矢量信息渐进传输的研究
基于网络的空间矢量信息发布,仍存在大数据集浏览效果差强人意的问题,渐进传输是解决该问题的关键技术之一。在对空间矢量信息渐进传输的内在条件进行分析后,认为基于空间多
期刊
渐进传输
空间信息概化
DP算法
多尺度表达
自适应缩放
progressive vector transmission map generalization
2006亚洲信息及通信技术展览会
期刊
四核之战已经开打 英特尔反攻AMD远未结束
英特尔抢先推出四核处理器.不但是其平台化战略的重要布局,也是其回击AMD围追堵截的利器,但AMD紧随其后的追逐。预示多核时代的战火将长燃不熄
期刊
AMD
英特尔
四核
平台化
处理器
联想再造虎狼之师杨元庆做大做强矢志不移
期刊
联想公司
杨元庆
组织结构调整
营销模式
做生意的目的是赚现钱
7月18日,长虹接受季龙粉及其APEX公司将后者所持香港上市公司——中华数据广播70.08%股权悉数抵押给长虹作为还款担保的承诺,危机有望逐渐化解。长虹APEX危机证明了一个真理:企业
期刊
APEX公司
生意
数据广播
上市公司
长虹
企业家
危机
担保
化解
与本文相关的学术论文