Sciweavers

1418 search results - page 186 / 284
» How to Explain Mistakes
Sort
View
CTRSA
2007
Springer
184views Cryptology» more  CTRSA 2007»
16 years 1 days ago
Cryptanalysis of Reduced Variants of the FORK-256 Hash Function
FORK-256 is a hash function presented at FSE 2006. Whereas SHA-like designs process messages in one stream, FORK-256 uses four parallel streams for hashing. In this article, we pre...
Florian Mendel, Joseph Lano, Bart Preneel
ER
2007
Springer
122views Database» more  ER 2007»
16 years 1 days ago
An e-Process Selection Model
1 A number of e-Processes (i.e. software processes for developing e-Commerce information systems) exist in industry. We presuppose that for a subclass of these their targeted quali...
Roland Kaschek, Frina Albertyn, Vladimir A. Shekho...
ESOP
2007
Springer
16 years 1 days ago
A Rewriting Semantics for Type Inference
When students first learn programming, they often rely on a simple operational model of a program’s behavior to explain how particular features work. Because such models build o...
George Kuan, David MacQueen, Robert Bruce Findler
FROCOS
2007
Springer
16 years 21 hour ago
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
Viorica Sofronie-Stokkermans
GECCO
2007
Springer
147views Optimization» more  GECCO 2007»
16 years 19 hour ago
Exact analysis of the sampling distribution for the canonical particle swarm optimiser and its convergence during stagnation
Several theoretical analyses of the dynamics of particle swarms have been offered in the literature over the last decade. Virtually all rely on substantial simplifications, incl...
Riccardo Poli, David S. Broomhead