• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International journal of business data communications and networking >Towards a Formal Validation of a Hybrid Multi-Agent Routing Protocol for Ad hoc Networks
【24h】

Towards a Formal Validation of a Hybrid Multi-Agent Routing Protocol for Ad hoc Networks

机译：Towards a Formal Validation of a Hybrid Multi-Agent Routing Protocol for Ad hoc Networks

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相关主题

摘要

In our previous papers, a new Ant Routing Protocol for Ad-hoc Networks inspired from ant colony optimization was presented. We introduced a new approach which decreases both of nodes energy consumption and routing overhead within the network. The validation of our routing protocol was based on series of simulation. The results show that our new algorithm provides a significant improvement compared to other protocols. After the algorithm is defined and published, we have found important to validate formally each one of its components in order to avoid any conflict, lack or misbehaving situations. This process requires in a first step a formal specification. This is our main concern in this paper where we propose in a first part a formal specification using inference systems based on logical rules. A formal validation using these inference systems is proposed in a second step in order to prove the correctness, the soundness, the completeness and the optimality of the proposition.

著录项

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号