Cerca
Items 21-30 di 39
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 ...
On the Generalizations of Identity-Based Encryption
(Universita degli studi di Salerno, 2013-04-16)
Today public-key cryptographic is widely deployed and successfully used but still a major drawback
exists. In fact, from encrypted data a party can either decrypt or cannot learn anything at all about the
message other ...
Hybrid approaches based on computational intelligence and semantic web for distributed situation and context awareness
(Universita degli studi di Salerno, 2013-04-29)
The research work focuses on Situation Awareness and Context Awareness topics.
Specifically, Situation Awareness involves being aware of what is happening in the vicinity
to understand how information, events, and one’s ...
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 ...
Steganographic methods for information hiding in MS-Office files
(Universita degli studi di Salerno, 2013-04-20)
The simplest container of digital information is “the file" and among the vast array of files currently available, MS-Office files are probably the most widely used. These files, starting from MS-Office 2007, respect 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 ...
Virtual worlds for education: methodology, interaction and evaluation
(Universita degli studi di Salerno, 2014-05-20)
When students arrive in the classroom they expect to be involved in immersive, fun and challenging learning experiences. There is a high risk that they become quickly bored by the traditional instructional methods. The ...