A Formal Semantics for a Quality of Service Contract Language.
Christiano BragaFabricio ChalubAlexandre SztajnbergPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- quality of service
- formal semantics
- logical language
- formal language
- modelling language
- modeling language
- qos requirements
- response time
- service level agreements
- resource management
- admission control
- ip networks
- web services
- ad hoc networks
- resource utilization
- network resources
- qos routing
- real time
- service differentiation
- theorem prover
- first order logic
- bandwidth allocation
- multimedia services
- application level
- bandwidth utilization
- metamodel
- traffic engineering
- relational databases
- expert systems
- qos parameters
- database