13383 search results - page 118 / 2677 » Abstractions from proofs |
136
click to vote
ESORICS
2002
Springer
16 years 5 months ago
2002
Springer
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
133
click to vote
ESOP
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
146
click to vote
ICALP
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. We provide a new characterization of certain zero-knowledge protocols as non-interactive instance-dependent commitment-schemes (NIC). To obtain this result we consider th...
175
click to vote
ECOOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Component software means reuse and separate marketing of pre-manufactured binary components. This requires components from different vendors to be composed very late, pos...
165
click to vote
GECCO
2010
Springer
15 years 9 months ago
2010
Springer
The Baldwin Effect is a very plausible, but unproven, biological theory concerning the power of learning to accelerate evolution. Simple computational models in the 1980’s gave...