17449 search results - page 263 / 3490 » Availability |
149
click to vote
ASIACRYPT
2000
Springer
15 years 11 months ago
2000
Springer
We give the first proof of security for the full Unix password hashing algorithm (rather than of a simplified variant). Our results show that it is very good at extracting almost...
161
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
The wide variety of abstract system development methodologies available includes the waterfall and V models. These models are often too generic and need careful adaptation to suit ...
146
click to vote
ICEIS
1999
IEEE
15 years 11 months ago
1999
IEEE
: The globalisation of Internet technology had a strong impact on technology price and availability, which resulted in the emerging of more opportunities and more services in dista...
168
click to vote
ISCA
1999
IEEE
15 years 11 months ago
1999
IEEE
State of the art microprocessors achieve high performance by executing multiple instructions per cycle. In an out-oforder engine, the instruction scheduler is responsible for disp...
163
click to vote
ICLP
1999
Springer
15 years 11 months ago
1999
Springer
In this work, we develop a binding-time analysis for the logic programming language Mercury. We introduce a precise domain of binding-times, based on the type information available...