4350 search results - page 650 / 870 » Case studies for contract-based systems |
141
click to vote
EOR
2006
15 years 4 months ago
2006
The success of a company increasingly depends on timely information (internal or external) being available to the right person at the right time for crucial managerial decision-ma...
117
click to vote
ENTCS
2007
15 years 4 months ago
2007
When developing systems based on COTS, components need to be adapted in most of the occasions to work under certain conditions which were not initially predicted by their develope...
129
click to vote
JSS
2007
15 years 4 months ago
2007
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
129
Voted
IGPL
2010
15 years 2 months ago
2010
This paper is a contribution to the formalisation of Thagard’s coherence theory. The term coherence is defined as the quality or the state of cohering, especially a logical, ord...
153
click to vote
TC
2010
15 years 2 months ago
2010
— Although data prefetching algorithms have been extensively studied for years, there is no counterpart research done for metadata access performance. Existing data prefetching a...