This report presents the development of tactile sensing-based control architecture in a multi-fingered humanoid robot arm for object manipulation tasks. With the aim to enhance the...
Hanafiah B. Yussof, Masahiro Ohka, Hirofumi Suzuki...
This paper deals with privacy-preserving (pseudonymized) access to a service resource. In such a scenario, two opposite needs seem to emerge. On one side, the service provider may...
Giuseppe Bianchi, M. Bonola, Vincenzo Falletta, Fr...
A lot of progress has been made to secure network communication, e.g., through the use of cryptographic algorithms. However, this offers only a partial solution as long as the com...
As code generation for synchronous programs requires strong safety properties to be satisfied, compositionality becomes a difficult goal to achieve. Most synchronous languages, su...
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...