We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
Heather Goldsby, Betty H. C. Cheng, Philip K. McKi...
In practice, a pure top-down and refinement-based development process is not applicable. A more iterative and incremental approach is usually applied with respect to changing req...
In this paper, we introduce an experimental approach to the design, analysis and implementation of market mechanisms based on double auction. We define a formal market model that ...
— This paper proposes a synthetic in vitro circuit that aims at regulating the rate of RNA transcription through positive feedback interactions. This design is dual to a previous...
In a number of industrial, space, or mobile systems applications, reaction forces and moments transmitted by a manipulator to its base are undesirable. Based on force and moment t...