3547 search results - page 565 / 710 » Pseudo-Exhaustive Testing for Software |
204
click to vote
VL
2005
IEEE
16 years 3 days ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
155
click to vote
IUI
2005
ACM
16 years 2 days ago
2005
ACM
In order for intelligent systems to be applicable in a wide range of situations, end users must be able to modify their task descriptions. We introduce Tailor, a system that allow...
147
click to vote
KCAP
2005
ACM
16 years 2 days ago
2005
ACM
In order to evaluate the performance of ontology matching algorithms it is necessary to confront them with test ontologies and to compare the results. The most prominent criteria ...
173
click to vote
AADEBUG
2005
Springer
16 years 2 days ago
2005
Springer
Reprogrammable hardware systems are traditionally very difficult to debug due to their high level of parallelism. In our solution to this problem, features are inserted into the u...
182
click to vote
CBSE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Predicting the performance of component-based applications is difficult due to the complexity of the underlying component technology. This problem is exacerbated when a m...