19003 search results - page 401 / 3801 » We Need Assurance |
169
click to vote
DL
1998
Springer
15 years 11 months ago
1998
Springer
When a digital library is decomposed into many geographically distributed repositories,searchefficiencybecomesan issue. Increasing network congestion makes this a compelling issue...
180
click to vote
HIM
1997
Springer
15 years 11 months ago
1997
Springer
Documents often display a structure, e.g., several sections, each with several subsections and so on. Taking into account the structure of a document allows the retrieval process ...
154
click to vote
CSL
1994
Springer
15 years 11 months ago
1994
Springer
We prove the completeness of the combination of ordered resolution and factoring for a large class of non-liftable orderings, without the need for any additional rules like satura...
149
click to vote
SAS
1993
Springer
15 years 11 months ago
1993
Springer
We give upper bounds on the number of times the fixed point operator needs to be unfolded for strictness analysis of functional languages with lists. This extends previous work b...
167
click to vote
DAC
1990
ACM
15 years 11 months ago
1990
ACM
In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits. The utility of the system comes from the ne...