234 search results - page 34 / 47 » Proof Nets and the Identity of Proofs |
ACSC
2005
IEEE
15 years 3 months ago
2005
IEEE
1 Service discovery protocols are used in distributed systems to locate services for clients. The services that are located as well as the clients requesting service are commonly a...
CSL
2005
Springer
15 years 3 months 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...
ICSM
2003
IEEE
15 years 3 months ago
2003
IEEE
The world of software development has rapidly changed in the last few years due to the adoption of component-based technologies. The classical software configuration management, ...
104
click to vote
ESA
1994
Springer
15 years 2 months ago
1994
Springer
We present an algorithm for finding the minimum cut of an undirected edge-weighted graph. It is simple in every respect. It has a short and compact description, is easy to implemen...
82
Voted
ESAS
2006
Springer
15 years 1 months ago
2006
Springer
In the context of ambient networks, this article describes a cryptographic protocol called Common History Extraction (CHE) protocol implementing a trust management framework. All t...