Cerca
Items 21-30 di 37
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 ...
Beyond Pairwise Relationships: Modeling Real-world Dynamics Via High-order Networks
(Universita degli studi di Salerno, 2022-04-26)
Every single person, animal, or thing we can see in the world around us
is part of a broader collection of components that can spontaneously self-
organize to exhibit non-trivial global structures and behaviors at ...
Application of machine learning techniques to biological big data
(Universita degli studi di Salerno, 2022-05-10)
To date, has been the primary driver of global innovation, compet-
itiveness and cultural development. It is also a powerful engine
for creating new job opportunities, expanding market segments
and inspiring new ...
GeoVisual Analytics methods and techniques for territorial sustainable development
(Universita degli studi di Salerno, 2023-04-13)
In order to reduce poverty and improve people’s lives every-
where, territorial development must be sustainable. Data science
and analytics can offer fundamental contributions to it. More-
over, to achieve the 17 goals ...