Haku
Viitteet 1-10 / 12
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 ...
How computer programmers work : understanding software development in practise
(Turku Centre for Computer Science (TUCS), 2015-06-12)
Hur arbetar en framgångsrik programmerare? Uppgifterna att programmera datorspel och att programmera industriella, säkerhetskritiska system verkar tämligen olika. Genom en noggrann empirisk undersökning jämför och kontrasterar ...
Formal modelling for digital media distribution
(Turku Centre for Computer Science (TUCS), 2015-11-13)
Human beings have always strived to preserve their memories and spread their ideas. In the beginning this was always done through human interpretations, such as telling stories and creating sculptures. Later, technological ...
Fuzzy real option analysis in patent related decision making and patent valuation
(Åbo Akademi - Åbo Akademi University, 2015-06-12)
The shift towards a knowledge-based economy has inevitably prompted the evolution of patent exploitation. Nowadays, patent is more than just a prevention tool for a company to block its competitors from developing rival ...
Agent-based management systems for many-core platforms : rigorous design and efficient implementation
(Turku Centre for Computer Science (TUCS), 2015-06-05)
Due to various advantages such as flexibility, scalability and updatability, software intensive systems are increasingly embedded in everyday life. The constantly growing number of functions executed by these systems ...
Model-based testing of software systems : functionality and performance
(Turku Centre for Computer Science (TUCS), 2015-09-04)
Software is a key component in many of our devices and products that we use every day. Most customers demand not only that their devices should function as expected but also that the software should be of high quality, ...
Quantitative refinement of reaction-based biomodels
(Turku Centre for Computer Science (TUCS), 2015-06-25)
In the field of molecular biology, scientists adopted for decades a reductionist perspective in their inquiries, being predominantly concerned with the intricate mechanistic details of subcellular regulatory systems. ...