Leading agent-based trust models address two important needs. First, they show how an agent may estimate the trustworthiness of another agent based on prior interactions. Second, ...
Although called systems, information systems in organizations are often viewed as tools that "users" use. IS success is often gauged as though it were about acceptance a...
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
In this paper, we describe an evaluation framework for legal information systems. The framework is based on knowledge criteria. We distinguish four belief types, viz. perceptual b...
We present an evaluation of four knowledge base systems with respect to use in large Semantic Web applications. We discuss the performance of each system. In particular, we show t...