Cerca
Items 21-27 di 27
Synthesis of recursive state machines from libraries of game modules
(Universita degli studi di Salerno, 2016-05-18)
This thesis is focused on synthesis. In formal veri cation synthesis can be
referred to the controller synthesis and the system synthesis. This work
combines both this area of research.
First we focus on synthesizing ...
Augmenting the Internet with a Trust Ecosystem for inter pares interactions
(Universita degli studi di Salerno, 2016-05-23)
The Internet is an extraordinary communications medium but it is not free from
problems that are limiting its potential further development. In this dissertation we
analyze and address some of the issues that make it an ...
Teamwork collaboration around simulation data in an industrial context
(Universita degli studi di Salerno, 2015-04-27)
Nowadays even more small, medium and large enterprises are world-wide and com-
pete on a global market. In order to face the new challenges, industries have multiple
co-located and geographically dispersed teams that ...
Efficient distributed load balancing for parallel algorithms
(Universita degli studi di Salerno, 2011-04-29)
With the advent of massive parallel processing technology, exploiting the power
offered by hundreds, or even thousands of processors is all but a trivial task.
Computing by using multi-processor, multi-core or many-core ...
Network anaomaly detection based on the observation of multi-scale traffic dynamics
(Universita degli studi di Salerno, 2012-03-03)
Con la sempre più rapida crescita in termini di dimensioni e complessità delle moderne
infrastrutture di rete, l’attività di individuazione e prevenzione di abusi e violazioni nell’uso di tali infrastrutture sta diventando ...
Knowledge management and Discovery for advanced Enterprise Knowledge Engineering
(Universita degli studi di Salerno, 2014-05-02)
The research work addresses mainly issues related to the adoption of models, methodologies and knowledge management tools that implement a pervasive use of the latest technologies in the area of Semantic Web for the ...
Designing usable mobile interfaces for spatial data
(Universita degli studi di Salerno, 2012-03-29)
This
dissertation
deals
mainly
with
the
discipline
of
Human-‐Computer
Interaction
(HCI),
with
particular
attention
on
the
role
that
it
plays
in
the
domain
of
modern
mobile
devices.
Mobile
dev ...