15644 search results - page 2636 / 3129 » Brittle System Analysis |
185
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
The increasing complexity of configurable software systems creates a need for more intelligent sampling mechanisms to detect and locate failure-inducing dependencies between confi...
154
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
172
Voted
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
The growing popularity of aspect-oriented languages, such as AspectJ, and of corresponding design approaches, makes it important to learn how best to modularize programs in which ...
187
click to vote
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
Knowing the subcellular location of a protein is critical to a full understanding of its function, and automated, objective methods for assigning locations are needed as part of t...
209
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
We present a novel method of statistical surface-based morphometry based on the use of non-parametric permutation tests. In order to evaluate morphologicaldifferences of brain str...