5128 search results - page 146 / 1026 » When Abstraction Fails |
184
click to vote
EDCC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
150
click to vote
EMMCVPR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We propose a model of the shape, motion and appearance of a sequence of images that captures occlusions, scene deformations, arbitrary viewpoint variations and changes in...
143
click to vote
EUROPAR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Accurately modeling and predicting performance for largescale applications becomes increasingly difficult as system complexity scales dramatically. Analytic predictive mo...
135
click to vote
IEAAIE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
144
click to vote
IH
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. “Censorship resistant” systems attempt to prevent censors from imposing a particular distribution of content across a system. In this paper, we introduce a variation ...