4305 search results - page 120 / 861 » Analysing Protocol Implementations |
123
click to vote
IMC
2010
ACM
15 years 11 days ago
2010
ACM
This paper develops a high-performance, Internet-wide service discovery tool, which we call IRLscanner, whose main design objectives have been to maximize politeness at remote net...
124
click to vote
LACL
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper introduces a novel approach to language processing, in which linguistic facts are represented as predicates over ranges of the intput text, usually, but not li...
103
click to vote
WCE
2007
15 years 3 months ago
2007
—The research efforts of the DECIDE Research Group have resulted in a decision tool capable of handling imprecise information in complex decision situations. Some of the research...
104
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
We present three voting protocols with unconditional privacy and information-theoretic correctness, without assuming any bound on the number of corrupt voters or voting authorities...
109
click to vote
ICAIL
2005
ACM
15 years 8 months ago
2005
ACM
This paper analyses the phenomenon of a shift of the burden of proof in legal persuasion dialogues. Some sample dialogues are analysed of types of situations where such a shift ma...