Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000514116> ?p ?o ?g. }
- W2000514116 endingPage "465" @default.
- W2000514116 startingPage "465" @default.
- W2000514116 abstract "The IEEE 802.11 standard for wireless local area network defines a power management algorithm for Independent Basic Service Set (IBSS). In the power management for IBSS, time is divided into Beacon Intervals (BIs) and each BI is divided into an Announcement Traffic Indication Message (ATIM) window and a data window. The stations that have successfully transmitted an ATIM frame within the ATIM window will compete to transmit a data frame in the data window. The rest of the stations go to sleep mode during the data window, thus saving power. The power management algorithm for IBSS mode, based on a randomised exponential backoff procedure, is defined in the IEEE 802.11 standard for wireless LANs. The probabilistic behaviour of the MAC mechanism enables us to design a probabilistic model suitable for model checking. This paper presents a finite state Markov Decision Process (MDP) and uses the tool PRISM to compute the performance of the IEEE 802.11 IBSS in PSM. A set of performance properties, such as expected delay and energy consumption, is specified as queries in the probabilistic temporal logic PCTL and computed using PRISM." @default.
- W2000514116 created "2016-06-24" @default.
- W2000514116 creator A5028219180 @default.
- W2000514116 creator A5053883070 @default.
- W2000514116 creator A5085273305 @default.
- W2000514116 date "2014-01-01" @default.
- W2000514116 modified "2023-09-27" @default.
- W2000514116 title "Probabilistic model checking of IEEE 802.11 IBSS power save mode" @default.
- W2000514116 cites W1266757872 @default.
- W2000514116 cites W1516256348 @default.
- W2000514116 cites W1516849933 @default.
- W2000514116 cites W1602205142 @default.
- W2000514116 cites W1806449990 @default.
- W2000514116 cites W1862398452 @default.
- W2000514116 cites W1988873236 @default.
- W2000514116 cites W2005998857 @default.
- W2000514116 cites W2009280542 @default.
- W2000514116 cites W2025687460 @default.
- W2000514116 cites W2057873236 @default.
- W2000514116 cites W2080339689 @default.
- W2000514116 cites W2101508170 @default.
- W2000514116 cites W2117189826 @default.
- W2000514116 cites W2133960122 @default.
- W2000514116 cites W2137013587 @default.
- W2000514116 cites W2140190779 @default.
- W2000514116 cites W2149453229 @default.
- W2000514116 cites W2152366026 @default.
- W2000514116 cites W2162598825 @default.
- W2000514116 cites W2503335238 @default.
- W2000514116 doi "https://doi.org/10.1504/ijwmc.2014.064818" @default.
- W2000514116 hasPublicationYear "2014" @default.
- W2000514116 type Work @default.
- W2000514116 sameAs 2000514116 @default.
- W2000514116 citedByCount "1" @default.
- W2000514116 countsByYear W20005141162016 @default.
- W2000514116 crossrefType "journal-article" @default.
- W2000514116 hasAuthorship W2000514116A5028219180 @default.
- W2000514116 hasAuthorship W2000514116A5053883070 @default.
- W2000514116 hasAuthorship W2000514116A5085273305 @default.
- W2000514116 hasConcept C108037233 @default.
- W2000514116 hasConcept C121332964 @default.
- W2000514116 hasConcept C126042441 @default.
- W2000514116 hasConcept C154945302 @default.
- W2000514116 hasConcept C163258240 @default.
- W2000514116 hasConcept C185298936 @default.
- W2000514116 hasConcept C2984118289 @default.
- W2000514116 hasConcept C31258907 @default.
- W2000514116 hasConcept C31910662 @default.
- W2000514116 hasConcept C41008148 @default.
- W2000514116 hasConcept C49937458 @default.
- W2000514116 hasConcept C508800617 @default.
- W2000514116 hasConcept C555944384 @default.
- W2000514116 hasConcept C57149124 @default.
- W2000514116 hasConcept C62520636 @default.
- W2000514116 hasConcept C76155785 @default.
- W2000514116 hasConcept C79403827 @default.
- W2000514116 hasConceptScore W2000514116C108037233 @default.
- W2000514116 hasConceptScore W2000514116C121332964 @default.
- W2000514116 hasConceptScore W2000514116C126042441 @default.
- W2000514116 hasConceptScore W2000514116C154945302 @default.
- W2000514116 hasConceptScore W2000514116C163258240 @default.
- W2000514116 hasConceptScore W2000514116C185298936 @default.
- W2000514116 hasConceptScore W2000514116C2984118289 @default.
- W2000514116 hasConceptScore W2000514116C31258907 @default.
- W2000514116 hasConceptScore W2000514116C31910662 @default.
- W2000514116 hasConceptScore W2000514116C41008148 @default.
- W2000514116 hasConceptScore W2000514116C49937458 @default.
- W2000514116 hasConceptScore W2000514116C508800617 @default.
- W2000514116 hasConceptScore W2000514116C555944384 @default.
- W2000514116 hasConceptScore W2000514116C57149124 @default.
- W2000514116 hasConceptScore W2000514116C62520636 @default.
- W2000514116 hasConceptScore W2000514116C76155785 @default.
- W2000514116 hasConceptScore W2000514116C79403827 @default.
- W2000514116 hasIssue "5" @default.
- W2000514116 hasLocation W20005141161 @default.
- W2000514116 hasOpenAccess W2000514116 @default.
- W2000514116 hasPrimaryLocation W20005141161 @default.
- W2000514116 hasRelatedWork W1510465502 @default.
- W2000514116 hasRelatedWork W1565937662 @default.
- W2000514116 hasRelatedWork W1821639044 @default.
- W2000514116 hasRelatedWork W1965584943 @default.
- W2000514116 hasRelatedWork W1982410547 @default.
- W2000514116 hasRelatedWork W1991720131 @default.
- W2000514116 hasRelatedWork W1998831444 @default.
- W2000514116 hasRelatedWork W2012870141 @default.
- W2000514116 hasRelatedWork W2048989160 @default.
- W2000514116 hasRelatedWork W2086672759 @default.
- W2000514116 hasRelatedWork W2107840853 @default.
- W2000514116 hasRelatedWork W2111503558 @default.
- W2000514116 hasRelatedWork W2117067413 @default.
- W2000514116 hasRelatedWork W2144255816 @default.
- W2000514116 hasRelatedWork W2152366026 @default.
- W2000514116 hasRelatedWork W2158738303 @default.
- W2000514116 hasRelatedWork W2373730641 @default.
- W2000514116 hasRelatedWork W2548490311 @default.
- W2000514116 hasRelatedWork W588747118 @default.
- W2000514116 hasRelatedWork W1000342674 @default.
- W2000514116 hasVolume "7" @default.