An approach for metrics-based tool support for the task of understanding object oriented software systems is presented. It stresses the combined presentation of structural informa...
In this work we investigate the effects of rephrasing the user's input on two mobile spoken dialogue systems. We argue that for specific kinds of applications it's impor...
Let A be a 0 - 1 matrix with precisely two 1's in each column and let 1 be the all-one vector. We show that the problems of deciding whether the linear system Ax 1, x 0 (1)...
A bytecode verifier for the Java virtual machine language (JVML) statically checks that bytecode does not cause any fatal error. However, the present verifier does not check correc...
We examine correlations in a time series of electric power system blackout sizes using scaled window variance analysis and R/S statistics. The data shows some evidence of long tim...
Benjamin A. Carreras, David E. Newman, Ian Dobson,...