Sciweavers

12289 search results - page 705 / 2458
» computing 2006
Sort
View
ESORICS
2006
Springer
15 years 11 months ago
Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos
Abstract We present a computational analysis of basic Kerberos with and without its public-key extension PKINIT in which we consider authentication and key secrecy properties. Our ...
Michael Backes, Iliano Cervesato, Aaron D. Jaggard...
FSTTCS
2006
Springer
15 years 11 months ago
Almost Optimal Strategies in One Clock Priced Timed Games
We consider timed games extended with cost information, and prove computability of the optimal cost and of -optimal memoryless strategies in timed games with one clock. In contrast...
Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Ma...
GECCO
2006
Springer
135views Optimization» more  GECCO 2006»
15 years 11 months ago
A simple line search operator for ridged landscapes
This paper describes a new simple operator for Evolutionary Algorithms (EA) to climb ridged landscapes. Categories and Subject Descriptors: I.2.8 [Computing Methodologies]: Proble...
Andrea Soltoggio
AIRS
2006
Springer
15 years 9 months ago
Automated Object Extraction for Medical Image Retrieval Using the Insight Toolkit (ITK)
Visual information retrieval is an emerging domain in the medical field as it has been in computer vision for more than ten years. It has the potential to help better managing the ...
Henning Müller, Joris Heuberger, Adrien Depeu...
ANTS
2006
Springer
118views Algorithms» more  ANTS 2006»
15 years 9 months ago
Construction of Rational Points on Elliptic Curves over Finite Fields
Abstract. We give a deterministic polynomial-time algorithm that computes a nontrivial rational point on an elliptic curve over a finite field, given a Weierstrass equation for the...
Andrew Shallue, Christiaan van de Woestijne