3420 search results - page 575 / 684 » A Language-Based Approach to Security |
AGENTS
1999
Springer
14 years 2 months ago
1999
Springer
In this paper, we present a novel multi-agent learning paradigm called team-partitioned, opaque-transition reinforcement learning (TPOT-RL). TPOT-RL introduces the concept of usin...
AGENTS
1999
Springer
14 years 2 months ago
1999
Springer
The World Wide Web provides a huge distributed web database. However, information in the web database is free formatted and unorganized. Traditional keyword-based retrieval approa...
ACSAC
1998
IEEE
14 years 2 months ago
1998
IEEE
System protection mechanisms such as access controls can be fooled by authorized but malicious users, masqueraders, and misfeasors. Intrusion detection techniques are therefore us...
POPL
1998
ACM
14 years 2 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
SAFECOMP
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...