An intermediate-level specification formalism (i.e., specification language supported by laws and a semantic model), Logs, is presented for PRAM and...

Scalable formal analysis of reactive programs demands integration of modular reasoning techniques with existing analysis tools. Modular reasoning pri...

The rapid evolution of XML from a mere data exchange format to a universal syntax for encoding domain-specific information raises the need for new que...

Array bound checking refers to determining whether all array references in a program are within their declared ranges. This checking is critical for s...

We present a user-centric system for visualization and layout for content-based image retrieval. Image features (visual and/or semantic) are used to...