Cargando…
Formal Specification and Validation of a Hybrid Connectivity Restoration Algorithm for Wireless Sensor and Actor Networks ()
Maintaining inter-actor connectivity is extremely crucial in mission-critical applications of Wireless Sensor and Actor Networks (WSANs), as actors have to quickly plan optimal coordinated responses to detected events. Failure of a critical actor partitions the inter-actor network into disjoint segm...
Autores principales: | Imran, Muhammad, Zafar, Nazir Ahmad |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
Molecular Diversity Preservation International (MDPI)
2012
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3478808/ http://dx.doi.org/10.3390/s120911754 |
Ejemplares similares
-
An Autonomous Connectivity Restoration Algorithm Based on Finite State Machine for Wireless Sensor-Actor Networks
por: Zhang, Ying, et al.
Publicado: (2018) -
Fault-Tolerant Algorithms for Connectivity Restoration in Wireless Sensor Networks
por: Zeng, Yali, et al.
Publicado: (2015) -
Efficient Actor Recovery Paradigm for Wireless Sensor and Actor Networks
por: Mahjoub, Reem K., et al.
Publicado: (2017) -
Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks
por: Martínez, Diego, et al.
Publicado: (2011) -
On Connectivity of Wireless Sensor Networks with Directional Antennas
por: Wang, Qiu, et al.
Publicado: (2017)