16216 search results - page 2958 / 3244 » Effective Modeling with Constraints |
150
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents techniques to integrate and reason about complementary intrusion evidence such as alerts generated by intrusion detection systems (IDSs) and reports by system ...
167
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
Fuzzy logic is a natural basis for modelling and solving problems involving imprecise knowledge and continuous systems. Unfortunately, fuzzy logic systems are invariably static (o...
154
click to vote
APCSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
The RAMpage hierarchy moves main memory up a level to replace the lowest-level cache by an equivalent-sized SRAM main memory. This paper is a first look at the value of RAMpage to ...
169
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
171
click to vote
AMT
2006
Springer
15 years 10 months ago
2006
Springer
In traditional Information Retrieval (IR), user profiles are often represented by keyword/concepts space vectors or by some predefined categories. Unfortunately, this data is often...