1664 search results - page 201 / 333 » Towards Partial Reasoning |
129
Voted
TPHOL
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract. We show that certain input-output relations, termed inductive invariants are of central importance for termination proofs of algorithms defined by nested recursion. Indu...
165
Voted
CAEPIA
2003
Springer
15 years 10 months ago
2003
Springer
The development of software systems is a complex task that requires support techniques to guide the process and solve inconsistencies in its . In the agent paradigm, the use of soc...
130
Voted
CP
2003
Springer
15 years 10 months ago
2003
Springer
A reason to distribute constraint satisfaction is privacy: agents may not want to share their values, and they may wish to keep constraints as private as possible. In this paper, w...
151
click to vote
FM
2003
Springer
15 years 10 months ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
140
click to vote
EUROCRYPT
2010
Springer
15 years 9 months ago
2010
Springer
This paper presents a formal security analysis of SSH in counter mode in a security model that accurately captures the capabilities of real-world attackers, as well as security-rel...