2740 search results - page 116 / 548 » A Model-Based Approach To Requirements Analysis |
RE
2006
Springer
13 years 10 months ago
2006
Springer
We introduce a variability-intensive approach to goal decomposition that is tailored to support requirements identification for highly customizable software. The approach is based...
RECOMB
2006
Springer
14 years 10 months ago
2006
Springer
Permutation of class labels is a common approach to build null distributions for significance analyis of microarray data. It is assumed to produce random score distributions, which...
TACAS
2010
Springer
14 years 5 months ago
2010
Springer
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
A self-stabilizing protocol is a brilliant framework for fault tolerance. It can recover from any number and any type of transient faults and eventually converge to its intended b...
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...