Browsing Høgskulen på Vestlandet by Journals "Electronic Proceedings in Theoretical Computer Science"
Now showing items 1-3 of 3
-
Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approach
(Peer reviewed; Journal article, 2019)Service Level Agreements (SLA) are commonly used to specify the quality attributes between cloud service providers and the customers. A violation of SLAs can result in high penalties. To allow the analysis of SLA compliance ... -
On Distributed Runtime Verification by Aggregate Computing
(Journal article; Peer reviewed, 2019)Runtime verification is a computing analysis paradigm based on observing a system at runtime (to check its expected behaviour) by means of monitors generated from formal specifications. Distributed runtime verification is ... -
On Preemption and Overdetermination in Formal Theories of Causality
(Journal article; Peer reviewed, 2017)One of the key challenges when looking for the causes of a complex event is to determine the causal status of factors that are neither individually necessary nor individually sufficient to produce that event. In order to ...