3573 search results - page 179 / 715 » Reasoning about Codata |
107
Voted
EHCI
2001
15 years 5 months ago
2001
Abstract. Systematic user errors commonly occur in the use of interactive systems. We describe a formal reusable user model implemented in higher-order logic that can be used for m...
137
Voted
NAACL
1994
15 years 4 months ago
1994
The functionality of systems that extract information from texts can be specified quite simply: the input is a stream of texts and the output is some representation of the informa...
115
click to vote
ENTCS
2008
15 years 3 months ago
2008
We present an extension to classical separation logic which allows reasoning about virtual memory. Our logic is formalised in the Isabelle/HOL theorem prover in a manner allowing ...
136
Voted
ENTCS
2007
15 years 3 months ago
2007
In this paper we develop a framework, based on strand spaces, for reasoning about cryptographic protocols and characterizing their executions. We define skeletons, homomorphisms,...
106
Voted
SYNTHESE
2008
15 years 3 months ago
2008
Hitchcock advances a diachronic Dutch Book argument (DDB) for a 1/3 answer to the Sleeping Beauty problem. Bradley and Leitgeb argue that Hitchcock's DDB argument fails. We de...