Monitoring distributed systems: a publish/subscribe methodology and architecture | IEEE Conference Publication | IEEE Xplore