2255 search results - page 42 / 451 » High Assurance Software Systems |
IWPSE
2003
IEEE
14 years 1 months ago
2003
IEEE
It is remarkable to think that even without any interest in finding suitable methods and concepts that would allow complex software systems to evolve and remain manageable, the e...
PROMISE
2010
13 years 3 months ago
2010
As software has been pervasive and various software projects have been executed since the 1970s, software project management has played a significant role in software industry. Th...
ICCS
2007
Springer
14 years 2 months ago
2007
Springer
A recent trend in modern high performance computing (HPC) system architectures employs “lean” compute nodes running a lightweight operating system (OS). Certain parts of the OS...
RE
2001
Springer
14 years 1 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
COMSWARE
2007
IEEE
14 years 3 months ago
2007
IEEE
— We propose the concept of Overlay-linked IntServ (OLIntServ), a system architecture that combines network overlays with intra-domain QoS to provide assured communications over ...