2210 search results - page 130 / 442 » Decision Support By Learning-On-Demand |
198
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
159
click to vote
ICSE
2004
IEEE-ACM
16 years 6 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...
138
click to vote
HICSS
2007
IEEE
16 years 24 days ago
2007
IEEE
This paper describes the development of tools to support better scheduling and sequencing of barge tows on a congested portion of the Upper Mississippi River. Our study section co...
180
click to vote
DATE
1997
IEEE
15 years 10 months ago
1997
IEEE
In modern computer systems the performance is dominated by the memory performance. Currently, there is neither a systematic design methodology nor a tool for the design of memory ...
154
click to vote
METRICS
1997
IEEE
15 years 10 months ago
1997
IEEE
The shapes of forests of inheritance trees can affect the amount of code reuse in an object-oriented system. Designers can benefit from knowing how structuring decisions affect r...