Publish/subscribe (pub/sub) is an attractive communication paradigm for large-scale
distributed applications running across multiple administrative domains. Pub/sub allows …

As the use of SAT solvers as core engines in EDA applications grows, it becomes
increasingly important to validate their correctness. In this paper, we describe the …

Distributed publish/subscribe systems are naturally suited for processing events in
distributed systems. However, support for expressing patterns about distributed events and …

Workflow management systems are traditionally centralized, creating a single point of failure
and a scalability bottleneck. In collaboration with Cybermation, Inc., we have developed a …

Content-based routing (CBR) is a powerful model that supports scalable asynchronous
communication among large sets of geographically distributed nodes. Yet, preserving …

As high-end systems move toward exascale sizes, a new model of scientific inquiry being
developed is one in which online data analytics run concurrently with the high end …

BE-Tree is a novel dynamic tree data structure designed to efficiently index Boolean
expressions over a high-dimensional discrete space. BE-Tree copes with both high …

This chapter introduces PADRES, the publish/subscribe model with the capability to
correlate events, uniformly access data produced in the past and future, balance the traffic …

Most work in visual augmented reality (AR) employs predefined markers or models that
simplify the algorithms needed for sensor positioning and augmentation but at the cost of …

RDF is increasingly being used to represent metadata. RDF Site Summary (RSS) is an
application of RDF on the Web that has considerably grown in popularity. However, the way …