7206 search results - page 194 / 1442 » Using a Hypermedia System for Systems Engineering |
180
click to vote
RAID
1999
Springer
15 years 10 months ago
1999
Springer
We have been developing a data mining (i.e., knowledge discovery) framework, MADAM ID, for Mining Audit Data for Automated Models for Intrusion Detection [LSM98, LSM99b, LSM99a]. ...
167
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
169
click to vote
CSMR
2006
IEEE
16 years 15 days ago
2006
IEEE
Understanding large software systems is simplified when a combination of techniques for static and dynamic analysis is employed. Effective dynamic analysis requires that executio...
149
click to vote
LREC
2008
15 years 7 months ago
2008
This paper describes a Name Matching Evaluation Laboratory that is a joint effort across multiple projects. The lab houses our evaluation infrastructure as well as multiple name m...
237
click to vote
CAL
2011
14 years 6 months ago
2011
—In this paper we present DRAMSim2, a cycle accurate memory system simulator. The goal of DRAMSim2 is to be an accurate and publicly available DDR2/3 memory system model which ca...