2610 search results - page 332 / 522 » The Recognition Strategy Language |
159
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
Path traversals have been recognized as one of the strengths of object-oriented query processing as object retrieval can be carried out through pointer navigation. Apart from path...
205
click to vote
JAVA
1999
Springer
15 years 10 months ago
1999
Springer
Exploiting our experience developing the WebFlow system, we designed the Gateway system to provide seamless and secure access to computational resources at ASC MSRC. The Gateway f...
150
click to vote
ICCL
1998
IEEE
15 years 10 months ago
1998
IEEE
Dynamic optimization of computer programs can dramatically improve their performance on a variety of applications. This paper presents an efficient infrastructure for dynamic reco...
171
click to vote
POS
1998
Springer
15 years 10 months ago
1998
Springer
Lumberjack is a log-structured persistent object store intended for use with conventional operating systems such as Unix. The design draws together facets of previous work, in par...
138
click to vote
KGC
1993
Springer
15 years 10 months ago
1993
Springer
We provide a logical speci cation of set predicates ndall and bagof of Prolog. The speci cation is given in proof theoretic terms, and pertains to any SLD resolution based language...