2838 search results - page 296 / 568 » Verifying Controlled Components |
139
Voted
ISOLA
2010
Springer
15 years 15 days ago
2010
Springer
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
124
Voted
CACM
2010
15 years 21 hour ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
169
Voted
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
We present a simple, accurate, and flexible method to calibrate intrinsic parameters of a camera together with (possibly significant) lens distortion. This new method can work u...
116
Voted
IEEEVAST
2010
14 years 9 months ago
2010
Diagnosing faults in an operational computer network is a frustrating, time-consuming exercise. Despite advances, automatic diagnostic tools are far from perfect: they occasionall...
108
Voted
TIP
2010
14 years 9 months ago
2010
Abstract--This paper proposes a robust single-image super-resolution method for enlarging low quality web image/video degraded by downsampling and compression. To simultaneously im...