We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that sof...
There are many similarities between industrial goods manufacturing and software development processes. This paper first briefly analyzes the recent developments in goods manufactur...
Mehmet Aksit, Francesco Marcelloni, Bedir Tekinerd...
The rational agent community uses Michael Bratman's planning theory of intention as its theoretical foundation for the development of its agentoriented BDI languages. We prese...
The Gesture and Activity Recognition Toolit (GART) is a user interface toolkit designed to enable the development of gestureplications. GART provides an abstraction to machine lear...
Kent Lyons, Helene Brashear, Tracy L. Westeyn, Jun...
This paper investigates the control algorithm of an exoskeleton for hand rehabilitation, which accomplishes both active and passive control mode. A double closed loop control struc...