Matches in SemOpenAlex for { <https://semopenalex.org/work/W1822358571> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1822358571 endingPage "4715" @default.
- W1822358571 startingPage "4704" @default.
- W1822358571 abstract "Summary Network rOle‐based Routing Intelligent Algorithm is a novel routing algorithm for wireless sensor networks, which combine various effective techniques in order to reduce energy consumption and improve data routes. This algorithm uses role assignment for distributing tasks over the network nodes and fuzzy logic for making decisions. There is a clear need for the use of formal methods to validate the correctness of the protocols as well as performance and functionality prior to the deployment of such algorithms in a real environment. This paper presents a formal and rigorous study of Network rOle‐based Routing Intelligent Algorithm. Prioritised‐timed coloured petri nets (PTCPNs) have been chosen as an appropriate modelling language. In this way, PTCPNs have been used to describe complete and unambiguous specifications of system behaviour, whereas CPNTools is used to evaluate the correctness of the protocol using state space exploration and for performance evaluation using simulation. Copyright © 2015 John Wiley & Sons, Ltd." @default.
- W1822358571 created "2016-06-24" @default.
- W1822358571 creator A5015169894 @default.
- W1822358571 creator A5025830194 @default.
- W1822358571 creator A5036182493 @default.
- W1822358571 creator A5067657692 @default.
- W1822358571 date "2015-01-26" @default.
- W1822358571 modified "2023-10-18" @default.
- W1822358571 title "Petri nets-based model for the analysis of NORIA protocol" @default.
- W1822358571 cites W1505467759 @default.
- W1822358571 cites W1530155047 @default.
- W1822358571 cites W154294937 @default.
- W1822358571 cites W1936144616 @default.
- W1822358571 cites W1970990213 @default.
- W1822358571 cites W1975964775 @default.
- W1822358571 cites W1990328104 @default.
- W1822358571 cites W2042601303 @default.
- W1822358571 cites W2056441173 @default.
- W1822358571 cites W2061098321 @default.
- W1822358571 cites W2125489993 @default.
- W1822358571 cites W2128127992 @default.
- W1822358571 cites W2165200427 @default.
- W1822358571 cites W4249484115 @default.
- W1822358571 doi "https://doi.org/10.1002/cpe.3452" @default.
- W1822358571 hasPublicationYear "2015" @default.
- W1822358571 type Work @default.
- W1822358571 sameAs 1822358571 @default.
- W1822358571 citedByCount "6" @default.
- W1822358571 countsByYear W18223585712016 @default.
- W1822358571 countsByYear W18223585712017 @default.
- W1822358571 countsByYear W18223585712018 @default.
- W1822358571 countsByYear W18223585712019 @default.
- W1822358571 countsByYear W18223585712021 @default.
- W1822358571 crossrefType "journal-article" @default.
- W1822358571 hasAuthorship W1822358571A5015169894 @default.
- W1822358571 hasAuthorship W1822358571A5025830194 @default.
- W1822358571 hasAuthorship W1822358571A5036182493 @default.
- W1822358571 hasAuthorship W1822358571A5067657692 @default.
- W1822358571 hasConcept C104954878 @default.
- W1822358571 hasConcept C105795698 @default.
- W1822358571 hasConcept C11413529 @default.
- W1822358571 hasConcept C120314980 @default.
- W1822358571 hasConcept C142724271 @default.
- W1822358571 hasConcept C204787440 @default.
- W1822358571 hasConcept C2780385302 @default.
- W1822358571 hasConcept C31258907 @default.
- W1822358571 hasConcept C33923547 @default.
- W1822358571 hasConcept C38677869 @default.
- W1822358571 hasConcept C41008148 @default.
- W1822358571 hasConcept C55439883 @default.
- W1822358571 hasConcept C71924100 @default.
- W1822358571 hasConcept C72434380 @default.
- W1822358571 hasConcept C74172769 @default.
- W1822358571 hasConceptScore W1822358571C104954878 @default.
- W1822358571 hasConceptScore W1822358571C105795698 @default.
- W1822358571 hasConceptScore W1822358571C11413529 @default.
- W1822358571 hasConceptScore W1822358571C120314980 @default.
- W1822358571 hasConceptScore W1822358571C142724271 @default.
- W1822358571 hasConceptScore W1822358571C204787440 @default.
- W1822358571 hasConceptScore W1822358571C2780385302 @default.
- W1822358571 hasConceptScore W1822358571C31258907 @default.
- W1822358571 hasConceptScore W1822358571C33923547 @default.
- W1822358571 hasConceptScore W1822358571C38677869 @default.
- W1822358571 hasConceptScore W1822358571C41008148 @default.
- W1822358571 hasConceptScore W1822358571C55439883 @default.
- W1822358571 hasConceptScore W1822358571C71924100 @default.
- W1822358571 hasConceptScore W1822358571C72434380 @default.
- W1822358571 hasConceptScore W1822358571C74172769 @default.
- W1822358571 hasIssue "17" @default.
- W1822358571 hasLocation W18223585711 @default.
- W1822358571 hasOpenAccess W1822358571 @default.
- W1822358571 hasPrimaryLocation W18223585711 @default.
- W1822358571 hasRelatedWork W1516169988 @default.
- W1822358571 hasRelatedWork W1583271986 @default.
- W1822358571 hasRelatedWork W1589608580 @default.
- W1822358571 hasRelatedWork W2024218563 @default.
- W1822358571 hasRelatedWork W2064946650 @default.
- W1822358571 hasRelatedWork W2368782494 @default.
- W1822358571 hasRelatedWork W2386605287 @default.
- W1822358571 hasRelatedWork W2489116208 @default.
- W1822358571 hasRelatedWork W2912813000 @default.
- W1822358571 hasRelatedWork W4243553186 @default.
- W1822358571 hasVolume "27" @default.
- W1822358571 isParatext "false" @default.
- W1822358571 isRetracted "false" @default.
- W1822358571 magId "1822358571" @default.
- W1822358571 workType "article" @default.