1213 search results - page 30 / 243 » Traceability for System Families |
CBSE
2006
Springer
15 years 3 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
A web based system is described for the delivery of evidence-based behavioral interventions in the home for a variety of mental health problems in children. The goal of the interv...
104
click to vote
HICSS
1994
IEEE
15 years 4 months ago
1994
IEEE
A method is described for identification and classification of proteins encoded in large DNA sequences. Previously, an automated system was introduced for the general detection of...
SERP
2004
15 years 1 months ago
2004
David Parnas wrote several papers in the 1970's and 1980's that are now considered classics. The concepts he advocated such as information hiding and bstract interfaces ...
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
Abstract-- Given a family of real or complex monic polynomials of fixed degree with one fixed affine constraint on their coefficients, consider the problem of minimizing the root r...