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

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

Bibliographic Details
Main Authors:	Mohammed Alnuem, Nazir Ahmad Zafar, Muhammad Imran, Sana Ullah, Mahmoud Fayed
Format:	Article
Language:	English
Published:	Hindawi - SAGE Publishing 2014-06-01
Series:	International Journal of Distributed Sensor Networks
Online Access:	https://doi.org/10.1155/2014/140973

Similar Items

Formal Specification and Validation of a Hybrid Connectivity Restoration Algorithm for Wireless Sensor and Actor Networks
by: Nazir Ahmad Zafar, et al.
Published: (2012-08-01)

A local induced action for the noncritical string
by: Westra, W, et al.
Published: (2011)

A Hybrid and Secure Priority-Guaranteed MAC Protocol for Wireless Body Area Network
by: Sana Ullah, et al.
Published: (2014-02-01)

A Review of IEEE 802.15.6 MAC, PHY, and Security Specifications
by: Sana Ullah, et al.
Published: (2013-04-01)

Therapeutic anticoagulation with heparin in noncritically ill patients with Covid-19
by: Lawler, PR, et al.
Published: (2021)

A linear programming approach to maximize savings by stretching noncritical activities.
by: Khalaf, Wakas S., et al.
Published: (2010)

Hybrid subnet-based node failure recovery formal procedure in wireless sensor and actor networks
by: Hamra Afzaal, et al.
Published: (2017-04-01)

Study on electric spring control method considering noncritical load voltage constraint
by: Yixi Chen, et al.
Published: (2018-11-01)

Modeling And Formal Specification Of Air Traffic Control System Using Z Notation
by: Maryam Jamal, et al.
Published: (2007-12-01)

Key patient demographics shape innate immune topography in noncritical hypoxic COVID-19 pneumonia
by: Allison C. Billi, et al.
Published: (2023-08-01)

A Novel Reservation and Allocation Approach of Shared Parking Slots considering the Noncritical Aisle Space
by: Ke Huang, et al.
Published: (2023-01-01)

Efficient Second Harmonic Generation Of Blue-Violet Light In Noncritical Type-I Phase Matching
by: Achim A., et al.
Published: (2012-12-01)

Validating the Formal Specification of the THUNDERS Process
by: Vanessa Agredo-Delgado, et al.
Published: (2023-08-01)

Sex-Specific Total Testosterone and Dehydroepiandrosterone Sulfate Status in Noncritically Ill Hospitalized Patients with Coronavirus Disease 2019: A Cross-Sectional Study
by: Hurjahan Banu, et al.
Published: (2024-01-01)

Discovering Noncritical Organization: Statistical Mechanical, Information Theoretic, and Computational Views of Patterns in One-Dimensional Spin Systems
by: David P. Feldman, et al.
Published: (2022-09-01)

Appropriateness of proton pump inhibitors use in noncritically ill hospitalized children in a tertiary hospital in Saudi Arabia
by: Yousif A. Alosaily, et al.
Published: (2023-09-01)

Optimal systolic blood pressure in noncritically ill patients with acute kidney injury: A retrospective cohort study
by: Seon Ha Baek, et al.
Published: (2019-09-01)

Intravenous fluid therapy in the noncritically ill patient. Our experience at a tertiary care emergency department in Abu Dhabi
by: Bashar Elwir, et al.
Published: (2020-06-01)

Evaluation of an algorithm for intensive subcutaneous insulin therapy in noncritically ill hospitalised patients with hyperglycaemia in a randomised controlled trial
by: Robert Thomann, et al.
Published: (2013-06-01)

Human Factor of Formal Engineering Methods in Validating Requirement Specification
by: Fauziah, Zainuddin, et al.
Published: (2017)

Risk Factors of Venous Thromboembolism in Noncritically Ill Patients Hospitalized for Acute COVID-19 Pneumonia Receiving Prophylactic-Dose Anticoagulation
by: Francesco Poletto, et al.
Published: (2022-03-01)

Formal specification and design /
by: Feijs, L. M. G. (Loe M. G.), et al.
Published: (2005)

Formal specification of a specification library
by: Atreya, Sriram K
Published: (2005)

Micro-Segregation of Ethnic Minorities in Rome: Highlighting Specificities of National Groups in Micro-Segregated Areas
by: Massimiliano Crisci, et al.
Published: (2023-10-01)

The formal specification for competency requirements
by: Roslina, Mohd Sidek, et al.
Published: (2011)

An introduction to formal specification and Z /
by: 377490 Potter, Ben, et al.
Published: (1991)

[Modifications of centromeric cohesin for meiosis specific chromosome segregation].
by: Akiyoshi, B, et al.
Published: (2004)

Validation methods using formal techniques
by: Probert, P, et al.
Published: (1991)

On the validity of the division into formal and informal institutions
by: Izabela Ostoj
Published: (2019-03-01)

Formal Trust Specification in Service Workflows
by: Viriyasitavat, W, et al.
Published: (2015)

Formal Specifications for Packet Communication Systems
by: Ellis, David J.
Published: (2023)

Investigating the readability of formal specification languages
by: Zimmerman, Marc Kenton, 1975-
Published: (2013)

Formal Modeling of IoT and Drone-Based Forest Fire Detection and Counteraction System
by: Aqsa Tehseen, et al.
Published: (2021-12-01)

Efficient IoT-Based Formal Model for Vehicle-Life Interaction in VANETs Using VDM-SL
by: Sidra Iqbal, et al.
Published: (2022-01-01)

Disability-Specific Sporting Competitions and the UN CRPD: Segregation as Inclusion?
by: Rinke Beekman, et al.
Published: (2023-06-01)

Detectable Duration of Viable SARS-CoV-2, Total and Subgenomic SARS-CoV-2 RNA in Noncritically Ill COVID-19 Patients: a Prospective Cohort Study
by: Angsana Phuphuakrat, et al.
Published: (2022-06-01)

Screening of segregating F2 progenies and validation of DNA markers through bulk segregant analysis for phosphorous deficiency tolerance in rice
by: Y. C. Aluwihare, et al.
Published: (2016-09-01)

Formal Modelling and Validation of Rate−Adaptive Pacemakers
by: Kwiatkowska, M, et al.
Published: (2014)

Information systems validation using formal models
by: Azadeh Sarram, et al.
Published: (2014-03-01)

Validating an Approach to Formalize Use Cases with Ontologies
by: Rui Couto, et al.
Published: (2016-03-01)