913 search results - page 129 / 183 » Full Abstraction for Linda |
WRLA
2010
14 years 10 months ago
2010
Abstract. If a set of equations E∪Ax is such that E is confluent, terminating, and coherent modulo Ax, narrowing with E modulo Ax provides a complete E∪Ax-unification algorit...
175
click to vote
BIOCOMP
2010
14 years 10 months ago
2010
Abstract-- Modeling the intermolecular reactions in a single cell is a critical problem in computational biology. Biochemical reaction systems often involve species in both low and...
108
click to vote
CANS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. This paper presents the first independent and systematic linear, differential and impossible-differential (ID) cryptanalyses of MIBS, a lightweight block cipher aimed at ...
FPL
2010
Springer
14 years 9 months ago
2010
Springer
Abstract--The second round of the NIST-run public competition is underway to find a new hash algorithm(s) for inclusion in the NIST Secure Hash Standard (SHA-3). This paper present...
GLOBECOM
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract-- Cooperative communications can be used to improve communication reliability. However, the transmissions from different relaying nodes result in a great challenge in prac...