2255 search results - page 127 / 451 » High Assurance Software Systems |
CSEE
2009
Springer
14 years 4 months ago
2009
Springer
The wicked nature of software architecture calls for educational methodologies that deviate from the traditional active lecturer-passive student relation. In this paper we present...
IJIT
2004
13 years 11 months ago
2004
State-based testing is frequently used in software testing. Test data generation is one of the key issues in software testing. A properly generated test suite may not only locate t...
HOTOS
1997
IEEE
14 years 2 months ago
1997
IEEE
To an unappreciated degree, research both in operating systems andtheirprogramminglanguageshasbeen severely hampered by the lack of cleanly reusable code providing mundanelow-leve...
PPAM
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...
MSS
1999
IEEE
14 years 2 months ago
1999
IEEE
Benchmark tests have been designed and conducted for the purpose of evaluating the use of automated tape libraries in on-line digital check image retrieval applications. This type...