Different types of rules are mined from transaction databases often with the goal of improving sales and services. In this paper, we link the interestingness of rules with the cont...
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
: The domain of business reporting and especially financial reporting plays an important role when discussing internal and external information flows among organizational units. Th...
A number of recent developments in software engineering -- from agile methods to aspect-oriented programming to design patterns to good enough software -- share a number of common...
The GI2000 initiative considered the requirements for a geographic information infrastructure in Europe. This was followed by the European Territorial Management Information Infras...