The IEEE 802.11 standard for medium access control in wireless local area networks has been adopted as the de-facto medium access control standard in multi-hop wireless networks. I...
— Providing powerful and fine-grained capabilities for the analysis and management of non-functional properties is a major challenge for component-based software systems. This a...
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...
tions at runtime. We introduce the abstract service and adapter components which allow us to separate the compensation logic from the coordination logic. In this way, we can easily...
In this paper, we present a paradigm for coordinating multiple robots in the execution of cooperative tasks. The basic idea in the paper is to assign to each robot in the team, a ...
Luiz Chaimowicz, Vijay Kumar, Mario Fernando Monte...