A performance simulation and verification method of packet scheduling algorithms for data stream based on QoS.
Qiang WeiMing-xing LiuZheng LiangYu-ting ZhaoPublished in: Evol. Intell. (2024)
Keyphrases
- scheduling algorithm
- verification method
- qos requirements
- quality of service
- data streams
- medium access
- response time
- scheduling strategy
- model checking
- sliding window
- temporal logic
- resource management
- continuous queries
- packet scheduling
- resource requirements
- scheduling policies
- computational grids
- web services
- end to end
- ad hoc networks