3228 search results - page 443 / 646 » Computationally Sound Proofs |
147
click to vote
ETFA
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract— This work deals with the control and the observation of a remote system using Internet as a communication line. The process consists in a Slave part S, with poor comput...
200
click to vote
CSFW
2005
IEEE
16 years 6 days ago
2005
IEEE
A number of key establishment protocols claim the property of forward secrecy, where the compromise of a longterm key does not result in the compromise of previously computed sess...
182
click to vote
LICS
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper describes two new bisimulation equivalences for the pure untyped call-by-value λ-calculus, called enf bisimilarity and enf bisimilarity up to η. They are based on eag...
161
click to vote
CSL
2005
Springer
16 years 3 days ago
2005
Springer
We give a Natural Deduction formulation of an adaptation of G¨odel’s functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proof...
174
click to vote
FCT
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We investigate bottom-up and top-down deterministic automata on unranked trees. We show that for an appropriate definition of bottom-up deterministic automata it is poss...