A Formal Basis for Reasoning on Programmable QoS.
Rocco De NicolaGian Luigi FerrariUgo MontanariRosario PuglieseEmilio TuostoPublished in: Verification: Theory and Practice (2003)
Keyphrases
- quality of service
- formal models
- web services
- meta level
- knowledge base
- logical reasoning
- low cost
- mathematical theory
- real time
- general purpose
- formal model
- model based reasoning
- reasoning process
- reasoning systems
- neural network
- reasoning processes
- formal methods
- spatial reasoning
- knowledge representation
- reasoning tasks
- probabilistic reasoning
- user perceived