7924 search results - page 1255 / 1585 » Non-Malleable Functions and Their Applications |
168
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
170
click to vote
BIRTHDAY
2005
Springer
16 years 10 days ago
2005
Springer
We explore the connection between term rewriting systems (TRS) and aspect-oriented programming (AOP). Term rewriting is a paradigm that is used in fields such as program transform...
189
click to vote
BTW
2005
Springer
16 years 10 days ago
2005
Springer
More than two decades ago, DB researchers faced up to the question of how to design a data-independent database management system (DBMS), that is, a DBMS which offers an appropriat...
157
click to vote
CANS
2005
Springer
16 years 10 days ago
2005
Springer
In Eurocrypt’05, Wang et al. presented new techniques to find collisions of Hash function MD4. The techniques are not only efficient to search for collisions, but also applicabl...
181
click to vote
COMPLIFE
2005
Springer
16 years 10 days ago
2005
Springer
A protein-protein interface (PPI) is defined by a pair of regions of two interacting protein molecules that are linked by non-covalent bonds. Recognition of conserved 3D patterns ...