Haku
Viitteet 1-10 / 29
Diagrammatic Languages and Formal Verification : A Tool-Based Approach
(Åbo Akademi - Åbo Akademi University, 2022-09-02)
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 ...
Formal Analysis of Network Routing Protocols
(Turku Centre for Computer Science (TUCS), 2019-08-23)
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 of resilient distributed systems
(Turku Centre for Computer Science (TUCS), 2015-10-02)
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 ...
Rigorous development of safety-critical systems
(Turku Centre for Computer Science (TUCS), 2015-03-05)
Nowadays, computer-based systems tend to become more complex and control increasingly critical functions affecting different areas of human activities. Failures of such systems might result in loss of human lives as well ...
Semantic and fuzzy modelling for human behaviour recognition in smart spaces : a case study on ambient assisted living.
(Turku Centre for Computer Science (TUCS), 2015-04-24)
Human activity recognition in everyday environments is a critical, but challenging task in Ambient Intelligence applications to achieve proper Ambient Assisted Living, and key challenges still remain to be dealt with to ...
Computational models for and from biology : simple gene assembly and reaction systems
(Turku Centre for Computer Science (TUCS), 2015-11-06)
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 ...
Teaching mathematics and programming : new approaches with empirical evaluation
(Turku Centre for Computer Science (TUCS), 2009-11-27)
Programming and mathematics are core areas of computer science (CS) and consequently also important parts of CS education. Introductory instruction in these two topics is, however, not without problems. Studies show that ...
Trustworthy context dependency in ubiquitous systems
(Turku Centre for Computer Science (TUCS), 2012-11-26)
The modern society is getting increasingly dependent on software applications.
These run on processors, use memory and account for controlling functionalities
that are often taken for granted. Typically, applications ...
Scalable algorithms for height field illumination
(Turku Centre for Computer Science (TUCS), 2014-04-11)
Global illumination algorithms are at the center of realistic image synthesis and account for non-trivial light transport and occlusion within scenes, such as indirect illumination, ambient occlusion, and environment ...
A practice perspective on organizational implementation of information technology
(Turku Centre for Computer Science (TUCS), 2010-12-20)
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 ...