Analytical Approach and Verification of a DiffServ-Based Priority Service.
Christos BourasAfrodite SevastiPublished in: HSNMC (2003)
Keyphrases
- differentiated services
- admission control
- end to end
- quality of service
- traffic engineering
- web services
- protocol specification
- service providers
- priority queue
- bandwidth allocation
- scheduling policies
- formal verification
- production system
- model checking
- management system
- service discovery
- information services
- service oriented
- resource reservation
- service level agreements
- congestion control
- service quality
- end users