2162 search results - page 418 / 433 » Automated Reasoning on Feature Models |
172
click to vote
ACSAC
2008
IEEE
16 years 11 days ago
2008
IEEE
Most intrusion detection systems apply the misuse detection approach. Misuse detection compares recorded audit data with predefined patterns denoted as signatures. A signature is ...
139
click to vote
LICS
2008
IEEE
16 years 8 days ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...
167
click to vote
LICS
2008
IEEE
16 years 8 days ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
182
click to vote
HICSS
2007
IEEE
16 years 6 days ago
2007
IEEE
Clinical Practice Guidelines (CPG) are used by healthcare practitioners to standardize clinical practice and to provide evidence mediated health-care. Currently, there have been c...
173
click to vote
TPHOL
2007
IEEE
16 years 5 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...