29 citations · 163 across the 32 of their papers we have counts for
6 papers · 1 filter
Increasing the Reusability of Enforcers with Lifecycle Events
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Runtime enforcement can be effectively used to improve the reliability of software applications. However, it often requires the definition of ad hoc policies and enforcement strate…
Model-Based Monitoring for IoTs Smart Cities Applications
Matteo Orrù, Marco Mobilio, Anas Shatnawi +3
Smart Cities are future urban aggregations, where a multitude of heterogeneous systems and IoT devices interact to provide a safer, more efficient, and greener environment. The vis…
CloudHealth: A Model-Driven Approach to Watch the Health of Cloud Services
Anas Shatnawi, Matteo Orrù, Marco Mobilio +2
Cloud systems are complex and large systems where services provided by different operators must coexist and eventually cooperate. In such a complex environment, controlling the hea…
Localizing Faults in Cloud Systems
Leonardo Mariani, Cristina Monni, Mauro Pezzé +2
By leveraging large clusters of commodity hardware, the Cloud offers great opportunities to optimize the operative costs of software systems, but impacts significantly on the relia…
Business Rules in e-Government Applications
Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli
The introduction of Information and Communication Technologies (ICT) into public administrations has been radically changing the way organizations cooperate and, more generally, th…
Shared Services Center for E-Government Policy
Flavio Corradini, Lucio Forastieri, Alberto Polzonetti +2
It is a general opinion that applicative cooperation represents a useful vehicle for the development of e-government. At the architectural level, solutions for applicative cooperat…