Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022774534> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2022774534 abstract "The inception of Wireless Sensor Actuator Networks from the existing Wireless Sensor Networks domain was motivated by the need to satisfy the requirements of automation applications. Automation applications cover a broad domain from industrial automation, home automation to automation in body area networks and have specific real-time requirements differing from each other depending on the criticality of the application. Given the complex nature of WSAN, efficient techniques are required to obtain error-free protocol designs. Formal specification languages like Coloured Petri Nets assist designers to capture this complexity. GinMAC is a Medium Access Control (MAC) protocol that aims at satisfying the real-time requirements laid down by the Wireless Sensor Actuator Networks applications. In this article, we provide a formal executable specification for the GinMAC protocol. With this formal executable model, we precisely capture the abstract features of this protocol and analyze it. Our formal executable model is platform independent and can be used as a basis for further analysis of the protocol or any protocol extensions that are made to this protocol. The platform independence allows us to convert this model to various other analysis tools including model checkers, network simulators, and hardware emulators." @default.
- W2022774534 created "2016-06-24" @default.
- W2022774534 creator A5005213951 @default.
- W2022774534 creator A5015675524 @default.
- W2022774534 creator A5031070452 @default.
- W2022774534 date "2013-11-01" @default.
- W2022774534 modified "2023-09-25" @default.
- W2022774534 title "A formal executable specification of the GinMAC protocol for Wireless Sensor Actuator Networks" @default.
- W2022774534 cites W1590036125 @default.
- W2022774534 cites W2004340723 @default.
- W2022774534 cites W2019663985 @default.
- W2022774534 cites W2041509965 @default.
- W2022774534 cites W2107951442 @default.
- W2022774534 cites W2109069777 @default.
- W2022774534 cites W2111075016 @default.
- W2022774534 cites W2125489993 @default.
- W2022774534 cites W2142340571 @default.
- W2022774534 cites W2163626018 @default.
- W2022774534 cites W2170063752 @default.
- W2022774534 cites W2408496257 @default.
- W2022774534 cites W2617721354 @default.
- W2022774534 doi "https://doi.org/10.1109/iswpc.2013.6707433" @default.
- W2022774534 hasPublicationYear "2013" @default.
- W2022774534 type Work @default.
- W2022774534 sameAs 2022774534 @default.
- W2022774534 citedByCount "1" @default.
- W2022774534 countsByYear W20227745342018 @default.
- W2022774534 crossrefType "proceedings-article" @default.
- W2022774534 hasAuthorship W2022774534A5005213951 @default.
- W2022774534 hasAuthorship W2022774534A5015675524 @default.
- W2022774534 hasAuthorship W2022774534A5031070452 @default.
- W2022774534 hasConcept C115901376 @default.
- W2022774534 hasConcept C115903868 @default.
- W2022774534 hasConcept C116253237 @default.
- W2022774534 hasConcept C120314980 @default.
- W2022774534 hasConcept C12269588 @default.
- W2022774534 hasConcept C127413603 @default.
- W2022774534 hasConcept C142724271 @default.
- W2022774534 hasConcept C149635348 @default.
- W2022774534 hasConcept C160145156 @default.
- W2022774534 hasConcept C199360897 @default.
- W2022774534 hasConcept C204787440 @default.
- W2022774534 hasConcept C24590314 @default.
- W2022774534 hasConcept C2780385302 @default.
- W2022774534 hasConcept C31258907 @default.
- W2022774534 hasConcept C38677869 @default.
- W2022774534 hasConcept C41008148 @default.
- W2022774534 hasConcept C71924100 @default.
- W2022774534 hasConcept C75606506 @default.
- W2022774534 hasConcept C78519656 @default.
- W2022774534 hasConceptScore W2022774534C115901376 @default.
- W2022774534 hasConceptScore W2022774534C115903868 @default.
- W2022774534 hasConceptScore W2022774534C116253237 @default.
- W2022774534 hasConceptScore W2022774534C120314980 @default.
- W2022774534 hasConceptScore W2022774534C12269588 @default.
- W2022774534 hasConceptScore W2022774534C127413603 @default.
- W2022774534 hasConceptScore W2022774534C142724271 @default.
- W2022774534 hasConceptScore W2022774534C149635348 @default.
- W2022774534 hasConceptScore W2022774534C160145156 @default.
- W2022774534 hasConceptScore W2022774534C199360897 @default.
- W2022774534 hasConceptScore W2022774534C204787440 @default.
- W2022774534 hasConceptScore W2022774534C24590314 @default.
- W2022774534 hasConceptScore W2022774534C2780385302 @default.
- W2022774534 hasConceptScore W2022774534C31258907 @default.
- W2022774534 hasConceptScore W2022774534C38677869 @default.
- W2022774534 hasConceptScore W2022774534C41008148 @default.
- W2022774534 hasConceptScore W2022774534C71924100 @default.
- W2022774534 hasConceptScore W2022774534C75606506 @default.
- W2022774534 hasConceptScore W2022774534C78519656 @default.
- W2022774534 hasLocation W20227745341 @default.
- W2022774534 hasOpenAccess W2022774534 @default.
- W2022774534 hasPrimaryLocation W20227745341 @default.
- W2022774534 hasRelatedWork W1495995296 @default.
- W2022774534 hasRelatedWork W1804898386 @default.
- W2022774534 hasRelatedWork W1970479496 @default.
- W2022774534 hasRelatedWork W2022227530 @default.
- W2022774534 hasRelatedWork W2022936828 @default.
- W2022774534 hasRelatedWork W2028091505 @default.
- W2022774534 hasRelatedWork W2035370505 @default.
- W2022774534 hasRelatedWork W2094616008 @default.
- W2022774534 hasRelatedWork W2128426131 @default.
- W2022774534 hasRelatedWork W2131875031 @default.
- W2022774534 hasRelatedWork W2169089798 @default.
- W2022774534 hasRelatedWork W2171100327 @default.
- W2022774534 hasRelatedWork W2181071223 @default.
- W2022774534 hasRelatedWork W2245340475 @default.
- W2022774534 hasRelatedWork W2536848439 @default.
- W2022774534 hasRelatedWork W2858695568 @default.
- W2022774534 hasRelatedWork W3138305974 @default.
- W2022774534 hasRelatedWork W3142713041 @default.
- W2022774534 hasRelatedWork W3534230 @default.
- W2022774534 hasRelatedWork W652500535 @default.
- W2022774534 isParatext "false" @default.
- W2022774534 isRetracted "false" @default.
- W2022774534 magId "2022774534" @default.
- W2022774534 workType "article" @default.