{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,6]],"date-time":"2024-06-06T22:04:10Z","timestamp":1717711450937},"reference-count":31,"publisher":"SAGE Publications","issue":"6","license":[{"start":{"date-parts":[[2014,6,1]],"date-time":"2014-06-01T00:00:00Z","timestamp":1401580800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["International Journal of Distributed Sensor Networks"],"published-print":{"date-parts":[[2014,6,1]]},"abstract":"<jats:p> 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 lack rigorous validation and entirely rely on simulations. We present a localized algorithm for segregation of critical\/noncritical nodes (LASCNN) to the network connectivity. LASCNN establishes and maintains a k-hop connection list and marks a node as critical if its k-hop neighbours become disconnected without the node and noncritical otherwise. A noncritical node with more than one connection is marked as intermediate and leaf noncritical otherwise. We use both formal and nonformal techniques for verification and validation of functional and nonfunctional properties. First, we model MAHSN as a dynamic graph and transform LASCNN to equivalent formal specification using Z notation. After analysing and validating the specification through Z eves tool, we simulate LASCNN specification to quantitatively demonstrate its efficiency. Simulation experiments demonstrate that the performance of LASCNN is scalable and is quite competitive compared to centralized scheme with global information. The accuracy of LASCNN in determining critical nodes is 87% (1-hop) and 93% (2-hop) and of noncritical nodes the accuracy is 91% (1-hop) and 93% (2-hop). <\/jats:p>","DOI":"10.1155\/2014\/140973","type":"journal-article","created":{"date-parts":[[2014,6,9]],"date-time":"2014-06-09T21:12:25Z","timestamp":1402348345000},"page":"140973","update-policy":"http:\/\/dx.doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":24,"title":["Formal Specification and Validation of a Localized Algorithm for Segregation of Critical\/Noncritical Nodes in MAHSNs"],"prefix":"10.1177","volume":"10","author":[{"given":"Mohammed","family":"Alnuem","sequence":"first","affiliation":[{"name":"College of Computer and Information Sciences, King Saud University, Riyadh 11543, Saudi Arabia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nazir Ahmad","family":"Zafar","sequence":"additional","affiliation":[{"name":"Department of Computer Science, King Faisal University, Al-Hassa 31982, Saudi Arabia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad","family":"Imran","sequence":"additional","affiliation":[{"name":"College of Computer and Information Sciences, King Saud University, Riyadh 11543, Saudi Arabia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sana","family":"Ullah","sequence":"additional","affiliation":[{"name":"College of Computer and Information Sciences, King Saud University, Riyadh 11543, Saudi Arabia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mahmoud","family":"Fayed","sequence":"additional","affiliation":[{"name":"College of Computer and Information Sciences, King Saud University, Riyadh 11543, Saudi Arabia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2014,6,9]]},"reference":[{"key":"B1-2014-140973","volume-title":"The Z Notation: A Reference Manual","author":"Spivey J. M.","year":"1989"},{"key":"B2-2014-140973","doi-asserted-by":"publisher","DOI":"10.1109\/PCCC.2005.1460614"},{"key":"B3-2014-140973","volume-title":"Introduction to Graph Theory","author":"West D. B.","year":"2001","edition":"2"},{"key":"B4-2014-140973","volume-title":"A Friendly Introduction to Graph Theory","author":"Buckley F.","year":"2003"},{"key":"B5-2014-140973","doi-asserted-by":"publisher","DOI":"10.1002\/ett.4460110203"},{"key":"B6-2014-140973","first-page":"553","volume-title":"Proceedings of the 7th International Symposium on Computers and Communications (ISCC \u203202)","author":"Goyal D."},{"key":"B7-2014-140973","doi-asserted-by":"publisher","DOI":"10.1145\/1378191.1378213"},{"key":"B8-2014-140973","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2010.38"},{"key":"B9-2014-140973","first-page":"360","volume-title":"Proceedings of the 3rd Annual IFIP Mediterranean Ad Hoc Networking Workshop","author":"Jorgic M."},{"key":"B10-2014-140973","doi-asserted-by":"publisher","DOI":"10.1109\/ICICTA.2009.750"},{"key":"B11-2014-140973","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2009.03.012"},{"key":"B12-2014-140973","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.139"},{"key":"B13-2014-140973","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2011.2170849"},{"key":"B14-2014-140973","doi-asserted-by":"publisher","DOI":"10.1145\/1340771.1340776"},{"key":"B15-2014-140973","first-page":"489","volume-title":"Proceedings of the 1st Annual IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks (SECON \u203204)","author":"Ritter H."},{"key":"B16-2014-140973","first-page":"25","volume-title":"Proceedings of the 2nd Mediterranean Workshop on Ad-Hoc Networks","author":"Hauspie M."},{"key":"B17-2014-140973","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2004.16"},{"key":"B18-2014-140973","doi-asserted-by":"publisher","DOI":"10.1109\/SENSORCOMM.2007.4394952"},{"key":"B19-2014-140973","doi-asserted-by":"publisher","DOI":"10.1007\/s11235-008-9134-9"},{"key":"B20-2014-140973","doi-asserted-by":"publisher","DOI":"10.1186\/1687-1499-2012-347"},{"key":"B21-2014-140973","doi-asserted-by":"publisher","DOI":"10.1504\/IJCNDS.2013.054241"},{"key":"B22-2014-140973","volume-title":"Proceedings of the 19th Asia-Pacific Conference on Communications","author":"Haider N."},{"key":"B23-2014-140973","doi-asserted-by":"publisher","DOI":"10.1145\/1883612.1883614"},{"key":"B24-2014-140973","doi-asserted-by":"publisher","DOI":"10.1145\/1096166.1096174"},{"key":"B25-2014-140973","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.242"},{"key":"B26-2014-140973","volume-title":"Proceedings of the 3rd Asian Conference on Internet Engineering: Sustainable Internet (AINTEC \u203207)","author":"Ben Abdesslem F."},{"key":"B27-2014-140973","doi-asserted-by":"publisher","DOI":"10.3390\/s120911754"},{"key":"B28-2014-140973","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2007.10.031"},{"key":"B29-2014-140973","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.09.022"},{"key":"B30-2014-140973","doi-asserted-by":"publisher","DOI":"10.1155\/2013\/867903"},{"key":"B31-2014-140973","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2013.06.166"}],"container-title":["International Journal of Distributed Sensor Networks"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/journals.sagepub.com\/doi\/pdf\/10.1155\/2014\/140973","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/journals.sagepub.com\/doi\/full-xml\/10.1155\/2014\/140973","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/journals.sagepub.com\/doi\/pdf\/10.1155\/2014\/140973","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,16]],"date-time":"2021-05-16T20:41:55Z","timestamp":1621197715000},"score":1,"resource":{"primary":{"URL":"http:\/\/journals.sagepub.com\/doi\/10.1155\/2014\/140973"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,1]]},"references-count":31,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2014,6,1]]}},"alternative-id":["10.1155\/2014\/140973"],"URL":"https:\/\/doi.org\/10.1155\/2014\/140973","relation":{},"ISSN":["1550-1477","1550-1477"],"issn-type":[{"value":"1550-1477","type":"print"},{"value":"1550-1477","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,6,1]]}}}