Matches in SemOpenAlex for { <https://semopenalex.org/work/W2137013587> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2137013587 abstract "The international standard IEEE 802.15.4 defines low-rate wireless personal area networks, a central communication infrastructure of pervasive computing. In order to avoid conflicts caused by multiple devices transmitting at the same time, it uses a contention resolution algorithm based on randomised exponential backoff that is similar to the ones used in IEEE 802.3 for Ethernet and IEEE 802.11 for Wireless LAN. We model the protocol using probabilistic timed automata, a formalism in which both nondeterministic and probabilistic choice can be represented. The probabilistic timed automaton is transformed into a finite-state Markov decision process via a property-preserving integral-time semantics. Using the probabilistic model checker PRISM, we verify correctness properties, compare different operation modes of the protocol, and analyse performance and accuracy of different model abstractions." @default.
- W2137013587 created "2016-06-24" @default.
- W2137013587 creator A5078125853 @default.
- W2137013587 date "2006-11-01" @default.
- W2137013587 modified "2023-09-26" @default.
- W2137013587 title "Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol" @default.
- W2137013587 cites W1499514499 @default.
- W2137013587 cites W1516849933 @default.
- W2137013587 cites W1830600668 @default.
- W2137013587 cites W1859458367 @default.
- W2137013587 cites W1903000972 @default.
- W2137013587 cites W1984719832 @default.
- W2137013587 cites W1988873236 @default.
- W2137013587 cites W2005998857 @default.
- W2137013587 cites W2009280542 @default.
- W2137013587 cites W2028827800 @default.
- W2137013587 cites W2047473202 @default.
- W2137013587 cites W2068486694 @default.
- W2137013587 cites W2101508170 @default.
- W2137013587 cites W2145444024 @default.
- W2137013587 cites W2159206367 @default.
- W2137013587 cites W2159389203 @default.
- W2137013587 cites W2165152989 @default.
- W2137013587 doi "https://doi.org/10.1109/isola.2006.34" @default.
- W2137013587 hasPublicationYear "2006" @default.
- W2137013587 type Work @default.
- W2137013587 sameAs 2137013587 @default.
- W2137013587 citedByCount "52" @default.
- W2137013587 countsByYear W21370135872012 @default.
- W2137013587 countsByYear W21370135872013 @default.
- W2137013587 countsByYear W21370135872014 @default.
- W2137013587 countsByYear W21370135872015 @default.
- W2137013587 countsByYear W21370135872016 @default.
- W2137013587 countsByYear W21370135872017 @default.
- W2137013587 countsByYear W21370135872018 @default.
- W2137013587 countsByYear W21370135872019 @default.
- W2137013587 countsByYear W21370135872020 @default.
- W2137013587 countsByYear W21370135872021 @default.
- W2137013587 crossrefType "proceedings-article" @default.
- W2137013587 hasAuthorship W2137013587A5078125853 @default.
- W2137013587 hasBestOaLocation W21370135872 @default.
- W2137013587 hasConcept C108037233 @default.
- W2137013587 hasConcept C120314980 @default.
- W2137013587 hasConcept C154945302 @default.
- W2137013587 hasConcept C176181172 @default.
- W2137013587 hasConcept C31258907 @default.
- W2137013587 hasConcept C31533079 @default.
- W2137013587 hasConcept C31548570 @default.
- W2137013587 hasConcept C41008148 @default.
- W2137013587 hasConcept C49937458 @default.
- W2137013587 hasConcept C508800617 @default.
- W2137013587 hasConcept C5119721 @default.
- W2137013587 hasConcept C522090004 @default.
- W2137013587 hasConcept C555944384 @default.
- W2137013587 hasConcept C76155785 @default.
- W2137013587 hasConcept C80444323 @default.
- W2137013587 hasConcept C84035377 @default.
- W2137013587 hasConceptScore W2137013587C108037233 @default.
- W2137013587 hasConceptScore W2137013587C120314980 @default.
- W2137013587 hasConceptScore W2137013587C154945302 @default.
- W2137013587 hasConceptScore W2137013587C176181172 @default.
- W2137013587 hasConceptScore W2137013587C31258907 @default.
- W2137013587 hasConceptScore W2137013587C31533079 @default.
- W2137013587 hasConceptScore W2137013587C31548570 @default.
- W2137013587 hasConceptScore W2137013587C41008148 @default.
- W2137013587 hasConceptScore W2137013587C49937458 @default.
- W2137013587 hasConceptScore W2137013587C508800617 @default.
- W2137013587 hasConceptScore W2137013587C5119721 @default.
- W2137013587 hasConceptScore W2137013587C522090004 @default.
- W2137013587 hasConceptScore W2137013587C555944384 @default.
- W2137013587 hasConceptScore W2137013587C76155785 @default.
- W2137013587 hasConceptScore W2137013587C80444323 @default.
- W2137013587 hasConceptScore W2137013587C84035377 @default.
- W2137013587 hasLocation W21370135871 @default.
- W2137013587 hasLocation W21370135872 @default.
- W2137013587 hasLocation W21370135873 @default.
- W2137013587 hasLocation W21370135874 @default.
- W2137013587 hasOpenAccess W2137013587 @default.
- W2137013587 hasPrimaryLocation W21370135871 @default.
- W2137013587 hasRelatedWork W1589628654 @default.
- W2137013587 hasRelatedWork W1996621466 @default.
- W2137013587 hasRelatedWork W2059959750 @default.
- W2137013587 hasRelatedWork W2087216294 @default.
- W2137013587 hasRelatedWork W2116603519 @default.
- W2137013587 hasRelatedWork W2148616795 @default.
- W2137013587 hasRelatedWork W2157177042 @default.
- W2137013587 hasRelatedWork W2163786046 @default.
- W2137013587 hasRelatedWork W2164998482 @default.
- W2137013587 hasRelatedWork W2113781259 @default.
- W2137013587 isParatext "false" @default.
- W2137013587 isRetracted "false" @default.
- W2137013587 magId "2137013587" @default.
- W2137013587 workType "article" @default.