Search
Now showing items 1-10 of 24
Workplace Learning in Interactive Service Work: Coming to Practice Differently in the Connected Service Encounter
(2022-01-14)
We increasingly live in a world where human and digital work and activities are intertwined in so-called digital networks, which implies changes to the skills demanded by human labour. Traditionally, the professional ...
Constraints of Digital Transformation
(2022-01-07)
Digital transformation is viewed as instrumental in coping with organizational and societal challenges. In the public sector, these challenges include diverse issues, such as demographic changes, constrained financial ...
Tainting in Smart Contracts: Combining Static and Runtime Verification
(Lecture Notes in Computer Science book series (LNCS,volume 13498), 2022)
Smart contracts exist immutably on blockchains, making their pre-deployment correctness essential. Moreover, they exist openly on blockchains—open for interaction with any other smart contract and offchain entity. Interaction, ...
Runtime Verification of Kotlin Coroutines
(2022)
Kotlin was introduced to Android as the recommended language for development. One of the unique functionalities of Kotlin is that of coroutines, which are lightweight tasks that can run concurrently inside threads. Programming ...
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, ...