1541 search results - page 285 / 309 » Tools and Techniques for Model Checking Networked Programs |
IFIP
2001
Springer
15 years 4 months ago
2001
Springer
Effective security management depends upon good risk management, which is itself based upon a reliable risk assessment, involving data collection of all the facets influencing sys...
101
click to vote
ISVLSI
2008
IEEE
15 years 6 months ago
2008
IEEE
In nanometer regime, the effects of process variations are dominating circuit performance, power and reliability of circuits. Hence, it is important to properly manage variation e...
111
Voted
RAID
1999
Springer
15 years 4 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]. ...
143
Voted
KDD
2003
ACM
16 years 25 days ago
2003
ACM
In today's industry, the design of software tests is mostly based on the testers' expertise, while test automation tools are limited to execution of pre-planned tests on...
111
click to vote
WSC
2000
15 years 1 months ago
2000
Computation of power control calculations is one of the most time-consuming aspects of simulating wireless communication systems. These calculations are critical to understanding ...