• Knowledge management and Discovery for advanced Enterprise Knowledge Engineering 

      Novi, Daniele (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 ...
    • Logit dynamics for strategic games mixing time and metastability 

      Ferraioli, Diodato (Universita degli studi di Salerno, 2012-04-18)
      A complex system is generally de_ned as a system emerging from the interaction of several and di_erent components, each one with their properties and their goals, usually subject to external inuences. Nowadays, complex ...
    • Models and Algorithms for Some Covering Problems on Graphs 

      Silvestri, Selene (Universita degli studi di Salerno, 2016-05-12)
      Several real-life problems as well as problems of theoretical importance within the field of Operations Research are combinatorial in nature. Combinatorial Optimization deals with decision-making problems defined on a ...
    • Network anaomaly detection based on the observation of multi-scale traffic dynamics 

      Palmieri, Francesco (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 ...
    • New Insights on cryptographic hierarchical access control: models, schemes and analysis 

      Castiglione, Arcangelo (Universita degli studi di Salerno, 2016-05-24)
      Nowadays the current network-centric world has given rise to several security concerns regarding the access control management, which en- sures that only authorized users are given access to certain resources or tasks. ...
    • New methods, techniques and applications for sketch recognition 

      De Rosa, Mattia (Universita degli studi di Salerno, 2014-04-24)
      The use of diagrams is common in various disciplines. Typical examples include maps, line graphs, bar charts, engineering blueprints, architects’ sketches, hand drawn schematics, etc.. In general, diagrams can be ...
    • On the evolution of digital evidence: novel approaches for cyber investigation 

      De Maio, Giancarlo (Universita degli studi di Salerno, 2014-04-23)
      Nowadays Internet is the fulcrum of our world, and the World Wide Web is the key to access it. We develop relationships on social networks and entrust sensitive documents to online services. Desktop applications are being ...
    • On the verification of parametric and real-time systems 

      Di Giampaolo, Barbara (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 ...
    • Predicate encryption systems. No query left unanswered 

      Iovino, Vincenzo (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 ...
    • Secure End-to-End Communications in Mobile Networks 

      Petagna, Fabio (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 ...
    • Synthesis of recursive state machines from libraries of game modules 

      De Crescenzo, Ilaria (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 ...
    • Teamwork collaboration around simulation data in an industrial context 

      Pirozzi, Donato (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 ...
    • The Role of Distributed Computing in Big Data Science: Case Studies in Forensics and Bioinformatics 

      Roscigno, Gianluca (Universita degli studi di Salerno, 2016-05-24)
      The era of Big Data is leading the generation of large amounts of data, which require storage and analysis capabilities that can be only ad- dressed by distributed computing systems. To facilitate large-scale distributed ...
    • The value of privacy: concerns, attitudes, behaviors online, and information protection measures 

      Spinelli, Raffaele (Universita degli studi di Salerno, 2015-04-29)
      Most of our lives takes place on-line. Our on-line activities, affect directly or indirectly the way other people perceive us. One have to careful decide what to expose and what not. There are a lot of personal and ...