Probabilistic Bisimulation for Realistic Schedulers.
Christian EisentrautJens Chr. GodskesenHolger HermannsLei SongLijun ZhangPublished in: FM (2015)
Keyphrases
- probabilistic model
- real life
- conditional probabilities
- generative model
- databases
- probabilistic logic
- uncertain data
- real world
- real time
- relational databases
- rough sets
- data driven
- digital libraries
- information theoretic
- case study
- posterior probability
- scheduling algorithm
- context sensitive
- probability theory
- probabilistic networks
- probabilistic relational