We present the results of a three year field study of the software development process choices made by project teams at two leading offshore vendors. In particular, we focus on th...
Every bug has a story behind it. The people that discover and resolve it need to coordinate, to get information from documents, tools, or other people, and to navigate through iss...
In this work we present a novel approach for learning nonhomogenous textures without facing the unlearning problem. Our learning method mimics the human behavior of selective lear...
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
An -appro ximate quantile summary of a sequence of N elements is a data structure that can answer quantile queries about the sequence to within a precision of N. We presen t a new...