2436 search results - page 162 / 488 » Comonadic Notions of Computation |
131
click to vote
EUROCRYPT
2003
Springer
15 years 9 months ago
2003
Springer
Cryptographic computations are often carried out on insecure devices for which the threat of key exposure represents a serious concern. Forward security allows one to mitigate the...
190
click to vote
ICLP
2003
Springer
15 years 9 months ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
127
click to vote
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Parallel platforms are becoming ubiquitous with modern computing systems. Many parallel applications attempt to avoid locks in order to achieve high responsiveness, aid scalabilit...
121
click to vote
CAV
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
118
click to vote
EWSA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Modern systems are heterogeneous, geographically distributed and highly dynamic since the communication topology can vary and the components can, at any moment, connect t...