Leftist grammars [Motwani et al., STOC 2000] are special semi-Thue systems where symbols can only insert or erase to their left. We develop a theory of leftist grammars seen as wor...
Abstract— This paper describes a novel approach for multirobot caging and manipulation, which relies on the team of robots forming patterns that trap the object to be manipulated...
We present a scalable architectural approach which aims to simplify embedded software development by supporting key development tasks like debugging, tracing and monitoring. Our a...
CBSE currently lacks a universally accepted terminology. Existing component models adopt different component definitions and composition operators. We believe that for future res...
In this paper, we describe design motivations and experience with a visual language that treats the architecture of a reactive system as a composition of small, asynchronous softw...