Matches in SemOpenAlex for { <https://semopenalex.org/work/W2896419698> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W2896419698 endingPage "127" @default.
- W2896419698 startingPage "119" @default.
- W2896419698 abstract "Abstract Wireless Sensor Networks comprise of clusters of low-powered sensor nodes dispersed over a vast area, mostly in an unsupervised and remote environment, with inadequate computational and detection capabilities. The batteries of these sensor nodes are often small and irreplaceable, which limits the life span of a node. It is therefore essential to retain the node energy as long as possible, otherwise a large number of nodes would die at an early stage and the network would become dysfunctional. Numerous protocols are developed for the efficient energy utilization of a WSN. However, comparing the protocols on a common ground is a big challenge, which has traditionally been accomplished using simulations and other testing techniques. To cater for the limitations of these methods we propose to leverage upon the complete and sound nature of model checking i.e., a widely used formal method. For understanding our methodology, we have created a formal framework specifically to compare the LEACH protocol with its future extensions LEACH-C and LEACH-F. The proposed approach has been found to be quite effective in verifying safety, liveness and reachability properties under generalized topologies of networks. Based on our analysis results, we conclude that LEACH-F protocol is the most energy efficient among the other alternatives." @default.
- W2896419698 created "2018-10-26" @default.
- W2896419698 creator A5018672567 @default.
- W2896419698 creator A5032387330 @default.
- W2896419698 creator A5066768973 @default.
- W2896419698 creator A5071980554 @default.
- W2896419698 date "2019-02-01" @default.
- W2896419698 modified "2023-09-23" @default.
- W2896419698 title "Formal comparison of LEACH and its extensions" @default.
- W2896419698 cites W1979547295 @default.
- W2896419698 cites W2098642369 @default.
- W2896419698 cites W2115309705 @default.
- W2896419698 cites W2157317029 @default.
- W2896419698 cites W2773560364 @default.
- W2896419698 cites W2800776316 @default.
- W2896419698 cites W4296471858 @default.
- W2896419698 doi "https://doi.org/10.1016/j.csi.2018.10.001" @default.
- W2896419698 hasPublicationYear "2019" @default.
- W2896419698 type Work @default.
- W2896419698 sameAs 2896419698 @default.
- W2896419698 citedByCount "12" @default.
- W2896419698 countsByYear W28964196982019 @default.
- W2896419698 countsByYear W28964196982020 @default.
- W2896419698 countsByYear W28964196982021 @default.
- W2896419698 countsByYear W28964196982022 @default.
- W2896419698 countsByYear W28964196982023 @default.
- W2896419698 crossrefType "journal-article" @default.
- W2896419698 hasAuthorship W2896419698A5018672567 @default.
- W2896419698 hasAuthorship W2896419698A5032387330 @default.
- W2896419698 hasAuthorship W2896419698A5066768973 @default.
- W2896419698 hasAuthorship W2896419698A5071980554 @default.
- W2896419698 hasConcept C41008148 @default.
- W2896419698 hasConceptScore W2896419698C41008148 @default.
- W2896419698 hasLocation W28964196981 @default.
- W2896419698 hasOpenAccess W2896419698 @default.
- W2896419698 hasPrimaryLocation W28964196981 @default.
- W2896419698 hasRelatedWork W2093578348 @default.
- W2896419698 hasRelatedWork W2350741829 @default.
- W2896419698 hasRelatedWork W2358668433 @default.
- W2896419698 hasRelatedWork W2376932109 @default.
- W2896419698 hasRelatedWork W2382290278 @default.
- W2896419698 hasRelatedWork W2390279801 @default.
- W2896419698 hasRelatedWork W2748952813 @default.
- W2896419698 hasRelatedWork W2766271392 @default.
- W2896419698 hasRelatedWork W2899084033 @default.
- W2896419698 hasRelatedWork W3004735627 @default.
- W2896419698 hasVolume "62" @default.
- W2896419698 isParatext "false" @default.
- W2896419698 isRetracted "false" @default.
- W2896419698 magId "2896419698" @default.
- W2896419698 workType "article" @default.