Three Dream Applications of Verifiable Computational Results

Verifiable Computational Results (VCR) is a disciplined approach to computer-based research that requires subtle adjustment to the work habits of scientists, and in return automatically converts their results into permanent Web services. This article describes how VCR makes computational results accessible to three specific Dream Applications, which allow researchers to search, reuse, and experiment upon published computational results.