DI-Tree: A Dual-ended Interval Tree for Efficient Event Matching in Content-based Pub/Sub Systems | IEEE Conference Publication | IEEE Xplore