Measuring and Reasoning About Performance