Search
Now showing items 31-40 of 40
The Role of Discretion from the Perspective of Social Work Professionalism and Automated Decision Making
(2022)
This article addresses the gap in knowledge about how new digital technology affects decision making and social caseworkers’ professionalism. The aim is to enhance the understanding of how digital discretion—as a result ...
Pre-deployment Description Logic-based Reasoning for Cloud Infrastructure Security
(2022-05-25)
Ensuring the security of a cloud application is exceptionally challenging. Not only is cloud infrastructure inherently complex, but also a precise definition of what is secure is hard to give. Business context, regulatory ...
Making sense of sensing: Learning through Maker-based Civic Engagement
(2022-03-02)
In the last decade or two, initiatives engaging the public in scientific activities have become increasingly popular. For example, in air pollution monitoring with Do-it-Yourself (DIY) low-cost sensors. It is a relatively ...
AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification
(International Conference on Runtime Verification, 2022)
Aspect-oriented programming tools aim to provide increased code modularity by enabling programming of cross-cutting concerns separate from the main body of code. Since the inception of runtime verification, aspect-oriented ...
On the Specification and Monitoring of Timed Normative Systems
(2022)
In this article we explore different issues and design choices that arise when considering how to fully embrace timed aspects in the formalisation of normative systems, e.g., by using deontic modalities, looking primarily ...
Model Checking Reconfigurable Interacting Systems
(International Symposium on Leveraging Applications of Formal Methods, 2022)
Reconfigurable multi-agent systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic interaction. Agents seemingly reconfigure their interactions interfaces by forming ...
Runtime Verification meets Controller Synthesis
(2022)
Reactive synthesis guarantees correct-by-construction controllers from logical specifications, but is costly—2EXPTIME-complete in the size of the specification. In a practical setting, the desired controllers need to ...
A Survey on Satisfiability Checking for the μ -Calculus Through Tree Automata
(2022)
Algorithms for model checking and satisfiability of the modal μ -calculus start by converting formulas to alternating parity tree automata. Thus, model checking is reduced to checking acceptance by tree automata and ...
Användning av mobiltelefoner i den digitaliserade skolan: Elevers och lärares perspektiv
(2022-11-10)
På ett övergripande plan problematiserar avhandlingen skolans digitalisering och dess konsekvenser för både elevers och lärares skolvardag. Mer specifikt syftar avhandlingen till att fördjupa kunskapen om användningen av ...
R-CHECK: A Model Checker for Verifying Reconfigurable MAS
(AAMAS 2022, 2022)
Reconfigurable multi-agent systems consist of a set of autonomous
agents, with integrated interaction capabilities that feature opportunistic
interaction. Agents seemingly reconfigure their interactions
interfaces by ...