3970 search results - page 45 / 794 » A Logic For Causal Reasoning |
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
Software metrics should support managerial decision making in software projects. We explain how traditional metrics approaches, such as regression-based models for cost estimation...
FM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
LICS
1997
IEEE
13 years 12 months ago
1997
IEEE
KR
1994
Springer
13 years 11 months ago
1994
Springer
ELP
1989
13 years 11 months ago
1989