Browsing IT Faculty / IT-fakulteten by Title
Now showing items 86-105 of 152
-
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 ... -
OPEN LEARNING IN LIFE SCIENCES – Studies of open educational resources in animal welfare and work-based learning in food science.
(2015-10-05)The aim of this thesis is to explore ways of organising and supporting open learning in food science, food quality and animal welfare at the boundary between society, the university and other academic institutions. Two ... -
Pedestrian Behavior Prediction Using Machine Learning Methods
(2024-11-14)Background: Accurate pedestrian behavior prediction is essential for reducing fatalities from pedestrian-vehicle collisions. Machine learning can support automated vehicles to better understand pedestrian behavior in complex ... -
PEER-PRODUCTION FOR COLLABORATION BETWEEN ACADEMICS AND PRACTITIONERS
(2011)The purpose of this article is to suggest commons-based peer-production as a form of work that can help bridge the gap between research and practice in LIS. The research design is based on two in-depth and longitudinal ... -
Phenomenal Fields Forever. - Instructed Action and Perception’s Work
(Routledge, 2023) -
Platformization: Digital Materiality at the Limits of Discourse
(2023-04-13)The digital platform has served us well as a metaphor for an imaginary ‘something’ made comprehensible through theories such as matchmaking, externalities, and network effects. But as much as metaphors and theories can ... -
Playing for Togetherness - Designing for Interaction Rituals through Gaming
(2012-04-11)can design facilitate togetherness through games? Seeing the outcomes of a successful interaction ritual – positive emotional energy and a sense of group solidarity – as the main components of the togetherness of games, ... -
Plug & Play? Stakeholders’ co-meaningmaking of gamification implementations in workplace learning environments
(2023-01-12)This dissertation discusses the implementation process of gamification in organisations’ workplace learning environments, focusing on four stakeholder groups: Administrators, Leaders, Providers and Users. These stakeholder ... -
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, ... -
Positive Persuasion - Designing enjoyable energy feedback experiences in the home
(2010-05-21)The world currently faces huge challenges in terms of our excessive use of energy. Energy conservation – a topic that has been on the agenda since the energy crisis in the 1970s – has for this reason once again become a ... -
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae
(2023)This paper presents ppLTLTT, a tool for translating pure-past linear temporal logic formulae into temporal testers in the form of automata. We show how ppLTLTT can be used to easily extend existing LTL-based tools, such ... -
Practical, Flexible programming with Information Flow Control
(2011-08-15)Mainstream mechanisms for protection of information security are not adequate. Most vulnerabilities today do not arise from deficiencies in network security or encryption mechanisms, but from software that fails to provide ... -
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 ... -
Proactive Software Complexity Assessment
(2017-10-16)Large software development companies primarily deliver value to their customers by continuously enhancing the functionality of their products. Continuously developing software for customers insures the enduring success of ... -
Proceedings of the 2nd Workshop on Experiences and Empirical Studies in Software Modelling
(2012-09-28)The International Workshop on Experiences and Empirical Studies in Software Modelling (EESSMod) is a satellite event of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS), ... -
Proceedings of the 3rd Educators Symposium at MODELS
(2008-09-24) -
Proceedings of the 3rd Workshop on Quality in Modeling
(2009-01-15) -
A professional community goes online - a study of an online learning community in general medicine
(2010-05-12)The aim of the study is to investigate how an e-mailing list, organised and managed by a Swedish professional association of general medicine, functions as an online learning ommunity (OLC). In a contemporary networked society, ...