5086 search results - page 664 / 1018 » The Power of Comparative Reasoning |
140
click to vote
CCS
2005
ACM
16 years 8 days ago
2005
ACM
Simulatability constitutes the cryptographic notion of a secure refinement and has asserted its position as one of the fundamental concepts of modern cryptography. Although simula...
194
click to vote
EDCC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
182
click to vote
EUROPAR
2005
Springer
16 years 7 days ago
2005
Springer
Most programs are repetitive, meaning that some parts of a program are executed more than once. As a result, a number of phases can be extracted in which each phase exhibits simila...
230
click to vote
FPL
2005
Springer
16 years 7 days ago
2005
Springer
With the onset of Gigabit networks, current generation networking components will soon be insufficient for numerous reasons: most notably because existing methods cannot support h...
153
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
ATNoSFERES is a Pittsburgh style Learning Classifier System (LCS) in which the rules are represented as edges of an Augmented Transition Network. Genotypes are strings of tokens ...