11436 search results - page 256 / 2288 » Modeling Real Reasoning |
106
Voted
PADS
2005
ACM
15 years 9 months ago
2005
ACM
The RINSE simulator is being developed to support large-scale network security preparedness and training exercises, involving hundreds of players and a modeled network composed of...
131
Voted
FATES
2004
Springer
15 years 9 months ago
2004
Springer
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
126
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The premise of automated alert correlation is to accept that false alerts from a low level intrusion detection system are inevitable and use attack models to explain the output in ...
152
Voted
ICTAI
2007
IEEE
15 years 10 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
157
Voted
WISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Approximation has been identified as a potential way of reducing the complexity of logical reasoning. Here we explore approximation for speeding up instance retrieval in...