This paper analyzes the SAT05 solver competition on industrial instances. We carefully investigate the performance of solvers from the competition and demonstration categories. We...
Nothing does a software company’s reputation more harm than poor quality. One significant contributor to delivered quality is how thoroughly the software is tested. In this issu...
In this concluding synthesis article, I summarize and discuss the papers that comprise both parts of this special issues. Two organizing frameworks are provided to facilitate read...
Wikipedia is a free web-based encyclopedia. It is written in collaboration by hundred of thousands of contributors [2]. It runs on the Open Source MediaWiki wiki engine. Introduci...
Our research explored factors that impacted the use of wikis as a tool to support the dissemination of knowledge within an enterprise. Although we primarily talked to a population...
Lester J. Holtzblatt, Laurie E. Damianos, Daniel W...