Formal specification of the epsilon serializibility considering quality of service.
Pedro Fernandes Ribeiro NetoMaria Ligia B. PerkusichAngelo PerkusichPublished in: SMC (2003)
Keyphrases
- formal specification
- quality of service
- qos requirements
- model checking
- response time
- ad hoc networks
- web services
- network resources
- resource management
- qos parameters
- admission control
- reverse engineering
- qos aware
- real time
- qos routing
- software components
- service selection
- bandwidth utilization
- video on demand
- resource utilization
- ip networks
- traffic engineering
- congestion control
- bandwidth allocation
- web services composition
- building blocks
- software engineering
- resource reservation