1150 search results - page 136 / 230 » Specifying Information-Flow Controls |
AGENTS
2001
Springer
14 years 22 days ago
2001
Springer
This paper describes Icarus, an agent architecture that embeds a hierarchical reinforcement learning algorithm within a language for specifying agent behavior. An Icarus program e...
CSMR
2000
IEEE
14 years 19 days ago
2000
IEEE
This paper presents a technique for recovering the high level design of legacy software systems according to user defined architectural plans. Architectural plans are represented...
POPL
2000
ACM
14 years 17 days ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
APSEC
1999
IEEE
14 years 16 days ago
1999
IEEE
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct resultat the right time is thefundamental g...
CONCUR
1999
Springer
14 years 15 days ago
1999
Springer
Abstract. The ambient calculus is a calculus of computation that allows active processes (mobile ambients) to move between sites. A firewall is said to be protective whenever it d...