1192 search results - page 5 / 239 » Computing Weakest Readings |
92
Voted
BIRTHDAY
2012
Springer
13 years 7 months ago
2012
Springer
In this note we describe a cryptographic curiosity: readable messages that carry their own digital signature.
BIOINFORMATICS
2012
13 years 2 months ago
2012
ECAI
2008
Springer
15 years 23 days 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
14 years 11 months ago
1999
ICPADS
1998
IEEE
15 years 3 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...