切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Web服务组合事务处理及基于细胞膜演算的正确性分析
Web服务组合事务处理及基于细胞膜演算的正确性分析
来源 :计算机科学 | 被引量 : 0次 | 上传用户:Freyr119
【摘 要】
:
事务处理是Web服务及其组合服务能否得到广泛应用的关键技术之一。本文分析总结了现有的事务处理模型,针对web服务组合环境下的异构性、自治性和动态性,提出了一个基于组合web
【作 者】
:
姚绍文
唐明靖
危兵
【机 构】
:
云南大学网络智能计算研究室,云南省信息技术发展中心
【出 处】
:
计算机科学
【发表日期】
:
2008年3期
【关键词】
:
WEB服务
事务处理
细胞膜演算
Maude系统
Web service
Transaction processing
Membrane calculus
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
事务处理是Web服务及其组合服务能否得到广泛应用的关键技术之一。本文分析总结了现有的事务处理模型,针对web服务组合环境下的异构性、自治性和动态性,提出了一个基于组合web服务的事务处理模型WSCTM,并基于细胞膜演算对模型的正确性进行了验证。
其他文献
基于模糊熵和非分离小波变换的图像融合算法
针对传统可分离小波图像融合过程中存在部分边缘丢失和纹理信息模糊的问题,提出了突出图像细节和消减图像模糊性的融合算法。该算法在非分离小波分解框架下,对反映图像近似内容的低频分量采用局部模糊熵极大值融合规则,对反映图像细节特征的高频分量提出了区域亮度细节占优加权的融合规则。最后通过非分离小波逆变换重构融合图像。实验结果表明,该算法能在保留源图像信息的情况下,提高融合图像的清晰度,增强细节信息及亮度对比
期刊
可分离小波变换
非分离小波变换
模糊熵
亮度对比度
图像融合
Separable wavelet transform
Non-separable wavele
基于威胁度的动态报警管理研究
IDS目前的主要问题之一是过高的误报率,这一方面给管理员增加了繁重的工作负担,从而使其可能忽视了系统中真正需要处理的关键攻击事件;另一方面,过高的误报率使得自动入侵响应,比
期刊
入侵检测
报警管理
博弈理论
Intrusion detection
Alerts management
Game theory
解读广播电视新闻采访如何体现以人为本思想
以人为本思想作为科学发展观的价值体现,对于社会的发展和进步具有重要的意义。在广播电视新闻采访过程中,应当始终坚持以人为本的思想,并且将其与新闻采访相结合,最大限度发
期刊
广播电视
新闻采访
关系
以人为本
路径
一种生产线架构中的工作流过程定义复用方法
针对工作流管理系统在实际应用中面临的过程定义低效、复杂的问题,借鉴软件复用的思想,提出了一种生产线架构下的工作流过程定义复用方法。该方法建立在领域业务本体和工作流模
期刊
软件复用
软件生产线
工作流
领域业务本体
工作流模板
Software reuse
Software product line
Workflow
Dom
传播话语权的三个维度导向作用——以《哪吒之魔童降世》为例
在传播的过程中,传播效果体现在三个维度上,即认知、态度、行动。无论是传统媒体还是智能媒体时代,传媒的发展都在努力实现这三个维度上的导向效果。当日本的《灌篮高手》《
期刊
国产动漫
话语权
文化传播
IP
网格环境下基于编码机制的数据复制研究
本文提出了基于编码机制的网格数据复制思想,通过对副本数据进行线性分组编码,并将其分散保存到网格存储节点,可形成具有纠删能力的编码子副本组。针对目前热点研究的线性分组编
期刊
网格
数据复制
线性分组编码
编码副本
Grid
Data replication
Linear block coding
Coded replica
一种基于PETSc的热传导方程大规模并行求解策略
提出了一种大规模热传导方程并行求解的策略,采用了分布式内存和压缩矩阵技术解决超大规模稀疏矩阵的存储及其计算,整合了多种Krylov子空间方法和预条件子技术来并行求解大规模
期刊
热传导方程
偏微分方程组
有限差分法
并行算法
Heat equations
Partial differential equations
Finite d
好课是用心上出来的
高中英语阅读课的第二课时主要是处理语言点,相对而言,比较枯燥,难度也较大。为了让语言点课不那么枯燥,首先确定教学目标,充分理解课文,还是从课文本身出发,在文章上下功夫,阅读中处
期刊
好课
用心
剑川等三县消灭血吸虫病考核情况报告
期刊
血吸虫病防治
云南省
剑川
考核方法
研究中心
大理
血防
螺情
防治效果
抽样调查法
怀孕母牛疥癣病治疗
牛疥癣病又称牛螨病、疥疮病,是由疥螨和痒螨寄生于牛体表的毛囊和皮脂腺而引起的慢性皮肤病。1临床症状患病母牛怀孕6个月,颈部皮肤有大小不一的结节、丘疹,被毛部分脱落,其
期刊
慢性皮肤病
怀孕母牛
疥癣病
皮肤瘙痒
病牛
发病症状
疥螨
痒螨
与本文相关的学术论文