1414 search results - page 103 / 283 » Combining Intruder Theories |
111
Voted
CSREASAM
2006
15 years 2 months ago
2006
- In the area of network information security, it is necessary to study the security in the end-to-end communication. This paper proposes a theory of virtual network by end-to-end....
100
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
In the first part, we introduce binary representations of both lambda calculus and combinatory logic terms, and demonstrate their simplicity by providing very compact parser-inter...
ACL
2001
15 years 2 months ago
2001
We offer a computational analysis of the resolution of ellipsis in certain cases of dialogue clarification. We show that this goes beyond standard techniques used in anaphora and ...
83
Voted
WSC
1998
15 years 2 months ago
1998
In this paper, we develop a ranking and selection procedure for making multiple comparisons of systems that have multiple performance measures. The procedure combines multiple att...
96
Voted
APAL
2008
15 years 25 days ago
2008
Building on previous work by Coquand and Spiwack [8] we construct a strict domaintheoretic model for the untyped -calculus with pattern matching and term rewriting which has the p...