896 search results - page 122 / 180 » On completeness of word reversing |
177
click to vote
PKC
2007
Springer
16 years 13 days ago
2007
Springer
: This paper addresses the security of optimistic fair exchange in a multi-user setting. While the security of public key encryption and public key signature schemes in a single-us...
150
click to vote
TARK
2007
Springer
16 years 12 days ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
146
click to vote
ECCB
2005
IEEE
15 years 12 months ago
2005
IEEE
Similarity Matrix of Proteins (SIMAP) (http://mips.gsf. 10 de/simap) provides a database based on a precomputed similarity matrix covering the similarity space formed by .4 millio...
144
click to vote
CALCO
2005
Springer
15 years 12 months ago
2005
Springer
This paper shows that bisimulation equivalence does not afford a finite equational axiomatization over the language obtained by enriching Bergstra and Klop’s Basic Process Alge...
155
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the w...