2255 search results - page 2 / 451 » High Assurance Software Systems |
ACSAC
2003
IEEE
13 years 10 months ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
HASE
2002
IEEE
13 years 10 months ago
2002
IEEE
The Japanese computer industry in 1990s was hit with two major shocks at the same time. One shock was the drastic reform of computers and of network. The other shock was from the ...
COMPSAC
2004
IEEE
13 years 9 months ago
2004
IEEE
This paper applies Lehman's theory of software evolution to analyse the characteristics of web-based applications and identifies the essences and incidents that cause difficu...
COMPSAC
2006
IEEE
13 years 11 months ago
2006
IEEE
The Sage development method and associated tool set support an incremental, iterative, model-driven process to build and maintain high assurance, reactive multi-agent systems. A s...
DSN
2005
IEEE
13 years 10 months ago
2005
IEEE
Hardware dependability improvements have led to a situation in which it is sometimes unnecessary to employ extensive hardware replication to mask hardware faults. Expanding upon o...