FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4280492866> ?p ?o ?g. }

• W4280492866 abstract "Abstract Wireless Sensor Networks (WSNs) are intrinsically energy-constrained networks. Researchers have proposed the integration of energy harvesting technologies into sensor nodes to overcome that constraint and provide a sustainable WSN. This paper presents a formal approach to model and evaluate the Green Carrier Sense Multiple Access with Collision Avoidance (GCSMA/CA) MAC protocol in Energy Harvesting WSNs. This approach exploits the Hierarchical Timed Coloured Petri Nets (HTCPNs) formal method to design the GCSMA/CA protocol with the CPN-Tools for evaluating the proposed models. In addition, both qualitative and quantitative verification of the proposed models is tackled in this research. Linear Temporal Logic is used to formalise qualitative properties, and quantitative properties are evaluated by exploiting the monitor technique in CPN-Tools. The presented approach focuses on particular properties (performance delay, waiting time, waiting time for an acknowledgement, energy consumption and throughput) that have been overlooked in most prior studies. Time and hierarchy are two crucial features of the modelling process that HTCPNs offer. The time aspect allows time constraints for the GCSMA/CA protocol to be specified. On the other hand, the hierarchy aspect simplifies the modelling process and creates a modular and manageable model." @default.
• W4280492866 created "2022-05-22" @default.
• W4280492866 creator A5049030366 @default.
• W4280492866 creator A5051081188 @default.
• W4280492866 creator A5052087453 @default.
• W4280492866 creator A5056662820 @default.
• W4280492866 creator A5091607776 @default.
• W4280492866 date "2022-05-17" @default.
• W4280492866 modified "2023-10-18" @default.
• W4280492866 title "A New Formal Approach for Performance Evaluation of Green MAC Protocol in Energy Harvesting WSNs" @default.
• W4280492866 doi "https://doi.org/10.21203/rs.3.rs-1506101/v1" @default.
• W4280492866 hasPublicationYear "2022" @default.
• W4280492866 type Work @default.
• W4280492866 citedByCount "0" @default.
• W4280492866 crossrefType "posted-content" @default.
• W4280492866 hasAuthorship W4280492866A5049030366 @default.
• W4280492866 hasAuthorship W4280492866A5051081188 @default.
• W4280492866 hasAuthorship W4280492866A5052087453 @default.
• W4280492866 hasAuthorship W4280492866A5056662820 @default.
• W4280492866 hasAuthorship W4280492866A5091607776 @default.
• W4280492866 hasBestOaLocation W42804928661 @default.
• W4280492866 hasConcept C101468663 @default.
• W4280492866 hasConcept C101518730 @default.
• W4280492866 hasConcept C105795698 @default.
• W4280492866 hasConcept C111919701 @default.
• W4280492866 hasConcept C115903868 @default.
• W4280492866 hasConcept C119599485 @default.
• W4280492866 hasConcept C120314980 @default.
• W4280492866 hasConcept C12269588 @default.
• W4280492866 hasConcept C127413603 @default.
• W4280492866 hasConcept C142724271 @default.
• W4280492866 hasConcept C149635348 @default.
• W4280492866 hasConcept C157764524 @default.
• W4280492866 hasConcept C162324750 @default.
• W4280492866 hasConcept C17744445 @default.
• W4280492866 hasConcept C186370098 @default.
• W4280492866 hasConcept C199539241 @default.
• W4280492866 hasConcept C204787440 @default.
• W4280492866 hasConcept C24590314 @default.
• W4280492866 hasConcept C2775907273 @default.
• W4280492866 hasConcept C2777880217 @default.
• W4280492866 hasConcept C2780165032 @default.
• W4280492866 hasConcept C2780385302 @default.
• W4280492866 hasConcept C31170391 @default.
• W4280492866 hasConcept C31258907 @default.
• W4280492866 hasConcept C33923547 @default.
• W4280492866 hasConcept C34447519 @default.
• W4280492866 hasConcept C38677869 @default.
• W4280492866 hasConcept C41008148 @default.
• W4280492866 hasConcept C555944384 @default.
• W4280492866 hasConcept C71924100 @default.
• W4280492866 hasConcept C75606506 @default.
• W4280492866 hasConcept C76155785 @default.
• W4280492866 hasConcept C98045186 @default.
• W4280492866 hasConceptScore W4280492866C101468663 @default.
• W4280492866 hasConceptScore W4280492866C101518730 @default.
• W4280492866 hasConceptScore W4280492866C105795698 @default.
• W4280492866 hasConceptScore W4280492866C111919701 @default.
• W4280492866 hasConceptScore W4280492866C115903868 @default.
• W4280492866 hasConceptScore W4280492866C119599485 @default.
• W4280492866 hasConceptScore W4280492866C120314980 @default.
• W4280492866 hasConceptScore W4280492866C12269588 @default.
• W4280492866 hasConceptScore W4280492866C127413603 @default.
• W4280492866 hasConceptScore W4280492866C142724271 @default.
• W4280492866 hasConceptScore W4280492866C149635348 @default.
• W4280492866 hasConceptScore W4280492866C157764524 @default.
• W4280492866 hasConceptScore W4280492866C162324750 @default.
• W4280492866 hasConceptScore W4280492866C17744445 @default.
• W4280492866 hasConceptScore W4280492866C186370098 @default.
• W4280492866 hasConceptScore W4280492866C199539241 @default.
• W4280492866 hasConceptScore W4280492866C204787440 @default.
• W4280492866 hasConceptScore W4280492866C24590314 @default.
• W4280492866 hasConceptScore W4280492866C2775907273 @default.
• W4280492866 hasConceptScore W4280492866C2777880217 @default.
• W4280492866 hasConceptScore W4280492866C2780165032 @default.
• W4280492866 hasConceptScore W4280492866C2780385302 @default.
• W4280492866 hasConceptScore W4280492866C31170391 @default.
• W4280492866 hasConceptScore W4280492866C31258907 @default.
• W4280492866 hasConceptScore W4280492866C33923547 @default.
• W4280492866 hasConceptScore W4280492866C34447519 @default.
• W4280492866 hasConceptScore W4280492866C38677869 @default.
• W4280492866 hasConceptScore W4280492866C41008148 @default.
• W4280492866 hasConceptScore W4280492866C555944384 @default.
• W4280492866 hasConceptScore W4280492866C71924100 @default.
• W4280492866 hasConceptScore W4280492866C75606506 @default.
• W4280492866 hasConceptScore W4280492866C76155785 @default.
• W4280492866 hasConceptScore W4280492866C98045186 @default.
• W4280492866 hasLocation W42804928661 @default.
• W4280492866 hasOpenAccess W4280492866 @default.
• W4280492866 hasPrimaryLocation W42804928661 @default.
• W4280492866 hasRelatedWork W1999194920 @default.
• W4280492866 hasRelatedWork W2082053910 @default.
• W4280492866 hasRelatedWork W2084787698 @default.
• W4280492866 hasRelatedWork W2140491841 @default.
• W4280492866 hasRelatedWork W2150437434 @default.
• W4280492866 hasRelatedWork W2213352718 @default.
• W4280492866 hasRelatedWork W2243699326 @default.
• W4280492866 hasRelatedWork W2360499777 @default.
• W4280492866 hasRelatedWork W2438047032 @default.
• W4280492866 hasRelatedWork W4206837030 @default.

• next