Matches in SemOpenAlex for { <https://semopenalex.org/work/W2289832287> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2289832287 abstract "Recently the interest in wireless sensor and actor networks has increased tremendously. Although there has been significant improvement in WSANs, but still many challenges are needed to overcome the issues of critical applications. In most of the published work the focus is on the performance analysis of non-functional properties but correctness of the approach is still ignored which is very important in large and complex systems. This paper introduces an alternative approach for formal specification, implementation and analysis of the Partitioning Detection and Connectivity Restoration (PCR) algorithm in WSANs. We model WSAN as a dynamic graph and use VDM-SL to describe the formal specification of the algorithm. Invariants are used to validate the algorithm and pre and post conditions confirm the correctness of the operations. VDM-SL is a formal specification language used for implementation of software systems and to illustrate detailed level examination. The PCR algorithm specification is implemented, verified, validated and analyzed through the VDM-SL toolbox." @default.
- W2289832287 created "2016-06-24" @default.
- W2289832287 creator A5022909686 @default.
- W2289832287 creator A5031927335 @default.
- W2289832287 creator A5037290747 @default.
- W2289832287 date "2015-12-01" @default.
- W2289832287 modified "2023-09-27" @default.
- W2289832287 title "Implementing Partitioning Detection and Connectivity Restoration in WSAN Using VDM-SL" @default.
- W2289832287 cites W1502219062 @default.
- W2289832287 cites W1614816533 @default.
- W2289832287 cites W1893608329 @default.
- W2289832287 cites W2010485235 @default.
- W2289832287 cites W2011110827 @default.
- W2289832287 cites W2026761095 @default.
- W2289832287 cites W2068468554 @default.
- W2289832287 cites W2080555147 @default.
- W2289832287 cites W2131227675 @default.
- W2289832287 cites W214380483 @default.
- W2289832287 cites W2171995261 @default.
- W2289832287 cites W2172240968 @default.
- W2289832287 cites W3214471381 @default.
- W2289832287 cites W41808917 @default.
- W2289832287 cites W2462432045 @default.
- W2289832287 doi "https://doi.org/10.1109/fit.2015.10" @default.
- W2289832287 hasPublicationYear "2015" @default.
- W2289832287 type Work @default.
- W2289832287 sameAs 2289832287 @default.
- W2289832287 citedByCount "25" @default.
- W2289832287 countsByYear W22898322872015 @default.
- W2289832287 countsByYear W22898322872016 @default.
- W2289832287 countsByYear W22898322872017 @default.
- W2289832287 countsByYear W22898322872018 @default.
- W2289832287 countsByYear W22898322872019 @default.
- W2289832287 countsByYear W22898322872021 @default.
- W2289832287 crossrefType "proceedings-article" @default.
- W2289832287 hasAuthorship W2289832287A5022909686 @default.
- W2289832287 hasAuthorship W2289832287A5031927335 @default.
- W2289832287 hasAuthorship W2289832287A5037290747 @default.
- W2289832287 hasConcept C110251889 @default.
- W2289832287 hasConcept C111498074 @default.
- W2289832287 hasConcept C116253237 @default.
- W2289832287 hasConcept C120314980 @default.
- W2289832287 hasConcept C132525143 @default.
- W2289832287 hasConcept C199360897 @default.
- W2289832287 hasConcept C201677973 @default.
- W2289832287 hasConcept C24590314 @default.
- W2289832287 hasConcept C2777655017 @default.
- W2289832287 hasConcept C31258907 @default.
- W2289832287 hasConcept C41008148 @default.
- W2289832287 hasConcept C55439883 @default.
- W2289832287 hasConcept C75606506 @default.
- W2289832287 hasConcept C80444323 @default.
- W2289832287 hasConceptScore W2289832287C110251889 @default.
- W2289832287 hasConceptScore W2289832287C111498074 @default.
- W2289832287 hasConceptScore W2289832287C116253237 @default.
- W2289832287 hasConceptScore W2289832287C120314980 @default.
- W2289832287 hasConceptScore W2289832287C132525143 @default.
- W2289832287 hasConceptScore W2289832287C199360897 @default.
- W2289832287 hasConceptScore W2289832287C201677973 @default.
- W2289832287 hasConceptScore W2289832287C24590314 @default.
- W2289832287 hasConceptScore W2289832287C2777655017 @default.
- W2289832287 hasConceptScore W2289832287C31258907 @default.
- W2289832287 hasConceptScore W2289832287C41008148 @default.
- W2289832287 hasConceptScore W2289832287C55439883 @default.
- W2289832287 hasConceptScore W2289832287C75606506 @default.
- W2289832287 hasConceptScore W2289832287C80444323 @default.
- W2289832287 hasLocation W22898322871 @default.
- W2289832287 hasOpenAccess W2289832287 @default.
- W2289832287 hasPrimaryLocation W22898322871 @default.
- W2289832287 hasRelatedWork W1614816533 @default.
- W2289832287 hasRelatedWork W1905350582 @default.
- W2289832287 hasRelatedWork W1971475149 @default.
- W2289832287 hasRelatedWork W2011110827 @default.
- W2289832287 hasRelatedWork W2026761095 @default.
- W2289832287 hasRelatedWork W2029717794 @default.
- W2289832287 hasRelatedWork W2103482784 @default.
- W2289832287 hasRelatedWork W214380483 @default.
- W2289832287 hasRelatedWork W2285082194 @default.
- W2289832287 hasRelatedWork W2407942696 @default.
- W2289832287 hasRelatedWork W2533805347 @default.
- W2289832287 hasRelatedWork W2605401561 @default.
- W2289832287 hasRelatedWork W2611102307 @default.
- W2289832287 hasRelatedWork W2763135334 @default.
- W2289832287 hasRelatedWork W2784033495 @default.
- W2289832287 hasRelatedWork W2798895321 @default.
- W2289832287 hasRelatedWork W2805432486 @default.
- W2289832287 hasRelatedWork W2805849865 @default.
- W2289832287 hasRelatedWork W2847777968 @default.
- W2289832287 hasRelatedWork W3214471381 @default.
- W2289832287 isParatext "false" @default.
- W2289832287 isRetracted "false" @default.
- W2289832287 magId "2289832287" @default.
- W2289832287 workType "article" @default.