1573 search results - page 2 / 315 » Signs and Formal Concepts |
211
Voted
CSFW
2004
IEEE
15 years 11 months ago
2004
IEEE
We analyze the multi-party contract-signing protocols of Garay and MacKenzie (GM) and of Baum and Waidner (BW). We use a finite-state tool, MOCHA, which allows specification of pr...
222
click to vote
IWPC
2007
IEEE
16 years 1 months ago
2007
IEEE
The paper addresses the problem of concept location in source code by presenting an approach which combines Formal Concept Analysis (FCA) and Latent Semantic Indexing (LSI). In th...
146
Voted
KI
1998
Springer
15 years 11 months ago
1998
Springer
204
click to vote
NDSS
2003
IEEE
16 years 20 days ago
2003
IEEE
In this work we revisit and formally study the notion of proxy cryptography. Intuitively, various proxy functions allow two cooperating parties F (the “FBI”) and P (the “pro...
160
Voted
FCA
2005
Springer
16 years 28 days ago
2005
Springer