Sciweavers

4372 search results - page 8 / 875
» Algorithmic Theories of Everything
Sort
View
76
Voted
ASIAN
2007
Springer
88views Algorithms» more  ASIAN 2007»
15 years 3 months ago
Dimensions of Declassification in Theory and Practice
Andrei Sabelfeld

Book
512views
16 years 11 months ago
Algorithmic Game Theory
Classic book on Algorithmic aspects of Game theory and mechanism design
Noam Nisan (Editor), Tim Roughgarden (Editor), Eva...
FROCOS
2007
Springer
15 years 6 months ago
Combining Algorithms for Deciding Knowledge in Security Protocols
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
Mathilde Arnaud, Véronique Cortier, St&eacu...
CORR
1998
Springer
82views Education» more  CORR 1998»
14 years 11 months ago
Tractability of Theory Patching
In this paper we consider the problem of theory patching, in which we are given a domain theory, some of whose components are indicated to be possibly awed, and a set of labeled t...
Shlomo Argamon-Engelson, Moshe Koppel