In this paper, we present an evaluation of the AADL Behavioural Annex that is currently in evaluation phase. We relate our experiment with respect to a development concerning the ...
We present a novel non-linear error coding framework which incorporates strong adversarial fault detection capabilities into identity based encryption schemes built using Tate pai...
- The creation of a rover for a specific task requires designing and selecting the mechanical structure specifically for its mission. This can be done by modelling a chassis and ev...
Ambroise Krebs, Thomas Thueer, Stephane Michaud, R...
This note describes a sample implementation of automated negotiations in an e-commerce modeling multi-agent system. A specific set of rules is used for enforcing negotiation mech...
This paper outlines some fundamental concepts for the development of a system design framework based on standard notations and common CASE tools. We describe an environment for HW...
Elvinia Riccobene, Patrizia Scandurra, Alberto Ros...