3457 search results - page 402 / 692 » A Symbol Is Not a Symbol |
230
click to vote
DIGRA
2005
Springer
16 years 1 months ago
2005
Springer
A whole world is presented in front of the eyes of a gamer. This world has shapes and colours. What do colours transmit? Is this considered in digital games? These are the main is...
227
click to vote
EUROCRYPT
2005
Springer
16 years 1 months ago
2005
Springer
We prove, under the strong RSA assumption, that the group of invertible integers modulo the product of two safe primes is pseudo-free. More specifically, no polynomial time algor...
186
click to vote
GECCO
2005
Springer
16 years 1 months ago
2005
Springer
A hybrid evolutionary algorithm (EA) for the p-median problem consist of two stages, each of which is a steady-state hybrid EA. These EAs encode selections of medians as subsets o...
204
click to vote
ICALP
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
188
click to vote
ICALP
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...