Haku
Viitteet 1-8 / 8
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 ...
Optimizing Stateful Serverless Computing
(Åbo Akademi University, 2021-05-28)
Stateful serverless computing is a new paradigm within cloud computing. It successfully incorporates state management with serverless computing. Serverless computing is a form of cloud computing where the servers necessary ...
DIANA : Distributed and Safe Autonomous Navigation for a Swarm of Autonomous Vehicles
(Åbo Akademi University, 2021-05-07)
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 ...
Predicting Risk and Return in Peer-to-Peer Lending with Machine Learning : A Decision Making Approach
(Åbo Akademi University, 2021-12-03)
Credit risk is one of the prominent risk types in the financial industry. It is the risk associated with lending money to borrowers, where the risk is the likelihood of not receiving back the money as a result of borrowers ...
Scalable Multicore Computing Using Dataflow and Task‐based Models
(Åbo Akademi University, 2021-11-26)
Most of modern digital electronic devices and systems rely nowadays on multicore processors, in order to deliver a growing list of added‐value features and services. In this way multicore architectures have been able to ...
Target Controllability of Cancer Networks
(Åbo Akademi University, 2020-06-12)
Advances in the field of complex networks theory and network biology pave a new way to define human health through the study of networks of proteins, genes, metabolites, modules across cell signaling pathways, and clinical ...
Model-based Verification and Testing of Web services : Functionality, Robustness and Vulnerability Analysis
(Åbo Akademi - Åbo Akademi University, 2020-04-04)
-
Formal Model Refinement for Complex Biological Systems
(Åbo Akademi - Åbo Akademi University, 2020-03-20)
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, ...