4270 search results - page 499 / 854 » A Permutation Approach to Validation |
202
click to vote
GCB
2004
Springer
16 years 4 days ago
2004
Springer
Abstract: We report on a model for the interaction of chimeric melanocortin Gprotein coupled receptors with peptide ligands using the rough set approach. Rough sets generate If-The...
174
click to vote
ICFEM
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
205
Voted
POLICY
2004
Springer
16 years 3 days ago
2004
Springer
Policy Based Management (PBM) is a research topic that has been driven by the tremendous complexity inherent in the administration and management of present-day networking and tel...
156
click to vote
RAID
2004
Springer
16 years 3 days ago
2004
Springer
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...
183
Voted
RAID
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Attack analysis is a challenging problem, especially in emerging environments where there are few known attack cases. One such new environment is the Mobile Ad hoc Networ...