1829 search results - page 47 / 366 » Towards Validation of Requirements Models |
ACSAC
2007
IEEE
15 years 3 months ago
2007
IEEE
A protection profile for high-robustness separation kernels has recently been validated and several implementations are under development. However, medium-robustness separation ke...
RTAS
2010
IEEE
14 years 9 months ago
2010
IEEE
Many safety-critical embedded systems are subject to certification requirements; some systems may be required to meet multiple sets of certification requirements, from different c...
110
click to vote
SIGMETRICS
2008
ACM
14 years 11 months ago
2008
ACM
Abstract. When installing network intrusion detection systems (NIDSs), operators are faced with a large number of parameters and analysis options for tuning trade-offs between dete...
DMDW
2001
15 years 1 months ago
2001
Organizations are adopting datawarehouses to manage information efficiently as "the" main organizational asset. It is essential that we can assure the information qualit...
146
click to vote
SADFE
2007
IEEE
15 years 6 months ago
2007
IEEE
The existing solutions in the field of computer forensics are largely ad hoc. This paper discusses the need for a rigorous model of forensics and outlines qualities that such a m...