Abstract. The modern society depends on the provision and distribution of information. We observe the development of world-wide information markets. Traders play an important role ...
Michael Christoffel, Thorwald Franke, Stefan Kotka...
In this paper logical techniques developed to formalise the analysis of multi-interpretable information, in particular belief set operators and selection operators, are applied to...
Frances M. T. Brazier, Joeri Engelfriet, Jan Treur
We introduce a novel cut-based debugging paradigm. It coordinates design emulation and simulation and enables fast transition from one to another. Emulation or functional implemen...
This report investigates the relationships between design patterns and programming languages. A comparison is carried out between the usual track of programming languages developme...
The Wizard of Oz (WOz) technique is an experimental evaluation mechanism. It allows the observation of a user operating an apparently fully functioning system whose missing servic...