2255 search results - page 319 / 451 » High Assurance Software Systems |
169
click to vote
ISCA
2010
IEEE
15 years 4 months ago
2010
IEEE
As the effective limits of frequency and instruction level parallelism have been reached, the strategy of microprocessor vendors has changed to increase the number of processing ...
201
click to vote
CSMR
2010
IEEE
15 years 1 months ago
2010
IEEE
To avoid unnecessary maintenance costs in large IT systems resulting from poorly planned changes, it is essential to manage and control changes to the system and to verify that all...
137
Voted
OSDI
2004
ACM
16 years 6 months ago
2004
ACM
A significant fraction of software failures in large-scale Internet systems are cured by rebooting, even when the exact failure causes are unknown. However, rebooting can be expen...
179
click to vote
HICSS
2009
IEEE
16 years 1 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...
178
Voted
COMSWARE
2007
IEEE
16 years 18 days ago
2007
IEEE
1 As distributed systems scale up and are deployed into increasingly sensitive settings, demand is rising for a new generation of communications middleware in support of applicati...