6555 search results - page 783 / 1311 » Secure attribute-based systems |
177
click to vote
FC
1998
Springer
15 years 11 months ago
1998
Springer
The security of smart card based electronic cash have been receiving significant attention recently. However, there has been little systematic analysis or quantification of the imp...
190
click to vote
CSFW
1997
IEEE
15 years 11 months ago
1997
IEEE
A type system is given that eliminates two kinds of covert flows in an imperative programming language. The first kind arises from nontermination and the other from partial oper...
163
click to vote
OOPSLA
1998
Springer
15 years 11 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...
150
click to vote
AGENTS
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present a purely vision-based scheme for learning a topological representation of an open environment. The system represents selected places by local views of the surr...
152
click to vote
AGENTS
1997
Springer
15 years 10 months ago
1997
Springer
"Improv Puppets'' is an interaction paradigm modeled after traditional puppet play. With physical puppets, children move their puppets' bodies and speak their ...