The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
A closed-loop model with actuator dynamics and sensory feedback has been developed to capture the complex postural behaviors observed in a human head tracking task. In motor-contro...
Vincent Bonnet, Philippe Fraisse, Nacim Ramdani, J...
A shared disk implementation on distributed storage requires consistent behavior of disk operations. Deterministic consensus on such behavior is impossible when even a single stor...
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...
Markus Herrmannsdoerfer, Sabine Rittmann, Bernhard...
Abstract. Virtual training systems are increasingly used for the training of complex, dynamic tasks. To give trainees the opportunity to train autonomously, intelligent agents are ...