2255 search results - page 22 / 451 » High Assurance Software Systems |
WCRE
2003
IEEE
14 years 1 months ago
2003
IEEE
One prevalent method for evaluating the results of automated software analysis tools is to compare the tools’ output to the judgment of human experts. This evaluation strategy i...
CCS
2004
ACM
14 years 2 months ago
2004
ACM
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...
ICSE
2007
IEEE-ACM
14 years 2 months ago
2007
IEEE-ACM
Cost, schedule and quality are highly correlated factors in software development. They basically form three sides of the same triangle. Beyond a certain point (the “Quality is F...
HASE
2008
IEEE
14 years 3 months ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
HASE
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper presents a scalable, adaptive and timebounded general approach to assure reliable, real-time Node-Failure Detection (NFD) for large-scale, high load networks comprised ...