1150 search results - page 138 / 230 » Specifying Information-Flow Controls |
IPPS
1997
IEEE
14 years 12 days ago
1997
IEEE
We propose a distributed data structure for maintaining spatial data sets on message-passing, distributed memory machines. The data structure is based on orthogonal bisection tree...
WADT
1998
Springer
14 years 12 days ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
RTCSA
1997
IEEE
14 years 12 days ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
SIGIR
1996
ACM
14 years 11 days ago
1996
ACM
We present a deductive data model for concept-based query expansion. It is based abstraction levels: the conceptual, the expression and the occurrence level. Concepts and their re...
VLDB
1993
ACM
14 years 8 days ago
1993
ACM
Mb describe the design and implementation of a constraint management facility for our active object-oriented database system called Jasmine/A. The facility includes integrity cons...