Formal proofs for QoS-oriented Transformations.

Published in: EDOC Workshops (2006)

Keyphrases

formal proofs
quality of service
web services
real time
web services composition
resource management
network conditions
application level
qos requirements
admission control
qos aware
artificial intelligence
service differentiation
user perceived