research
∙
05/19/2022
Probabilistic Quality of Service aware Service Selection
In software-as-a-service paradigms software systems are no longer monoli...
share
research
∙
07/17/2021
A proof theoretic basis for relational semantics
Logic has proved essential for formally modeling software based systems....
research
∙
09/06/2020
