Computational Revision of Quantitative Scientific Models