ation Oriented Action (CO action) is a modelling abstraction for representing collaborative behaviour between objects at different phases of the software development. In this pape...
The paper presents a general model for persistent replicated object management and identifies what meta information about objects needs to be maintained by a naming and binding se...
Mark C. Little, Daniel L. McCue, Santosh K. Shriva...
This paper proposes an optimal approach to infinite-state action planning exploiting automata theory. State sets and actions are characterized by Presburger formulas and represent...
People frequently complain that it is too difficult to figure out how to get computers to do what they want. However, with a computer system that actually tries to understand what...
We present an interactive visualization tool that provides users with the capability of cutting away the surfaces of enclosing objects to reveal interior or occluded objects. This ...