1222 search results - page 109 / 245 » Verifying a File System Implementation |
130
click to vote
SAC
2010
ACM
15 years 2 months ago
2010
ACM
Each day, security companies see themselves confronted with thousands of new malware programs. To cope with these large quantities, researchers and practitioners alike have develo...
139
click to vote
SEUS
2009
IEEE
15 years 9 months ago
2009
IEEE
Many special-purpose embedded systems such as automobiles and aircrafts consist of multiple embedded controllers connected through embedded network interconnects. Such network inte...
136
click to vote
JSS
2006
15 years 2 months ago
2006
The Mobile Agent Intrusion Detection System (MAIDS) is an agent based distributed Intrusion Detection System (IDS). A disciplined requirement engineering process is developed to b...
108
Voted
ICCBR
2003
Springer
15 years 8 months ago
2003
Springer
A generic Case-Based Reasoning tool has been designed, implemented, and successfully used in two distinct applications. SOFT-CBR can be applied to a wide range of decision problems...
119
Voted
IWPC
2002
IEEE
15 years 7 months ago
2002
IEEE
Most previously published case studies in architecture recovery have been performed on statically linked software systems. Due to the increase in use of middleware technologies, s...