1615 search results - page 3 / 323 » Computer science and decision theory |
ICALP
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
ATAL
2008
Springer
13 years 7 months ago
2008
Springer
Game theory has been playing an increasingly visible role in computer science, in areas as diverse as artificial intelligence, theory, and distributed systems, among others. I tak...
JACIII
2006
13 years 5 months ago
2006
Potential applicants to graduate school find it difficult to predict, even approximately, which schools will accept them. We have created a predictive model of admissions decision...
CORR
2007
Springer
13 years 5 months ago
2007
Springer
RTA
2009
Springer
13 years 12 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...