Search
Now showing items 21-30 of 40
Strategic Innovation Through Outsourcing – A Theoretical Review
(University of Gothenburg / Göteborgs universitet, 2022)
Competition in the Information Technology Outsourcing (ITO) and Business Process Outsourcing
(BPO) industry is increasingly moving from being motivated by cost savings towards strategic
benefits that service providers ...
Discretion, automated decision-making and public values: Background and test of an approach for unpacking human and technological agency
(2022)
This study aims to develop a theoretical and analytical approach for
studying discretion, automated decision-making (ADM) and the consequential
public values. This is achieved through our proposed approach, an overview ...
Automated replication of tuple spaces via static analysis
(2022)
Coordination languages for tuple spaces can offer significant advantages in the specification and implementation of distributed systems, but often do require manual programming effort to ensure consistency. We propose an ...
A PO Characterisation of Reconfiguration
(2022)
We consider partial order semantics of concurrent systems in which local reconfigurations may have global side effects. That is, local changes happening to an entity may block or unblock events relating to others, namely, ...
Facilitating Feature-Oriented Quality Assurance in Low-Maturity Variant-rich Systems
(2022-09-08)
Context: Many software systems exist in several variants customized for specific stakeholder requirements, such as different market segments or hardware constraints. This customization introduces a high level of complexity ...
Groupoid-Valued Presheaf Models of Univalent Type Theory
(2022-11-03)
One main goal of this thesis is to study constructive models of type theory with one univalent universe that interpret types by “presheaves” of groupoids.
A starting point is the fact that the groupoid model can be ...
Incorporating Monitors in Reactive Synthesis without Paying the Price
(19th International Symposium on Automated Technology for Verification and Analysis, 2021)
Temporal synthesis attempts to construct reactive programs
that satisfy a given declarative (LTL) formula. Practitioners have found
it challenging to work exclusively with declarative speci cations, and
have found ...
Actions over Core-closed Knowledge Bases
(2022)
We present new results on the application of semantic- and knowledge-based reasoning techniques to the analysis of cloud deployments. In particular, to the security of Infrastructure as Code configuration files, encoded ...
Modelling Flocks of Birds from the Bottom Up
(2022)
We argue that compositional specification based on formal languages can facilitate the modelling of, and reasoning about, sophisticated collective behaviour in many natural systems. One defines a system in terms of individual ...