1282 search results - page 65 / 257 » Signing on signing off |
GW
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The work described in this abstract presents a roadmap towards the creation and specification of a virtual humanoid capable of performing expressive gestures in real tim...
STACS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We show that for infinite transition systems induced by cryptographic protocols in the Rusinowitch/Turuani style certain fundamental branching properties are decidable. ...
FSR
2005
Springer
14 years 2 months ago
2005
Springer
ICFCA
2004
Springer
14 years 2 months ago
2004
Springer
IPTPS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. CorSSO is a distributed service for authentication in networks. It allows application servers to delegate client identity checking to combinations of authentication serve...