Haku
Viitteet 1-10 / 66
Performance Exploration and Testing of Web-based Software Systems
(Åbo Akademi University, 2020-12-07)
Modern society relies heavily on a wide range of inter-connected software systems for finance, energy distribution, communication, and transportation. The era of controlled communication in closed networks for limited ...
Validation of Data from Sensor Systems
(Åbo Akademi University, 2019)
The validation of data is a crucial part of managing data in an ever-growing world of sensors and data analysis. In the implementation of Internet of Things (IoT), the weight of the amount of data is felt as the bandwidth ...
A Compiler Approach to Map Algebra for Raster Spatial Modeling
(Turku Centre for Computer Science (TUCS), 2019-08-30)
Modeling and simulation enables the study of spatial phenomena that are otherwise impossible to reproduce in the physical world. On the one hand, digital models replicate the shape and state of the Earth with bits and bytes ...
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 ...
Servicescape for Digital Wellness Services for Young Elderly
(Åbo Akademi - Åbo Akademi University, 2018-12-14)
On advancing business intelligence in the electricity retail market
(Turku Centre for Computer Science (TUCS), 2014-09-30)
In recent decades, business intelligence (BI) has gained momentum in real-world practice. At the same time, business intelligence has evolved as an important research subject of Information Systems (IS) within the decision ...
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 ...