3333 search results - page 613 / 667 » Abstract Proof Search |
131
click to vote
PPSN
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present and analyse the behaviour of specialised operators designed for cooperative coevolution strategy in the framework of 3D tomographic PET reconstruction. The bas...
123
click to vote
STTT
2010
15 years 2 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
174
click to vote
WAIM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Wikis are currently used in providing knowledge management systems for individual enterprises. The initial explanations of word entries (entities) in such a system can be...
142
click to vote
WRLA
2010
15 years 2 months ago
2010
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...
119
click to vote
ASIACRYPT
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper we combine a recent rotational cryptanalysis with the rebound attack, which results in the best cryptanalysis of Skein, a candidate for the SHA-3 competitio...