Recent work in the field of middleware technology proposes semantic spaces as a tool for coping with the scalability, heterogeneity and dynamism issues arising in large scale dist...
Configuring and deploying a large software system is complicated when the system is composed of components and when there are numerous possible configurations for the system. In s...
Dennis Heimbigner, Richard S. Hall, Alexander L. W...
In this paper, the development of a three-dimensional (3-D) odometry system for wheeled robots on loose soil in an application of planetary exploration is described. When a wheele...
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
Laya Madani, Virginia Papailiopoulou, Ioannis Pari...