2255 search results - page 118 / 451 » High Assurance Software Systems |
COMPSAC
2007
IEEE
14 years 2 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
WORDS
2005
IEEE
14 years 3 months ago
2005
IEEE
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...
DAC
2011
ACM
12 years 9 months ago
2011
ACM
We present ChronOS Linux, a best-effort real-time Linux kernel for chip multiprocessors (CMPs). ChronOS addresses the intersection of three problem spaces: a) OS-support for obta...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
The recent emergence of web mash-ups and open source software is driving the development of new practices in software and systems development. In this paper we explore novel pract...
COMPSAC
2002
IEEE
14 years 3 months ago
2002
IEEE
Technology presented in the paper [1] allows validation of software architecture before component upgrades. This paper presents a case study of applying this method to the upgrade ...