2144 search results - page 364 / 429 » Exact Flow Analysis |
125
click to vote
RTSS
1999
IEEE
15 years 8 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
128
click to vote
SIGIR
1998
ACM
15 years 8 months ago
1998
ACM
We investigate an automatic method for Cross Language Information Retrieval (CLIR) that utilizes the multilingual UMLS Metathesaurus to translate Spanish and French natural languag...
148
click to vote
PKC
1998
Springer
15 years 8 months ago
1998
Springer
The ElGamal encryption scheme has been proposed several years ago and is one of the few probabilistic encryption schemes. However, its security has never been concretely proven bas...
130
click to vote
CIKM
1997
Springer
15 years 8 months ago
1997
Springer
Although the issue of approximate text retrieval is gaining importance in the last years, it is currently addressed by only a few indexing schemes. To reduce space requirements, t...
156
click to vote
DSN
2007
IEEE
15 years 8 months ago
2007
IEEE
We consider cluster systems with multiple nodes where each server is prone to run tasks at a degraded level of service due to some software or hardware fault. The cluster serves t...