15421 search results - page 3029 / 3085 » Dependability |
SOCIALCOM
2010
14 years 9 months ago
2010
In recent years, several researchers have proposed techniques for providing users with assistance in understanding and overcoming authorization denials. The incorporation of envir...
134
click to vote
SP
2010
IEEE
14 years 9 months ago
2010
IEEE
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
113
click to vote
TACAS
2010
Springer
14 years 9 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
UIST
2010
ACM
14 years 9 months ago
2010
ACM
Data quality is critical for many information-intensive applications. One of the best opportunities to improve data quality is during entry. USHER provides a theoretical, data-dri...
116
click to vote
WAOA
2010
Springer
14 years 9 months ago
2010
Springer
The past few years have witnessed a number of interesting online algorithms for deadline scheduling in the dynamic speed scaling model (in which a processor can vary its speed to ...