1940 search results - page 305 / 388 » Dependable Software: An Oxymoron |
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
The insider threat has assumed increasing importance as our dependence on critical cyber information infrastructure has increased. In this paper we describe an approach for thwart...
DSN
2009
IEEE
14 years 3 months ago
2009
IEEE
Fault injection, a critical aspect of testing robust systems, is often overlooked in the development of generalpurpose software. We believe this is due to the absence of easy-to-u...
ICAS
2009
IEEE
14 years 3 months ago
2009
IEEE
Policies form an important part of management and can be an effective means of implementing self-adaptation in pervasive systems. Most policy-based systems focus on large-scale ne...
ISCC
2009
IEEE
14 years 3 months ago
2009
IEEE
Reconfigurable computing is one of the most recent research topics in computer science. The Altera™ Nios II soft-core processor can be included in a large set of reconfigurable ...
RTAS
2009
IEEE
14 years 3 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...