Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
Panagiotis Manolios, Sudarshan K. Srinivasan, Daro...
This article introduces an approach to adaptive wayfinding support for lifelong learners based on self-organisation theory. It describes an architecture which supports the recordin...
We merge the Pictorial Computing Laboratory (PCL) approach to WIMP interaction with the Interaction Locus approach to structuring visual spaces as a step toward the definition of ...
Augusto Celentano, Daniela Fogli, Piero Mussio, Fa...
This paper proposes a novel approach to modeling the diversity in users’ perceptions, based on a mixture of qualitative and quantitative techniques: the Repertory Grid Technique ...
While much recent research has focussed on extending databases beyond the traditional relational model, relatively little has been done to develop database tools for querying data...