Performance Evaluation of Call Admission Control Strategy in Cloud Radio Access Network using Formal Methods.
Maroua IdiSana YounèsRiadh RobbanaPublished in: ICSOFT (2022)
Keyphrases
- control strategy
- formal methods
- access network
- mobile terminals
- wireless communication
- control system
- bandwidth allocation
- control algorithm
- cloud computing
- control strategies
- base station
- mathematical model
- cellular networks
- model checking
- control scheme
- allocation scheme
- fuzzy controller
- knowledge based systems
- artificial intelligence
- cognitive radio
- formal specification
- software engineering
- wireless networks
- communication networks
- computer simulation
- modeling language
- wireless systems
- quality of service