Technical Reports - 2008

A Rewrite-based Approach for Change Impact Analysis of Communicating Systems using a Theorem Prover (cst-2008-3)
Mahadevan Subramaniam and Bo Guo

A Coherent Measurement of Web Search Relevance (cst-2008-2)
William Mahoney, Peter Hospodka, William Sousan, Ryan Nickell and Qiuming Zhu

Collecting Open Source Intelligence via Tailored Information Delivery Services (cst-2008-1)
William L. Sousan, Qiuming Zhu, Ryan Nickell, William Mahoney and Pete Hospodka