首 页
学术站点
知识要闻
国际动态
人 物
研招资料
会议中心
学术指南
课 件
知 识 库
所有栏目
学术站点
知识要闻
国际动态
人物
研招资料
会议中心
学术指南
课件
知识库
所有学科
哲学
教育学
文学
心理学
化学
计算机科学技术
医学
图书馆、情报与档案管理
标题
作者
关键词
摘要
正文
单位
网址
任意词
工学
>>>
力学
农业工程
林业工程
工程与技术科学基础学科
测绘科学技术
材料科学
矿山工程技术
石油与天然气工程
冶金工程技术
机械工程
光学工程
仪器科学与技术
动力与电气工程
能源科学技术
核科学技术
电子科学与技术
信息与通信工程
控制科学与技术
计算机科学技术
化学工程
纺织科学技术
印刷工业
服装工业、制鞋工业
轻工技术与工程
食品科学技术
土木建筑工程
水利工程
交通运输工程
船舶与海洋工程
航空、航天科学技术
兵器科学与技术
环境科学技术
安全科学技术
工业设计
搜索结果:
1-1
共查到
“
工学 WS-CDL
”
相关记录1条 . 查询时间(0.062 秒)
基于Pi-演算的
WS-CDL
编舞的描述和验证
验证
Pi-演算
WS-CDL
font style='font-size:12px;'>
2009/7/21
WS-CDL
从全局的观点定义了P2P协作实体通用的外部行为,这些外部行为以消息交换序列的形式来达到一个共同的交易目的。尽管
WS-CDL
声称是基于Pi-演算的,但是证明Pi-演算在建模
WS-CDL
的效力上做的实质性工作并不多。因此,提出了一种基于Pi-演算的方法来形式化并且验证
WS-CDL
编舞。该方法可以保证
WS-CDL
编舞的正确性以降低由于Web服务执行的失败带来的开销。这一方法提高了部署的效率,...
存档文本
存档附件
原文地址
文献传递
中国研究生教育排行榜
-
条
正在加载...
中国学术期刊排行榜
-
条
正在加载...
世界大学科研机构排行榜
-
条
正在加载...
中国大学排行榜
-
条
正在加载...
人 物
-
篇
正在加载...
课 件
-
篇
正在加载...
视听资料
-
篇
正在加载...
知识库
-
篇
正在加载...
研招资料
-
篇
正在加载...
知识要闻
-
篇
正在加载...
国际动态
-
篇
正在加载...
会议中心
-
篇
正在加载...
学术指南
-
篇
正在加载...
学术站点
-
篇
正在加载...