The Value of Converged IT Infrastructures

This paper analyzes the economic value of implementing converged systems based on different research conducted by analyst firm last year, in particular: Converged Infrastructure Platform in May 2014 and Trends in Private Cloud Infrastructure April. Particularly we discuss in first sections the value of converging solutions and the diffusion development of converged computing infrastructure. Finally we talk about the advantages of this solution with particular emphasis on management and economic aspect

Unicam Activity Framework (UAF)

This presentation illustrates the framework of processing performance of the faculty of the University of Camerino. The evaluation criteria are explained and the technological structure that allows automatic performance assessment available online anywhere and anytime. The designed framework is usually applied to the performance evaluation of staff working for Università di Camerino (ITALY). It has provided excellent results which were positively judged by those who underwent the assessment, who also found that it portrayed their work quite properly

Security-Oriented Formal Techniques

Security of software systems is a critical issue in a world where Information Technology is becoming more and more pervasive. The number of services for everyday life that are provided via electronic networks is rapidly increasing, as witnessed by the longer and longer list of words with the prefix "e", such as e-banking, e-commerce, e-government, where the "e" substantiates their electronic nature. These kinds of services usually require the exchange of sensible data and the sharing of computational resources, thus needing strong security requirements because of the relevance of the exchanged information and the very distributed and untrusted environment, the Internet, in which they operate. It is important, for example, to ensure the authenticity and the secrecy of the exchanged messages, to establish the identity of the involved entities, and to have guarantees that the different system components correctly interact, without violating the required global properties

Formal methods to improve public administration business processes

Starting from late 90’s the public administration has started to employ a quite relevant amount of its budget in develop ing ICT solutions to better deliver services to citizens. In spite of this effort many statistics show that the mere availability of ICT based services does not guarantee per se their usage. Citizens have continued to largely access services through “traditional” means. In our study we suggest that the highlighted situation is partly due to the fact that relevant domain dependent requirements, mainly related to the delivery process of e-government digital services, are often ignored in the development of e-government solutions. We provide here a domain related quality framework and encoded it in a set of formal statements, so that we can apply automatic verification techniques to assess and improve ICT solutions adopted by public administrations. The paper discusses both the defined quality framework and the tool chain we developed to enable automatic assessment of ICT solutions. The tool chain is based on a denotational mapping of business process modeling notation elements into process algebraic descriptions and to the encoding of quality requirements in linear temporal logic formulas. The resulting approach has been applied to real case studies with encouraging results

Cloud for eGov: the state of the art

Specifically, the paper provides a detailed analysis of the state of the art regarding technological, regulatory and interoperability aspects, devoting particular attention to those projects (and related experience) in the field of cloud and distributed computing. The paper's aim is to evaluate benefits and risks of the applicability of solutions that are already in place for the specified areas of interest. The key factors that determine relevant regulations, with particular emphasis on the European target, have been listed in the paper. Finally, the main Italian projects and the situation in some European countries have also been mentioned