1150 search results - page 138 / 230 » Specifying Information-Flow Controls |
174
click to vote
IPPS
1997
IEEE
15 years 10 months 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...
148
click to vote
WADT
1998
Springer
15 years 10 months 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...
197
click to vote
RTCSA
1997
IEEE
15 years 10 months 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...
136
click to vote
SIGIR
1996
ACM
15 years 10 months 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...
164
click to vote
VLDB
1993
ACM
15 years 10 months 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...