5119 search results - page 273 / 1024 » Security Privacy |
196
click to vote
ESORICS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. This article presents an efficient public-key protocol for mutual authentication and key exchange designed for third generation mobile communications systems. The paper a...
147
click to vote
SAFECOMP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Safety systems for railways have shifted from electronic relays to more computer-oriented approaches. This article highlights the language EURIS from NS Railinfrabeheer, ...
148
click to vote
AGENTS
1997
Springer
15 years 10 months ago
1997
Springer
In this paper we present an efficient technique allowing distant grasp behaviors while preserving the static balance. This feature greatly increases the autonomy of virtual humans...
166
click to vote
OOPSLA
1990
Springer
15 years 10 months ago
1990
Springer
Genericity allows the substitution of types in a class. This is usually obtained through parameterized classes, although they are inflexible since any class can be inherited but i...
134
click to vote
ETRICS
2006
15 years 10 months ago
2006
Abstract. We provide a static analysis (using both dataflow analysis and theorem proving) to allow state changes within specifications. This can be used for specification languages...