2694 search results - page 275 / 539 » Frege's New Science |
142
click to vote
ESWS
2005
Springer
16 years 5 days ago
2005
Springer
In the current research environment, funding agencies are increasingly required to demonstrate that the projects they fund represent value for money. When funds are disbursed in a ...
124
click to vote
GECCO
2005
Springer
16 years 5 days ago
2005
Springer
This paper describes a genetic algorithm (GA) that evolves optimized sets of coefficients for one-dimensional signal reconstruction under lossy conditions due to quantization. Beg...
142
click to vote
ICALP
2005
Springer
16 years 5 days ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
164
Voted
ICALP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
131
click to vote
ICALP
2005
Springer
16 years 5 days ago
2005
Springer
This paper presents a new protocol for atomic broadcast in an asynchronous network with a maximal number of Byzantine failures. It guarantees both safety and liveness without maki...