Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL@ETAPS 2019, Prague, Czech Republic, 7th April 2019. | 0 | 0.34 | 2019 |
On Probabilistic Application Compliance | 0 | 0.34 | 2016 |
Formal Modeling and Verification of Opportunity-enabled Risk Management | 0 | 0.34 | 2015 |
A Calculus for Trust and Reputation Systems. | 1 | 0.35 | 2014 |