The society in which we live today is increasingly a knowledge society. Organizations are turning more and more to knowledge creation and management for the development of their c...
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
In this paper we consider the problem of routing packets to a single destination in a dynamically changing network, where both the network and the packet injections are under adve...
Interdisciplinary design has created challenges in design collaboration due to the difficulty in communicating and coordinating across disciplines. Many tools have been developed ...
Yuri Gurevich made many varied and deep contributions to logic for computer science. Logic provides also the theoretical foundation of database systems. Hence, it is almost unavoid...