8582 search results - page 1418 / 1717 » Here or There |
171
click to vote
CRYPTO
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We consider the central cryptographic task of secure twoparty computation, where two parties wish to compute some function of their private inputs (each receiving possibl...
183
click to vote
DIAGRAMS
2004
Springer
16 years 3 days ago
2004
Springer
A composite cluster map displays a fuzzy categorisation of geographic areas. It combines information from several sources to provide a visualisation of the significance of cluster...
186
click to vote
ECAI
2004
Springer
16 years 3 days ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
186
click to vote
EKAW
2004
Springer
16 years 3 days ago
2004
Springer
We present a tool which helps domain experts capture and maintain constraints. The tool displays parts of an ontology (as classes, sub-classes and properties) in the form of a tree...
252
click to vote
ESOP
2004
Springer
16 years 3 days ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...