Event detection and correlation for network environments | IEEE Journals & Magazine | IEEE Xplore