Haku
Viitteet 31-40 / 70
Fraud detection in the banking sector : a multi-agent approach
(Turku Centre for Computer Science (TUCS), 2012-11-08)
Fraud is an increasing phenomenon as shown in many surveys carried out
by leading international consulting companies in the last years. Despite
the evolution of electronic payments and hacking techniques there is still ...
Applications of graph transformation in tools for domain-specific modeling languages
(Åbo Akademi - Åbo Akademi University, 2011-06-17)
The use of domain-specific languages (DSLs) has been proposed as an approach to cost-e ectively develop families of software systems in a restricted application domain.
Domain-specific languages in combination with the ...
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 ...
Towards increased productivity and quality in software development using agile, lean and collaborative approaches
(Turku Centre for Computer Science (TUCS), 2011-02-11)
Dagens programvaruindustri står inför alltmer komplicerade utmaningar i en värld där programvara är nästan allstädes närvarande i våra dagliga liv. Konsumenten vill ha produkter som är pålitliga, innovativa och rika i ...
Scheduling of guarded command based models
(Turku Centre for Computer Science (TUCS), 2012-12-10)
Formal methods provide a means of reasoning about computer programs
in order to prove correctness criteria. One subtype of formal methods is
based on the weakest precondition predicate transformer semantics and uses
guarded ...
Combining model-based testing and stepwise formal development
(Turku Centre for Computer Science (TUCS), 2010-10-04)
Towards combining interactive mobile TV and smart spaces : architectures, tools and application development
(Turku Centre for Computer Science (TUCS), 2013-02-15)
Technological developments in microprocessors and ICT landscape have made a shift to a new era where computing power is embedded in numerous small distributed objects and devices in our everyday lives. These small computing ...
On the impact of rigorous approaches on the quality of development
(Turku Centre for Computer Science (TUCS), 2011-12-12)
Software systems are expanding and becoming increasingly present in everyday activities. The constantly evolving society demands that they deliver more functionality, are easy to use and work as expected. All these challenges ...
Methods for construction and analysis of computational models in systems biology : applications to the modelling of the heat shock response and the self-assembly of intermediate filaments
(Turku Centre for Computer Science (TUCS), 2011-08-26)
Systems biology is a new, emerging and rapidly developing, multidisciplinary
research field that aims to study biochemical and biological systems from
a holistic perspective, with the goal of providing a comprehensive, ...
Scheduling dynamic dataflow graphs with model checking
(Turku Centre for Computer Science (TUCS), 2014-08-15)
With the shift towards many-core computer architectures, dataflow programming has been proposed as one potential solution for producing software that scales to a varying number of processor cores. Programming for parallel ...