The EvoSpaces reverse-engineering tool represents the architecture and metrics of complex software systems as 3D software cities. By navigating and interacting with this world, th...
Obligations are pervasive in modern systems, often linked to access control decisions. We present a very general model of obligations as objects with state, and discuss its interac...
Daniel J. Dougherty, Kathi Fisler, Shriram Krishna...
— In this paper, we describe a framework for the autonomous capture and servicing of satellites. The work is based on laboratory experiments that illustrate the autonomy and remo...
A haptic display system is presented for manipulating virtual mechanisms derived from a mechanical CAD design. Links are designed and assembled into mechanisms using Utah's A...
Ali Nahvi, Donald D. Nelson, John M. Hollerbach, D...
We have de ned an execution architecture for playing back synchronized multimedia documents. We suppose that such documents i ed by means of several abstractions including hypertim...