Sciweavers

4095 search results - page 285 / 819
» How to test a tree
Sort
View
98
Voted
ISSRE
2003
IEEE
15 years 6 months ago
Anomalies as Precursors of Field Failures
Reproducing and learning from failures in deployed software is costly and difficult. Those activities can be facilitated, however, if the circumstances leading to a failure are p...
Sebastian G. Elbaum, Satya Kanduri, Anneliese Amsc...
143
Voted
WWIC
2010
Springer
575views Communications» more  WWIC 2010»
15 years 5 months ago
Techniques for Measuring Quality of Experience
Quality of Experience (QoE) relates to how users perceive the quality of an application. To capture such a subjective measure, either by subjective tests or via objective tools, is...
Fernando A. Kuipers, Robert E. Kooij, Danny De Vle...
AGP
1998
IEEE
15 years 5 months ago
Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints
We compare two (apparently) rather different set-based constraint languages, and we show that, in spite of their different origins and aims, there are large classes of constraint ...
Agostino Dovier, Carla Piazza, Gianfranco Rossi
RANDOM
1999
Springer
15 years 5 months ago
Fast Approximate PCPs for Multidimensional Bin-Packing Problems
Abstract. We consider approximate PCPs for multidimensional bin-packing problems. In particular, we show how a verifier can be quickly convinced that a set of multidimensional blo...
Tugkan Batu, Ronitt Rubinfeld, Patrick White
107
Voted
CAISE
2006
Springer
15 years 4 months ago
Validation of Regulation Documents by Automated Analysis of Formal Models
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie V...