1288 search results - page 47 / 258 » On Analysis of Design Component Contracts: A Case Study |
ICCBR
1997
Springer
15 years 5 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 7 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 11 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...
113
click to vote
WINE
2010
Springer
14 years 11 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...
155
click to vote
ESE
2006
15 years 1 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�...