8746 search results - page 1660 / 1750 » Diversifying search results |
210
click to vote
CSFW
1999
IEEE
15 years 10 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
146
click to vote
SIGIR
1999
ACM
15 years 10 months ago
1999
ACM
Abstract We compare the performance of two database selection algorithms reported in the literature. Their performance is compared using a common testbed designed specifically for ...
196
click to vote
SIGIR
1999
ACM
15 years 10 months ago
1999
ACM
Previous examinations of search in textual archives have assumed that users first retrieve a ranked set of documents relevant to their query, and then visually scan through these ...
161
click to vote
ICPP
1999
IEEE
15 years 10 months ago
1999
IEEE
The vector-clock size necessary to characterize causality in a distributed computation is bounded by the dimension of the partial order induced by that computation. In an arbitrar...
155
click to vote
CIKM
1999
Springer
15 years 10 months ago
1999
Springer
A research prototype is presented for semantic indexing and retrieval in Information Retrieval. The prototype is motivated by a desire to provide a more efficient and effective in...