The merit of automatic graph layout algorithms is typically judged on their computational efficiency and the extent to which they conform to aesthetic criteria (for example, minimi...
Helen C. Purchase, Jo-Anne Allder, David A. Carrin...
ions that are fundamental to simulators. We present preliminary results that show how our PLA and DSL synergistically produce a more flexible way of implementing state-machine-base...
Don S. Batory, Clay Johnson, Bob MacDonald, Dale v...
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
We are designing a computational architecture for a "learning economy" based on personal software agents who represent users in a virtual society and assist them in find...
The needs of surgeons for computer-assisted systems cannot be satisfied unless their requirements and expectations are known. We determined surgeons' needs for computer-aided ...
Sarah Graham, Russell H. Taylor, Michael W. Vannie...