1183 search results - page 128 / 237 » On flow-sensitive security types |
142
click to vote
AGENTS
2000
Springer
15 years 8 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,...
140
click to vote
POPL
1999
ACM
15 years 8 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...
124
click to vote
AGENTS
1999
Springer
15 years 8 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...
130
click to vote
AGENTS
1998
Springer
15 years 8 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...
128
click to vote
CSFW
1994
IEEE
15 years 8 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...