Viitteet 1-10 / 69
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 ...
Energy Aware Runtime Systems for Elastic Stream Processing Platforms
(Åbo Akademi - Åbo Akademi University, 2023-08-22)
Following an invariant growth in the required computational performance of processors, the multicore revolution started around 20 years ago. This revolution was mainly an answer to power dissipation constraints restricting ...
New Approach for Market Intelligence Using Artificial and Computational Intelligence
(Åbo Akademi - Åbo Akademi University, 2023-02-10)
Small and medium sized retailers are central to the private sector and a vital contributor to economic growth, but often they face enormous challenges in unleashing their full potential. Financial pitfalls, lack of adequate ...
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 ...
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 ...