5255 search results - page 382 / 1051 » Formal Methods for Privacy |
130
Voted
AGENTS
1999
Springer
15 years 9 months ago
1999
Springer
This research proposes a computational framework for generating visual attending behavior in an embodied simulated human agent. Such behaviors directly control eye and head motion...
167
Voted
ACISP
1998
Springer
15 years 9 months ago
1998
Springer
The confidentiality of encrypted data depends on how well the key under which it was encrypted is maintained. If a session key was exchanged encrypted under a long-term key, exposu...
128
click to vote
OOPSLA
1998
Springer
15 years 9 months ago
1998
Springer
Today, any large object-oriented software system is built using frameworks. Yet, designing frameworks and defining their interaction with clients remains a difficult task. A prima...
129
Voted
CCS
1994
ACM
15 years 9 months ago
1994
ACM
Clients in a distributedsystem place their con dencein many servers, and servers themselves rely on other servers for le storage, authentication, authorization, and payment. When ...
134
click to vote
OOPSLA
1990
Springer
15 years 9 months ago
1990
Springer
This paper describes a new approach to visualizing program systems within the object-oriented paradigm. This approach is based on a TEX-like notation which has been extended and g...