In this article we present an infrastructure for creating mash up and visual representations of the user profile that combine data from different sources. We explored this approach...
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
Collaboration is a hot issue, and is to an increasing extent recognized as a key driver of overall business performance. However, few companies methodically evaluate how well they...
The context of a software developer is something hard to define and capture, as it represents a complex network of elements across different dimensions that are not limited to th...