Matches in SemOpenAlex for { <https://semopenalex.org/work/W2901415857> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2901415857 abstract "Energy efficiency in wireless sensor networks (WSN) is one of the most critical issue regardless of the target application. While scheduling sensors by partitions to preserve energy is a simple and intuitive approach in this context, it is also important to not compromise on the main performance requirements of the considered application. For mission-critical WSN applications, different quality of service (QoS) requirements on network performance have to be met. Besides, various assumptions, may effectively impact the sensing performance capabilities of the network. Nevertheless, most analysis techniques focus on the average performance values, and do not consider neither the targeted QoS requirements, nor the probabilistic feature of the algorithm. Based on the theorem proving approach, we first provide, in this paper, an accurate formal analysis of the network lifetime maximisation problem, under QoS constraints, for randomly-scheduled wireless sensor networks. After that, we tackle the higher-order-logic formalisation of the intrusion coverage intensity, for a modified version of the randomised scheduling, with more realistic assumptions for the intrusion object, in a two or three dimensional plane." @default.
- W2901415857 created "2018-11-29" @default.
- W2901415857 creator A5007159598 @default.
- W2901415857 creator A5019545456 @default.
- W2901415857 creator A5026522015 @default.
- W2901415857 creator A5066768973 @default.
- W2901415857 date "2018-01-01" @default.
- W2901415857 modified "2023-10-01" @default.
- W2901415857 title "Formal probabilistic performance verification of randomly-scheduled wireless sensor networks" @default.
- W2901415857 doi "https://doi.org/10.1504/ijccbs.2018.10017702" @default.
- W2901415857 hasPublicationYear "2018" @default.
- W2901415857 type Work @default.
- W2901415857 sameAs 2901415857 @default.
- W2901415857 citedByCount "0" @default.
- W2901415857 crossrefType "journal-article" @default.
- W2901415857 hasAuthorship W2901415857A5007159598 @default.
- W2901415857 hasAuthorship W2901415857A5019545456 @default.
- W2901415857 hasAuthorship W2901415857A5026522015 @default.
- W2901415857 hasAuthorship W2901415857A5066768973 @default.
- W2901415857 hasConcept C108037233 @default.
- W2901415857 hasConcept C120314980 @default.
- W2901415857 hasConcept C124101348 @default.
- W2901415857 hasConcept C126255220 @default.
- W2901415857 hasConcept C154945302 @default.
- W2901415857 hasConcept C206729178 @default.
- W2901415857 hasConcept C24590314 @default.
- W2901415857 hasConcept C31258907 @default.
- W2901415857 hasConcept C33923547 @default.
- W2901415857 hasConcept C35525427 @default.
- W2901415857 hasConcept C41008148 @default.
- W2901415857 hasConcept C49937458 @default.
- W2901415857 hasConcept C5119721 @default.
- W2901415857 hasConcept C555944384 @default.
- W2901415857 hasConcept C76155785 @default.
- W2901415857 hasConcept C79403827 @default.
- W2901415857 hasConceptScore W2901415857C108037233 @default.
- W2901415857 hasConceptScore W2901415857C120314980 @default.
- W2901415857 hasConceptScore W2901415857C124101348 @default.
- W2901415857 hasConceptScore W2901415857C126255220 @default.
- W2901415857 hasConceptScore W2901415857C154945302 @default.
- W2901415857 hasConceptScore W2901415857C206729178 @default.
- W2901415857 hasConceptScore W2901415857C24590314 @default.
- W2901415857 hasConceptScore W2901415857C31258907 @default.
- W2901415857 hasConceptScore W2901415857C33923547 @default.
- W2901415857 hasConceptScore W2901415857C35525427 @default.
- W2901415857 hasConceptScore W2901415857C41008148 @default.
- W2901415857 hasConceptScore W2901415857C49937458 @default.
- W2901415857 hasConceptScore W2901415857C5119721 @default.
- W2901415857 hasConceptScore W2901415857C555944384 @default.
- W2901415857 hasConceptScore W2901415857C76155785 @default.
- W2901415857 hasConceptScore W2901415857C79403827 @default.
- W2901415857 hasLocation W29014158571 @default.
- W2901415857 hasOpenAccess W2901415857 @default.
- W2901415857 hasPrimaryLocation W29014158571 @default.
- W2901415857 hasRelatedWork W117377109 @default.
- W2901415857 hasRelatedWork W1979479366 @default.
- W2901415857 hasRelatedWork W1983446091 @default.
- W2901415857 hasRelatedWork W1987553078 @default.
- W2901415857 hasRelatedWork W2012363032 @default.
- W2901415857 hasRelatedWork W2023327293 @default.
- W2901415857 hasRelatedWork W2029682627 @default.
- W2901415857 hasRelatedWork W2051205368 @default.
- W2901415857 hasRelatedWork W2166896295 @default.
- W2901415857 hasRelatedWork W2255018340 @default.
- W2901415857 hasRelatedWork W2287408654 @default.
- W2901415857 hasRelatedWork W2288489119 @default.
- W2901415857 hasRelatedWork W2542614407 @default.
- W2901415857 hasRelatedWork W2587786246 @default.
- W2901415857 hasRelatedWork W2591048960 @default.
- W2901415857 hasRelatedWork W2787619244 @default.
- W2901415857 hasRelatedWork W2798638266 @default.
- W2901415857 hasRelatedWork W3043503376 @default.
- W2901415857 hasRelatedWork W3201499603 @default.
- W2901415857 hasRelatedWork W2182024029 @default.
- W2901415857 isParatext "false" @default.
- W2901415857 isRetracted "false" @default.
- W2901415857 magId "2901415857" @default.
- W2901415857 workType "article" @default.