Performance Analysis of Multi-services Call Admission Control in Cellular Network Using Probabilistic Model Checking.
Sana YounèsMomtez BenmbarekPublished in: VECoS (2017)
Keyphrases
- model checking
- cellular networks
- call admission control
- mobile networks
- temporal logic
- wireless networks
- mobile users
- multimedia services
- base station
- blocking probability
- finite state
- quality of service
- web services
- mobile devices
- ad hoc networks
- resource management
- wifi
- wireless communication
- context aware
- multimedia content
- location information
- network access
- rfid tags
- mobile ip
- wireless sensor networks
- admission control
- artificial intelligence
- end users
- multi hop
- mobile ad hoc networks
- cloud computing
- routing problem
- computer networks