The goal of the GovStat Project is to create an integrated model that facilitates access and use of U.S. government statistical information. The vocabulary support team within the...
Maria Cristina Pattuelli, Stephanie W. Haas, Ron T...
In recent years, CP-nets have emerged as a useful tool for supporting preference elicitation, reasoning, and representation. CP-nets capture and support reasoning with qualitative...
Ronen I. Brafman, Carmel Domshlak, Solomon Eyal Sh...
Abstract. We present GUPU, a side-effect free environment specialized for programming courses. It seamlessly guides and supports students during all phases of program development, ...
Society’s increasing dependence on software-intensive systems is driving the need for dependable, robust, continuously available systems. Runtime system reconfiguration is one a...
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...