This paper describes PRISM, a scalable monitoring service that makes imprecision a first-class abstraction. Exposing imprecision is essential for both correctness in the face of network and node failures and for scalability to large systems. PRISM quantifies imprecision along a threedimensional vector: arithmetic imprecision (AI) and temporal imprecision (TI) balance precision against monitorin...