Declarative Network Monitoring with an Underprovisioned Query Processor | IEEE Conference Publication | IEEE Xplore