Design problems involve issues of stylistic preference and flexible standards of success; human designers often proceed by intuition and are unaware of following any strict rule-b...
Network-centric computing aims to solve the problems associated with traditional client/server systems, namely the high performance requirements, and costly maintenance of, the co...
The VideoMouse is a mouse that uses a camera as its input sensor. A real-time vision algorithm determines the six degree-of-freedom mouse posture, consisting of 2D motion, tilt in...
Ken Hinckley, Mike Sinclair, Erik Hanson, Richard ...
Distributed real-time applications have presented the need to extend the Object Management Group's OMG Common Object Request Broker Architecture CORBA standard to support rea...
Lisa Cingiser DiPippo, Victor Fay Wolfe, Roman Gin...
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...