论文研究-Ad hoc网络中AODV路由协议优化.pdf

所需积分/C币:5 2019-09-07 13:05:38 791KB .PDF

针对Web服务组合设计规范缺乏形式化的语义和验证方法的问题,提出了一个自顶向下的Web服务设计和验证的框架-iFrame4WS。在iFrame4WS中,将Web服务组合的设计方案划分为描述层、抽象层和执行层,并通过抽象层的形式化模型和形式化验证来检查Web服务组合的正确性。

...展开详情
试读 5P 论文研究-Ad hoc网络中AODV路由协议优化.pdf
img
  • 至尊王者

    成功上传501个资源即可获取

关注 私信 TA的资源

上传资源赚积分,得勋章
    最新推荐
    论文研究-Ad hoc网络中AODV路由协议优化.pdf 5积分/C币 立即下载
    1/5
    论文研究-Ad hoc网络中AODV路由协议优化.pdf第1页
    论文研究-Ad hoc网络中AODV路由协议优化.pdf第2页

    试读已结束,剩余3页未读...

    5积分/C币 立即下载 >