2036 search results - page 20 / 408 » A generic type-and-effect system |
APAL
2010
13 years 7 months ago
2010
In an earlier paper (MLQ 54, 128
WSC
2001
13 years 9 months ago
2001
The Advanced IRCM Assessment Model (AIRSAM) simulates an infrared (IR) guided missile engaging an aircraft equipped with infrared countermeasures (IRCM). Analysts currently use AI...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
We are developing an adaptive reminding system, which learns when and how to present notifications. In this paper, we focus on our XCS-based model, composed of two cascaded sets ...
SUTC
2006
IEEE
14 years 1 months ago
2006
IEEE
In computer security, many researches have tackled on the possibility of a unified model of access control, which could enforce any access control policies within a single unified...