1938 search results - page 301 / 388 » Dependable Software |
106
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Projector-camera systems use computer vision to analyze their surroundings and display feedback directly onto real world objects, as embodied by spatial augmented reality. To be e...
119
click to vote
SAC
2010
ACM
15 years 9 months ago
2010
ACM
This paper presents the Referrer Graph (RG) web prediction algorithm as a low-cost solution to predict next web user accesses. RG is aimed at being used in a real web system with ...
104
Voted
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...
120
click to vote
HICSS
2009
IEEE
15 years 9 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...
103
click to vote
DSN
2009
IEEE
15 years 9 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...