To provide personalized health recommendations concerning disabled persons, an adaptive system needs a detailed user model that can account for the peculiar aspects of the many exi...
Luca Chittaro, Roberto Ranon, Luca De Marco, Augus...
Modeling and estimation of switching activities remain to be important problems in low-power design and fault analysis. A probabilistic Bayesian Network based switching model can ...
This paper presents a component model for building distributed applications with fault-tolerance requirements. The AFT-CCM model selects the configuration of replicated services d...
This paper focuses on modelling and visualisation of mineral shells of foraminifera (unicellular aquatic, mainly marine, organisms). Our recent model follows the moving reference a...
The purpose is to explore how norm-governed behavior within agent societies can be achieved in the context of Virtual Enterprises. We analyze a number of formal models from the age...