Selaus asiasanan mukaan kokoelmassa Väitöskirjoja
Viitteet 1-20 / 28
-
A practice perspective on organizational implementation of information technology
TUCS Dissertations : 132 (Turku Centre for Computer Science (TUCS), 20.12.2010)Implementering av ett informationssystem ur en organisatorisk synvinkel initieras av en idé om ett system och avslutas då användningen av det inte längre kräver en medveten ansträngning. Ifall tolkningen av implementering ... -
Agent-based management systems for many-core platforms : rigorous design and efficient implementation
TUCS Dissertations : 196 (Turku Centre for Computer Science (TUCS), 05.06.2015)Due to various advantages such as flexibility, scalability and updatability, software intensive systems are increasingly embedded in everyday life. The constantly growing number of functions executed by these systems ... -
Applications of graph transformation in tools for domain-specific modeling languages
(Åbo Akademi - Åbo Akademi University, 17.06.2011)The use of domain-specific languages (DSLs) has been proposed as an approach to cost-e ectively develop families of software systems in a restricted application domain. Domain-specific languages in combination with the ... -
Computational models for and from biology : simple gene assembly and reaction systems
TUCS Dissertations : 205 (Turku Centre for Computer Science (TUCS), 06.11.2015)The advancement of science and technology makes it clear that no single perspective is any longer sufficient to describe the true nature of any phenomenon. That is why the interdisciplinary research is gaining more attention ... -
Computational Network Analytics for Applications in Biomedicine
(Åbo Akademi - Åbo Akademi University, 03.06.2022)Network medicine has recently emerged as a field of research focusing on the analysis of networks modelling complex biological systems, for a better understanding of diseases and corresponding treatment. Building on results ... -
Diagrammatic Languages and Formal Verification : A Tool-Based Approach
(Åbo Akademi - Åbo Akademi University, 02.09.2022)The importance of software correctness has been accentuated as a growing number of safety-critical systems have been developed relying on software operating these systems. One of the more prominent methods targeting the ... -
DIANA : Distributed and Safe Autonomous Navigation for a Swarm of Autonomous Vehicles
(Åbo Akademi University, 07.05.2021)The autonomous systems are typical examples of complex distributed cyber-physical systems (CPS). The main characteristics of such systems is the use of autonomous vehicles. They are increasingly used in various mission-critical ... -
Efficient and low-cost software defined radio on commodity hardware
TUCS Dissertations : 218 (Turku Centre for Computer Science (TUCS), 11.11.2016)As general purpose processors become faster, many signal processing functions that used to require special purpose hardware, are now feasible to perform in software. In wireless communications, this means we move towards ... -
Energy aware software for many-core systems
TUCS Dissertations : 208 (Turku Centre for Computer Science (TUCS), 11.12.2015)Many-core systems provide a great potential in application performance with the massively parallel structure. Such systems are currently being integrated into most parts of daily life from high-end server farms to desktop ... -
Formal Analysis of Network Routing Protocols
TUCS Dissertations : 242 (Turku Centre for Computer Science (TUCS), 23.08.2019)The use of wireless networks has been on the rise for some time now, from the ubiquitous smart phones and laptops in use everywhere, to sensor networks collecting large amounts of data. In this dissertation, we focus on ... -
Formal development and quantitative verification of dependable systems
TUCS Dissertations : 156 (Turku Centre for Computer Science (TUCS), 28.01.2013)Modern software-intensive systems are becoming increasingly complex. Yet we are observing the pervasive use of software in such critical infrastructures as transportation systems, healthcare, telecommunication, energy ... -
Formal development of resilient distributed systems
TUCS Dissertations : 203 (Turku Centre for Computer Science (TUCS), 02.10.2015)Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the ... -
Formal Model Refinement for Complex Biological Systems
(Åbo Akademi - Åbo Akademi University, 20.03.2020)There is a big interest in building large biological models and various approaches are being used for constructing such systems. Larger models are needed in system-level approaches (such as systems biology, systems medicine, ... -
Formal modelling for digital media distribution
TUCS Dissertations : 206 (Turku Centre for Computer Science (TUCS), 13.11.2015)Human beings have always strived to preserve their memories and spread their ideas. In the beginning this was always done through human interpretations, such as telling stories and creating sculptures. Later, technological ... -
Knowledge-lean Text Mining
TUCS Dissertations : 227 (Turku Centre for Computer Science (TUCS), 08.12.2017)This thesis explores the process of introducing text mining to new areas of application, which involves both defining appropriate types of analysis and often designing appropriate computational methods to support the ... -
Methods for construction and analysis of computational models in systems biology : applications to the modelling of the heat shock response and the self-assembly of intermediate filaments
TUCS Dissertations : 138 (Turku Centre for Computer Science (TUCS), 26.08.2011)Systems biology is a new, emerging and rapidly developing, multidisciplinary research field that aims to study biochemical and biological systems from a holistic perspective, with the goal of providing a comprehensive, ... -
Model-driven development and verification of fault tolerant systems
TUCS Dissertations : 223 (Turku Centre for Computer Science (TUCS), 24.05.2017)Dependability is an ability of a computer-based system to deliver services that can be justifiably trusted. There is a wide range of computer-based systems that provide services that are critical for our society, e.g., ... -
On the impact of rigorous approaches on the quality of development
TUCS Dissertations : 143 (Turku Centre for Computer Science (TUCS), 12.12.2011)Software systems are expanding and becoming increasingly present in everyday activities. The constantly evolving society demands that they deliver more functionality, are easy to use and work as expected. All these challenges ... -
Proactive management of video transcoding services
TUCS Dissertations : 222 (Turku Centre for Computer Science (TUCS), 04.05.2017)The consumption of digital video has tremendously increased in the last decade due to advances in information technology, computational capability and communication networks. Following that, video processing applications ... -
Qualitative Methods for Modeling Biochemical Systems and Datasets : The Logicome and the Reaction Systems Approaches
TUCS Dissertations : 229 (Turku Centre for Computer Science (TUCS), 12.02.2018)In our everyday life we use a number of complex systems that consist of many closely interconnected components. None of the individual components possess a property of the whole system but when they come together they give ...