MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems.
Carlos Gustavo López PomboAgustín E. Martinez SuñéEmilio TuostoPublished in: CoRR (2023)
Keyphrases
- quality of service
- automated analysis
- qos requirements
- response time
- qos aware
- network conditions
- resource management
- application level
- web services
- expert systems
- distributed systems
- ip networks
- communication channels
- admission control
- qos routing
- management system
- end to end
- bandwidth allocation
- bandwidth utilization
- real time
- network resources
- sensor networks