Reasoning about QoS Contracts in the Probabilistic Duration Calculus.
Dimitar P. GuelevDang Van HungPublished in: Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
- quality of service
- probabilistic knowledge
- web services
- qualitative spatial
- qualitative spatial reasoning
- ad hoc networks
- supply chain
- response time
- generative model
- probabilistic model
- uncertain data
- resource management
- qualitative reasoning
- real time
- bayesian networks
- probabilistic logic
- moral hazard
- belief networks
- formal theory
- application level
- ip networks
- probabilistic reasoning
- posterior probability
- decision making