Search
Now showing items 1-6 of 6
On the verification of parametric and real-time systems
(Universita degli studi di Salerno, 2011-05-06)
Parametric and Real-Time Systems play a central role in the theory underlying
the Verification and Synthesis problems.
Real-time systems are present everywhere and are used in safety critical
applications, such as flight ...
Applicazioni di interfacce aptiche e realtà aumentata in ambiti di manutenzione industriale, formazione, medicina e beni culturali
(Universita degli studi di Salerno, 2011-03-14)
La Realtà Virtuale farà ancora molti passi avanti nell’abbattimento dei tempi di calcolo e
nel perfezionamento del fotorealismo (con l’introduzione di hardware dedicati, con
software di modellazione sempre più sofisticati ...
Predicate encryption systems. No query left unanswered
(Universita degli studi di Salerno, 2011-05-09)
Predicate encryption is an important cryptographic primitive (see [7, 14, 28]) that enables
fine-grained control on the decryption keys. Let T be a class of binary predicates. Roughly speaking, in a predicate encryption ...
Discovering hidden structures in high
(Universita degli studi di Salerno, 2011-03-01)
Il grande volume di dati che viene attualmente collezionato nei vari campi di applicazione non può essere gestito usando le tecniche standard di data mining.
L’obiettivo principale del presente lavoro di tesi è quello ...
Secure End-to-End Communications in Mobile Networks
(Universita degli studi di Salerno, 2011-05-06)
Cellular communication has become an important part of our daily life.
Besides using cell phones for voice communication, we are now able to access
the Internet, conduct monetary transactions, send voice, video and ...
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 ...