The purpose of the chapter is to help someone familiar with DLs to understand the issues involved in developing an ontology for some universe of discourse, which is to become a co...
Abstract. In this paper we show how the relationships between first-order ontologies within a repository can be used to support ontology verification. We discuss the use of represe...
This paper explores the idea of using contexts to support more efficient information search in Topic Maps-based digital libraries. The notion of context is d as abstraction of grou...
We define security goals and attack models for disk encryption, and prove several relationships between the resulting security notions, and some general results about disk encryp...
The Scrubber is a general controller for friction-induced sound. Allowing the user to engage in familiar gestures and feeling actual friction, the synthesized sound gains an evoca...