1183 search results - page 128 / 237 » On flow-sensitive security types |
177
click to vote
AGENTS
2000
Springer
15 years 10 months ago
2000
Springer
Theoretically motivated planning systems often make assumptions about their environments, in areas such as the predictability of action e ects, static behavior of the environment,...
170
click to vote
POPL
1999
ACM
15 years 10 months ago
1999
ACM
Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency commo...
148
click to vote
AGENTS
1999
Springer
15 years 10 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...
158
click to vote
AGENTS
1998
Springer
15 years 10 months ago
1998
Springer
We present a generalized market architecture that provides support for a variety of types of transactions, from simple buying and selling of goods and services to complex multi-age...
154
click to vote
CSFW
1994
IEEE
15 years 10 months ago
1994
IEEE
We analyze the safety question for the Non-Monotonic Transform NMT model, an access control model that encompasses a wide variety of practical access control mechanisms. In genera...