Modelling medium access control in IEEE 802.15.4 nonbeacon-enabled networks with probabilistic timed automata.
Tatjana KapusPublished in: Mob. Inf. Syst. (2013)
Keyphrases
- medium access control
- timed automata
- wireless local area networks
- cellular networks
- mac protocol
- wireless networks
- mac layer
- traffic load
- wireless ad hoc networks
- wireless communication
- model checking
- wireless channels
- mobile nodes
- power control
- ad hoc networks
- theorem prover
- multi channel
- network simulator
- access points
- quality of service
- wireless sensor networks
- network resources
- energy efficient
- artificial intelligence
- resource management
- video streaming
- theorem proving
- routing protocol
- first order logic
- network infrastructure
- cross layer
- mobile networks
- multipath
- end to end
- knowledge representation
- social networks