1183 search results - page 160 / 237 » On flow-sensitive security types |
173
click to vote
ESORICS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Enterprise privacy enforcement allows enterprises to internally enforce a privacy policy that the enterprise has decided to comply to. An enterprise privacy policy often ...
150
click to vote
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
Shopping on the Internet has become a convenient way of purchasing commodities of choice. A key contribution of agent technology will be to develop personal agents that can assist...
144
Voted
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes an agent-based artificial market system whose underlying interaction protocols provide advanced features. Using the system, actors (i.e., customers and mercha...
143
click to vote
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we will discuss different types of control over synthetic characters in interactive stories. We will argue that, to attain a deeper and more engaging control, in ce...
136
click to vote
OOPSLA
2001
Springer
15 years 8 months ago
2001
Springer
Checking pre- and post-conditions of procedures and methods at runtime helps improve software reliability. In the procedural world, pre- and post-conditions have a straightforward...