Matches in SemOpenAlex for { <https://semopenalex.org/work/W2894702014> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2894702014 abstract "Wireless Mesh Networks (WMNs) are self-organising and self-healing wireless networks that provide support for broadband communication without requiring fixed infrastructure. A determining factor for the performance and reliability of such networks is the routing protocols applied in these networks. Formal modelling and verification of routing protocols are challenging tasks, often skipped by protocol designers. Despite some commonality between different models of routing protocols that have been published, these models are often tailored to a specific protocol which precludes easily comparing models. This paper presents an adaptive, generic and reusable framework as well as crucial generic properties w.r.t. system requirements, to model and verify WMN routing protocols. In this way, protocol designers can adapt the generic models based on protocol specifications and verify routing protocols prior to implementation. This model uses Uppaal SMC to identify the main common components of routing protocols, capturing timing aspect of protocols, communication between nodes, probabilities of message loss and link breakage, etc." @default.
- W2894702014 created "2018-10-12" @default.
- W2894702014 creator A5015799790 @default.
- W2894702014 creator A5078049605 @default.
- W2894702014 date "2018-01-01" @default.
- W2894702014 modified "2023-10-06" @default.
- W2894702014 title "Adaptive Formal Framework for WMN Routing Protocols" @default.
- W2894702014 cites W1544634046 @default.
- W2894702014 cites W1579875050 @default.
- W2894702014 cites W1726896965 @default.
- W2894702014 cites W1936144616 @default.
- W2894702014 cites W1962072139 @default.
- W2894702014 cites W2006340882 @default.
- W2894702014 cites W2033871392 @default.
- W2894702014 cites W2101508170 @default.
- W2894702014 cites W2127106630 @default.
- W2894702014 cites W2155923096 @default.
- W2894702014 cites W2166423024 @default.
- W2894702014 cites W2179773454 @default.
- W2894702014 cites W2241470981 @default.
- W2894702014 cites W2573607322 @default.
- W2894702014 cites W2776518631 @default.
- W2894702014 cites W2964176225 @default.
- W2894702014 cites W3121942651 @default.
- W2894702014 cites W3124744922 @default.
- W2894702014 cites W3151759972 @default.
- W2894702014 doi "https://doi.org/10.1007/978-3-030-02146-7_9" @default.
- W2894702014 hasPublicationYear "2018" @default.
- W2894702014 type Work @default.
- W2894702014 sameAs 2894702014 @default.
- W2894702014 citedByCount "1" @default.
- W2894702014 countsByYear W28947020142020 @default.
- W2894702014 crossrefType "book-chapter" @default.
- W2894702014 hasAuthorship W2894702014A5015799790 @default.
- W2894702014 hasAuthorship W2894702014A5078049605 @default.
- W2894702014 hasConcept C104954878 @default.
- W2894702014 hasConcept C120314980 @default.
- W2894702014 hasConcept C12269588 @default.
- W2894702014 hasConcept C144674526 @default.
- W2894702014 hasConcept C189884158 @default.
- W2894702014 hasConcept C202385902 @default.
- W2894702014 hasConcept C31258907 @default.
- W2894702014 hasConcept C41008148 @default.
- W2894702014 hasConcept C52837422 @default.
- W2894702014 hasConcept C74172769 @default.
- W2894702014 hasConcept C87044965 @default.
- W2894702014 hasConcept C89305328 @default.
- W2894702014 hasConcept C9659607 @default.
- W2894702014 hasConceptScore W2894702014C104954878 @default.
- W2894702014 hasConceptScore W2894702014C120314980 @default.
- W2894702014 hasConceptScore W2894702014C12269588 @default.
- W2894702014 hasConceptScore W2894702014C144674526 @default.
- W2894702014 hasConceptScore W2894702014C189884158 @default.
- W2894702014 hasConceptScore W2894702014C202385902 @default.
- W2894702014 hasConceptScore W2894702014C31258907 @default.
- W2894702014 hasConceptScore W2894702014C41008148 @default.
- W2894702014 hasConceptScore W2894702014C52837422 @default.
- W2894702014 hasConceptScore W2894702014C74172769 @default.
- W2894702014 hasConceptScore W2894702014C87044965 @default.
- W2894702014 hasConceptScore W2894702014C89305328 @default.
- W2894702014 hasConceptScore W2894702014C9659607 @default.
- W2894702014 hasLocation W28947020141 @default.
- W2894702014 hasOpenAccess W2894702014 @default.
- W2894702014 hasPrimaryLocation W28947020141 @default.
- W2894702014 hasRelatedWork W1569022047 @default.
- W2894702014 hasRelatedWork W1596817454 @default.
- W2894702014 hasRelatedWork W1847240548 @default.
- W2894702014 hasRelatedWork W2010481933 @default.
- W2894702014 hasRelatedWork W2011079209 @default.
- W2894702014 hasRelatedWork W2082349930 @default.
- W2894702014 hasRelatedWork W2100168003 @default.
- W2894702014 hasRelatedWork W2116116615 @default.
- W2894702014 hasRelatedWork W2130880954 @default.
- W2894702014 hasRelatedWork W2139835332 @default.
- W2894702014 hasRelatedWork W2392211955 @default.
- W2894702014 hasRelatedWork W2770696408 @default.
- W2894702014 hasRelatedWork W2774385268 @default.
- W2894702014 hasRelatedWork W2900328814 @default.
- W2894702014 hasRelatedWork W2963766316 @default.
- W2894702014 hasRelatedWork W3125068651 @default.
- W2894702014 hasRelatedWork W3143635075 @default.
- W2894702014 hasRelatedWork W2167067630 @default.
- W2894702014 hasRelatedWork W2531163808 @default.
- W2894702014 hasRelatedWork W298028210 @default.
- W2894702014 isParatext "false" @default.
- W2894702014 isRetracted "false" @default.
- W2894702014 magId "2894702014" @default.
- W2894702014 workType "book-chapter" @default.