Browsing IT Faculty / IT-fakulteten by Title
Now showing items 35-54 of 154
-
Digital Innovation in the Value Networks of Newspapers
(2009-09-04)After decades of digital developments, we are now entering a truly digital era. Digital information and communication technology has become a naturally embedded part of the designed environment we live in. Most parts of ... -
Digital Innovation: Orchestrating Network Activities
(2015-09-04)Digitization of analogue everyday artifacts, i.e. when physical products are equipped with digital capabilities, has a profound impact on today’s society. Some examples of these digital innovations aimed at consumer markets ... -
Digital Safe Spaces
(2024-12-13)In today’s interconnected world, digital spaces have become essential arenas for social interaction, self-expression, and community building. Among these, the concept of digital safe spaces has gained prominence, providing ... -
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 ... -
Disruptive technology : effects of technology regulation on democracy
(2006)This work develops the thesis that there is a strong relationship between the regulation of disruptive technology and the Internet-based participatory democracy. In other words, attempts to regulate disruptive technology ... -
Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology
(2024)We study how to distribute trace languages in a setting where processes communicate via reconfigurable communication channels. That is, the different processes can connect and disconnect from channels at run time. We ... -
Effective SAT solving
(2008-10-02)A growing number of problem domains are successfully being tackled by SAT solvers. This thesis contributes to that trend by pushing the state-of-the-art of core SAT algorithms and their implementation, but also in several ... -
Efficiency and Automation in Threat Analysis of Software Systems
(2020-12-04)Context: Security is a growing concern in many organizations. Industries developing software systems plan for security early-on to minimize expensive code refactorings after deployment. In the design phase, teams of experts ... -
Empowering Empirical Research in Software Design: Construction and Studies on a Large-Scale Corpus of UML Models
(2019-09-18)Context: In modern software development, software modeling is considered to be an essential part of the software architecture and design activities. The Unified Modeling Language (UML) has become the de facto standard for ... -
Enacting ambidextrous IT governance in healthcare
(2020-05-20)With digitalization, Information Technology (IT) has become an integral part of digital business strategies and future solutions and this calls for organizations to prioritize the governance of IT if they are to succeed ... -
Enhancing Requirements Engineering Practices Using Large Language Models
(2024)Background: Large Language Models (LLMs) offer users natural language interaction, technical insights and task automation capabilities. However, the systematic integration of LLMs within Requirements Engineering ... -
Evaluating as designing. Towards a Balanced IT investements Approach
(2011-02-25)The evaluation of information technology (IT) investments continues to present challenges to many organizations. While the emergence of new technologies complicates this activity, business value from IT typically resides ... -
EXPERIENCES OF SPEAKING WITH CONVERSATIONAL AI IN LANGUAGE EDUCATION
(2023-08-17)This thesis explores the application of digital tools in Swedish language education, specifically in relation to speaking skills. It focuses on dialogue- based, computer-assisted language learning, which enables students ... -
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 ... -
Factors influencing reuse and speed in three organizations
(2012-05-29) -
Fair Omega-regular Games
(27th International Conference on Foundations of Software Science and Computation Structures, 2024)We consider two-player games over finite graphs in which both players are restricted by fairness constraints on their moves. Given a two player game graph G=(V,E) and a set of fair moves E_f a subset of E a player is said ... -
Faster and Smaller Solutions of Obliging Games
(35th International Conference on Concurrency Theory (CONCUR 2024), 2024)Obliging games have been introduced in the context of the game perspective on reactive synthesis in order to enforce a degree of cooperation between the to-be-synthesized system and the environment. Previous approaches to ... -
Faster Game Solving by Fixpoint Acceleration
(2024)We propose a method for solving parity games with acyclic (DAG) sub-structures by computing nested fixpoints of a DAG attractor function that lives over the non-DAG parts of the game, thereby restricting the domain of the ... -
Formal Methods for Testing Grammars
(2019-02-15)Grammar engineering has a lot in common with software engineering. Analogous to a program specification, we use descriptive grammar books; in place of unit tests, we have gold standard corpora and test cases for manual ... -
Formalizing Refinements and Constructive Algebra in Type Theory
(2014-11-21)The extensive use of computers in mathematics and engineering has led to an increased demand for reliability in the implementation of algorithms in computer algebra systems. One way to increase the reliability is to formally ...