1192 search results - page 5 / 239 » Computing Weakest Readings |
113
Voted
BIRTHDAY
2012
Springer
13 years 9 months ago
2012
Springer
In this note we describe a cryptographic curiosity: readable messages that carry their own digital signature.
BIOINFORMATICS
2012
13 years 4 months ago
2012
105
click to vote
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Many forms of reasoning about actions and planning can be reduced to regression, the computation of the weakest precondition a state has to satisfy to guarantee the satisfaction of...
COMPUTER
1999
15 years 1 months ago
1999
ICPADS
1998
IEEE
15 years 6 months ago
1998
IEEE
: Three fast mutual exclusion algorithms using read-modify-write and atomic read/write registers are presented in a sequence, with an improvement from one to the next. The last alg...