700 search results - page 80 / 140 » et 2008 |
124
click to vote
CRYPTO
2010
Springer
15 years 4 months ago
2010
Springer
At the heart of many recent lattice-based cryptographic schemes is a polynomial-time algorithm that, given a `high-quality' basis, generates a lattice point according to a Ga...
107
Voted
FSTTCS
2008
Springer
15 years 4 months ago
2008
Springer
An average-time game is played on the infinite graph of configurations of a finite timed automaton. The two players, Min and Max, construct an infinite run of the automaton by ...
101
click to vote
GG
2008
Springer
15 years 4 months ago
2008
Springer
We consider four different models of process interactions that unify and generalise models introduced and studied by Angluin et al. [AAD+ 04] and models introduced and studied by ...
111
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
This paper presents the results of an empirical evaluation of the quality of a structured methodology for the development of spreadsheet models, proposed in numerous previous pape...
136
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
In 2005, Yang, Wang, and Chang proposed an improved timestamp-based password authentication scheme in an attempt to overcome the flaws of Yang-Shieh's legendary timestamp-base...