Formal Specification and Validation of a Localized Algorithm for Segregation of Critical/Noncritical Nodes in MAHSNs

Timely segregation of critical/noncritical nodes is extremely crucial in mobile ad hoc and sensor networks. Most of the existing segregation schemes are centralized and require maintaining network wide information, which may not be feasible in large-scale dynamic networks. Moreover, these schemes la...

Full description

Saved in:
Bibliographic Details
Main Authors: Mohammed Alnuem, Nazir Ahmad Zafar, Muhammad Imran, Sana Ullah, Mahmoud Fayed
Format: Article
Language:English
Published: Wiley 2014-06-01
Series:International Journal of Distributed Sensor Networks
Online Access:https://doi.org/10.1155/2014/140973
Tags: Add Tag
No Tags, Be the first to tag this record!