Sciweavers

18090 search results - page 3002 / 3618
» Computing by Only Observing
Sort
View
CIA
2001
Springer
15 years 11 months ago
Equilibria Strategies for Selecting Sellers and Satisfying Buyers
We consider marketplaces where buyers and sellers iteratively encounter to trade. Given some specific trade conditions, the question that we address is what strategies should buy...
Claudia V. Goldman, Sarit Kraus, Onn Shehory
CSL
2001
Springer
15 years 11 months ago
A Logic for Approximate First-Order Reasoning
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ...
Frédéric Koriche
EUROCRYPT
2001
Springer
15 years 11 months ago
New Method for Upper Bounding the Maximum Average Linear Hull Probability for SPNs
Abstract. We present a new algorithm for upper bounding the maximum average linear hull probability for SPNs, a value required to determine provable security against linear cryptan...
Liam Keliher, Henk Meijer, Stafford E. Tavares
ICICS
2001
Springer
15 years 11 months ago
Enforcing Obligation with Security Monitors
With the ubiquitous deployment of large scale networks more and more complex human interactions are supported by computer applications. This poses new challenges on the expressive...
Carlos Ribeiro, Andre Zuquete, Paulo Ferreira
LCTRTS
2001
Springer
15 years 11 months ago
Combining Global Code and Data Compaction
Computers are increasingly being incorporated in devices with a limited amount of available memory. As a result research is increasingly focusing on the automated reduction of pro...
Bjorn De Sutter, Bruno De Bus, Koenraad De Bossche...
« Prev « First page 3002 / 3618 Last » Next »