3228 search results - page 443 / 646 » Computationally Sound Proofs |
160
click to vote
ETFA
2006
IEEE
16 years 1 months 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...
217
click to vote
CSFW
2005
IEEE
16 years 25 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...
203
click to vote
LICS
2005
IEEE
16 years 24 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...
184
click to vote
CSL
2005
Springer
16 years 22 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...
187
click to vote
FCT
2005
Springer
16 years 22 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...