A modern approach to manage multimedia databases is content-based retrieval. Especially in image databases graphical features like color, texture or shape can be used efficiently ...
Venn diagrams and Euler circles have long been used to express constraints on sets and their relationships with other sets. However, these notations can get very cluttered when we...
This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the JCRE (Jav...
This paper presents the analysis and modelling of the literature of hypertext based on the ACM Hypertext conference series. This work explores a new paradigm of organising and acc...
Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency commo...