Most current software systems contain undocumented high-level ideas implemented across multiple files and modules. When developers perform program maintenance tasks, they often wa...
David Shepherd, Zachary P. Fry, Emily Hill, Lori L...
Abstract. Development of composed services requires a continues adaptation of the composed service to the changing environment of offered services. Services may no longer be avail...
The aim of the paper is to present the results of research into Component-Based software development by providing a specification mechanism allowing searching for components in a ...
Rune Meling, E. James Montgomery, Pon Sudha Ponnus...
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
Francis Schneider, Steve M. Easterbrook, John R. C...
We describe an algorithm for similar-image search which
is designed to be efficient for extremely large collections of
images. For each query, a small response set is selected by...
Lorenzo Torresani (Dartmouth College), Martin Szum...