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:	SAGE Publishing 2014-06-01
Series:	International Journal of Distributed Sensor Networks
Online Access:	https://doi.org/10.1155/2014/140973

Similar Items

Validation of the Stanford Proxy Test for Delirium (S-PTD) among critical and noncritical patients
by: Albatili, A., et al.
Published: (2018)

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)

Dangers of Noncritical Use of Historical Plague Data
by: Joris Roosen, et al.
Published: (2018-01-01)

Hyperglycemia associated with parenteral nutrition in noncritical patients
by: Pérez-Cruz Elizabeth, et al.
Published: (2020-12-01)

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

Process analysis of critical versus noncritical events in therapy related to the client’s depth of experiencing
by: McCrea, Muriel
Published: (2010)

Nonperturbative effects in noncritical string theory and matrix models
by: Matsuo, Yoshinori
Published: (2011)

Venous Thromboembolism in Hospitalized Critical and Noncritical COVID-19 Patients: A Systematic Review and Meta-analysis
by: Eman M. Mansory, et al.
Published: (2021-07-01)

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

Telehealth for Noncritical Patients With Chronic Diseases During the COVID-19 Pandemic
by: Liu, Na, et al.
Published: (2020-08-01)

Parenteral Nutrition-Associated Hyperglycemia in Noncritically Ill Inpatients Is Associated with Higher Mortality
by: Sofia Sarkisian, et al.
Published: (2010-01-01)

Area law of noncritical ground states in 1D long-range interacting systems
by: Tomotaka Kuwahara, et al.
Published: (2020-09-01)

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

Role of the Bronchoalveolar Lavage in Noncritically Ill Patients during the SARS-CoV-2 Epidemic
by: Olivier Taton, et al.
Published: (2020-01-01)

Effect of informatization-based blood glucose team management on the control of hyperglycaemia in noncritical care units.
by: Ying Zhu, et al.
Published: (2020-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)

Assessing the Static and Dynamic Sensitivity of a Commercial Off-the-Shelf Multicore Processor for Noncritical Avionic Applications
by: Pablo F. Ramos, et al.
Published: (2018-01-01)

Formalization and Validation of Safety-Critical Requirements
by: Alessandro Cimatti, et al.
Published: (2010-03-01)

Algorithm and Formal Model of Recovering Network Connectivity in Battlefield Surveillance
by: Nazir Ahmad Zafar, et al.
Published: (2017-03-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)

Management of Glucose Control in Noncritically Ill, Hospitalized Patients Receiving Parenteral and/or Enteral Nutrition: A Systematic Review
by: Céline Isabelle Laesser, et al.
Published: (2019-06-01)

Correlation of venous lactate and time of death in emergency department patients with noncritical lactate levels and mortality from trauma
by: Ashika Jain, et al.
Published: (2017-01-01)

Formal Verification Techniques for Safety Critical Medical Device Software Control
by: Shuja, Sana
Published: (2016)

Outcomes in acute kidney injury in noncritically ill patients lately referred to nephrologist in a developing country: a comparison of AKIN and KDIGO criteria
by: Ginivaldo Victor Ribeiro do Nascimento, et al.
Published: (2020-03-01)

Formal Methods Applied to the Specification of an Active Network Node
by: Kong, Cindy
Published: (2001)

Segregation as a Source of Contextual Advantage: A Formal Theory with Application to American Cities
by: Lincoln Quillian
Published: (2017-02-01)

Application of architectural patterns and lightweight formal method for the validation and verification of safety critical systems
by: Karagiannakis, Vasileios
Published: (2013)

Impact of Node Deployment and Routing for Protection of Critical Infrastructures
by: Fazli Subhan, et al.
Published: (2019-01-01)

Formal Modeling of Greedy Nodes in 802.15.4 WSN
by: Youcef Hammal, et al.
Published: (2015-06-01)

Incremental Validation of Formal Specifications
by: Corwin, Paul S
Published: (2009)

Formal verification of translation validators
by: Tristan, Jean-Baptiste
Published: (2009)

Critical formalism or digital biomorphology. The contemporary architecture formal dilema
by: Beatriz Villanueva Cajide, et al.
Published: (2018-05-01)

Formal Axiology and Its Critics
Published: (2021)

Roger Fry and Formalism Criticism
by: Yuh-fang Lai, et al.

Formal Axiology and Its Critics
Published: (2021)

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

Formalism in Electronic Contracts
by: Salih Ahmad Mohammed Abtan
Published: (2005-09-01)

Improving TCP performance over heterogeneous networks : The investigation and design of End to End techniques for improving TCP performance for transmission errors over heterogeneous data networks.
by: Alnuem, M.A.
Published: (2009)

Identifying Influential Nodes in Complex Networks Based on Weighted Formal Concept Analysis
by: Zejun Sun, et al.
Published: (2017-01-01)

An Energy Efficient Simultaneous-Node Repositioning Algorithm for Mobile Sensor Networks
by: Muhammad Amir Khan, et al.
Published: (2014-01-01)