1288 search results - page 47 / 258 » On Analysis of Design Component Contracts: A Case Study |
ICCBR
1997
Springer
15 years 4 months ago
1997
Springer
This paper describes the dual use of a case base for diagnosis and for improving the design of a manufacturing process. In the short term, the case base is used to provide past ex...
COORDINATION
2004
Springer
15 years 5 months ago
2004
Springer
As a case study that illustrates our view on coordination and component-based software engineering, we present the design and implementation of a parallel constraint solver. The pa...
ICSE
2009
IEEE-ACM
14 years 9 months ago
2009
IEEE-ACM
Existing black-box adaptation techniques are insufficiently powerful for a large class of real-world tasks. Meanwhile, white-box techniques are language-specificand overly invasiv...
WINE
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Most existing market maker mechanisms for prediction markets are designed for events with a finite number of outcomes. All known attempts on designing market makers for f...
134
click to vote
ESE
2006
14 years 11 months ago
2006
Test case prioritization provides a way to run test cases with the highest priority earliest. Numerous empirical studies have shown that prioritization can improve a test suite�...