Formal Verification (10)
Efficient Filtering in Publish-Subscribe Systems using Binary Decision Diagrams
Software Engineering, 2001. ICSE 2001. Proceedings of the 23rd International Conference on (2001)
Implicit invocation or publish-subscribe has become an important architectural style for large-scale system design and evolution. The publish-subscribe style facilitates ...