Dissertation Summaries

Summaries ∗

Current techniques for validating and verifying program changes often consider the entire program, even for small changes, leading to enormous V&V costs over a program’s lifetime. This is due, in large part, to the use of syntactic program differencing techniques which are necessarily imprecise. Building on recent advances in symbolic execution of heap manipulating programs, in this paper, we d...

Query-Focused Summaries or Query-Biased Summaries?

In the context of the Document Understanding Conferences, the task of Query-Focused Multi-Document Summarization is intended to improve agreement in content among humangenerated model summaries. Query-focus also aids the automated summarizers in directing the summary at specific topics, which may result in better agreement with these model summaries. However, while query focus correlates with p...

Article Summaries

T he effective use and widespread adoption of Web services technologies require new frameworks and systems for the conceptual modeling, analysis, management, simulation, and testing of service models and abstractions. These frameworks can provide a basis for matching service specifications or checking compatibility and replaceability among services as well as conformance with standards based on...

Article Summaries

I n recent years, radio-frequency identification has evolved from an arcane business technology into a personal technology that directly affects individuals as they participate in their daily activities. Supermarkets and other retailers around the world are currently planning large-scale item-level deployments in consumer goods, leaving few citizens in developed societies unaffected as the tech...

Research Summaries