Efficient Filtering in Publish-Subscribe Systems Using Binary Decision.

Alexis Campailla, Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith

Browse the full ICSE paper archive.