Web applications are increasingly prominent in society, serving a wide variety of user needs. Engineers seeking to enhance, test, and maintain these applications and third-party pr...
Marc Fisher II, Sebastian G. Elbaum, Gregg Rotherm...
In this paper, we propose a novel approach for the robust detection and classification of dissolve sequences in videos. Our approach is based on the multi-resolution representati...
This paper explores and evaluates the support for objectfocused collaboration provided by a desktop Collaborative Virtual Environment. The system was used to support an experiment...
Jon Hindmarsh, Mike Fraser, Christian Heath, Steve...
We discuss our study that looks at family members as everyday designers. We explain the design actions of family members to be creative, as evidenced by the resourceful appropriat...
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...