1282 search results - page 65 / 257 » Signing on signing off |
168
Voted
GW
2005
Springer
15 years 11 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...
137
click to vote
STACS
2005
Springer
15 years 11 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. ...
141
click to vote
IPTPS
2004
Springer
15 years 11 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...