Haku
Viitteet 1-10 / 23
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 ...
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 ...
Formal development and quantitative verification of dependable systems
(Turku Centre for Computer Science (TUCS), 2013-01-28)
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 ...
Scaling up stepwise feature introduction to construction of large software systems
(Turku Centre for Computer Science (TUCS), 2013-08-22)
Developing software is a difficult and error-prone activity. Furthermore, the complexity of modern computer applications is significant. Hence,an organised approach to software construction is crucial.
Stepwise Feature ...