Match-Ladder: An efficient event matching algorithm in large-scale content-based publish/subscribe system | IEEE Conference Publication | IEEE Xplore