— This paper proposes a motion duplication control scheme, which not only synchronizes motions between two distributed separate dynamic systems but also perfectly preserves presc...
This work describes the proposal of a set of mechanisms to be applied in distributed component-based systems to allow the development of real-time applications capable of offering...
Abstract. We describe and model a new aspect in the design of distributed information systems. We build upon a previously described problem on the microlevel, which asks how quickl...
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...