8947 search results - page 1653 / 1790 » Improving software quality |
147
click to vote
DAC
2005
ACM
15 years 7 months ago
2005
ACM
Finding all satisfying assignments of a propositional formula has many applications in the design of hardware and software. An approach to this problem augments a clause-recording...
153
click to vote
CLEF
2008
Springer
15 years 7 months ago
2008
Springer
The wikipediaMM task provides a testbed for the system-oriented evaluation of ad-hoc retrieval from a collection of Wikipedia images. It became a part of the ImageCLEF evaluation ...
148
Voted
CPAIOR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Replication is a fundamental technique for increasing throughput and achieving fault tolerance in distributed data services. However, its implementation may induce signif...
139
click to vote
DAS
2008
Springer
15 years 7 months ago
2008
Springer
Certain forms of mathematical expression are used more often than others in practice. A quantitative understanding of actual usage can provide additional information to improve th...
159
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
The use of rules in business modeling is becoming more and more important, in applications requiring dynamic change of behavior. A number of rule languages and tools have been prop...