1347 search results - page 101 / 270 » A Web-based requirements analysis tool |
115
click to vote
IWIA
2005
IEEE
15 years 6 months ago
2005
IEEE
Intrusion detection systems alert the system administrators of intrusions but, in most cases, do not provide details about which system events are relevant to the intrusion and ho...
81
Voted
SEFM
2005
IEEE
15 years 6 months ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
98
Voted
HASE
1999
IEEE
15 years 5 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
127
click to vote
WSC
2000
15 years 2 months ago
2000
Discrete Event Simulation (DES) has been used as a design and validation tool in various production and business applications. DES can also be utilized for analyzing the product-m...
125
Voted
ENTCS
2006
15 years 21 days ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...