History based access control and secure information flow The spec# programming system Mastering test generation from smart ...
Lire la suite
The research papers included in the AmI.d proceedings are devoted to both theoretical and applied research, cover the most ...
Lire la suite
It looks at how the latest technologies (artificial intelligence, deep learning, machine learning, big data, IoT, smart device, ...
Lire la suite