1213 search results - page 93 / 243 » Traceability for System Families |
140
click to vote
LICS
2007
IEEE
16 years 18 days ago
2007
IEEE
We show that tree-like (Gentzen’s calculus) PK where all cut formulas have depth at most a constant d does not simulate cut-free PK. Generally, we exhibit a family of sequents t...
156
click to vote
RISE
2005
Springer
15 years 11 months ago
2005
Springer
Software Product Line (SPL) engineering allows designers to reason about an entire family of software applications, instead of a single product, with a strategic importance for the...
173
click to vote
DAC
1999
ACM
15 years 10 months ago
1999
ACM
As the family of Alpha microprocessors continues to scale into more advanced technologies with very high frequency edge rates and multiple layers of interconnect, the issue of cha...
163
click to vote
ESAW
2008
Springer
15 years 8 months ago
2008
Springer
The IODA methodology allows automated construction of models from an ontology, consisting of generic interactions that we can assign to families of agents. Thanks to the measuremen...
139
click to vote
IJCM
2007
15 years 6 months ago
2007
We present splitting methods for numerically solving a certain class of explicitly time-dependent linear differential equations. Starting from an efficient method for the autonom...