A Framework for Validating Computer Models