Matches in SemOpenAlex for { <https://semopenalex.org/work/W2135602015> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2135602015 endingPage "37" @default.
- W2135602015 startingPage "32" @default.
- W2135602015 abstract "communication among the mobile devices is the growing area of research. Ad hoc networks are created among them for exchanging information over the small distances. The distance among the devices uniquely determines the topology of these ad hoc networks. Bluetooth is a low-cost and low-power wireless technology used to form short-range wireless ad hoc networks. It is based on frequency hopping technique. In order to guarantee the accurate functioning and to verify the connectivity of the devices, there are numerous tools and techniques exits. Formal verification is one of the technique used to validate and verify the correctness of any protocol. Using the verification tool UPPAAL a Bluetooth ad hoc system is modeled to formally verify the device discovery mechanism. In the tool, an ad hoc network consisting of Bluetooth transmitter and receiver is designed using frequency hopping technique. The transmitter and receiver verified the properties in the tool. These properties are for checking the connectivity of transmitter and receiver and reception of data among them. The connectivity of transmitter and receiver is confirmed by verifying the receivers reply to the transmitter and data connectivity is verified by checking the energy level of receiver. From the simulation, it is found that the high energy level of receiver depicts the acceptance of data and the zero energy level depicts the non-acceptance of data. These results were verified using the verifier component of the tool and proved to be satisfied." @default.
- W2135602015 created "2016-06-24" @default.
- W2135602015 creator A5021287973 @default.
- W2135602015 creator A5022240667 @default.
- W2135602015 date "2012-11-15" @default.
- W2135602015 modified "2023-10-16" @default.
- W2135602015 title "Formal Verification of Device Discovery Mechanism using UPPAAL" @default.
- W2135602015 cites W1179868492 @default.
- W2135602015 cites W1962072139 @default.
- W2135602015 cites W1981586812 @default.
- W2135602015 cites W2020239492 @default.
- W2135602015 cites W2025687460 @default.
- W2135602015 cites W2055028069 @default.
- W2135602015 cites W2080294240 @default.
- W2135602015 cites W2113064953 @default.
- W2135602015 cites W2153770341 @default.
- W2135602015 cites W2580524869 @default.
- W2135602015 cites W75983416 @default.
- W2135602015 doi "https://doi.org/10.5120/9392-3816" @default.
- W2135602015 hasPublicationYear "2012" @default.
- W2135602015 type Work @default.
- W2135602015 sameAs 2135602015 @default.
- W2135602015 citedByCount "1" @default.
- W2135602015 countsByYear W21356020152020 @default.
- W2135602015 crossrefType "journal-article" @default.
- W2135602015 hasAuthorship W2135602015A5021287973 @default.
- W2135602015 hasAuthorship W2135602015A5022240667 @default.
- W2135602015 hasBestOaLocation W21356020151 @default.
- W2135602015 hasConcept C111472728 @default.
- W2135602015 hasConcept C138885662 @default.
- W2135602015 hasConcept C41008148 @default.
- W2135602015 hasConcept C89611455 @default.
- W2135602015 hasConceptScore W2135602015C111472728 @default.
- W2135602015 hasConceptScore W2135602015C138885662 @default.
- W2135602015 hasConceptScore W2135602015C41008148 @default.
- W2135602015 hasConceptScore W2135602015C89611455 @default.
- W2135602015 hasIssue "19" @default.
- W2135602015 hasLocation W21356020151 @default.
- W2135602015 hasLocation W21356020152 @default.
- W2135602015 hasOpenAccess W2135602015 @default.
- W2135602015 hasPrimaryLocation W21356020151 @default.
- W2135602015 hasRelatedWork W1987137857 @default.
- W2135602015 hasRelatedWork W2096946506 @default.
- W2135602015 hasRelatedWork W2350741829 @default.
- W2135602015 hasRelatedWork W2358668433 @default.
- W2135602015 hasRelatedWork W2376932109 @default.
- W2135602015 hasRelatedWork W2382290278 @default.
- W2135602015 hasRelatedWork W2382997850 @default.
- W2135602015 hasRelatedWork W2390279801 @default.
- W2135602015 hasRelatedWork W2748952813 @default.
- W2135602015 hasRelatedWork W2899084033 @default.
- W2135602015 hasVolume "58" @default.
- W2135602015 isParatext "false" @default.
- W2135602015 isRetracted "false" @default.
- W2135602015 magId "2135602015" @default.
- W2135602015 workType "article" @default.