L'exigence d'avoir des systemes concurrents fiables impose a tout concepteur (de tels systemes) d'adopter une demarche rigoureuse de la premiere etape de conception jusqu'a sa realisation finale. Les travaux realises dans cet ouvrage concernent essentiellement la modelisation et la simulation des systemes concurrents et repartis. Ainsi ces aspects ont necessite l'apprentissage du langage Promela et l'utilisation de l'outil logiciel associe a savoir le simulateur SPIN. Les applications realisees ont concerne plusieurs aspects etudies durant notre cursus mais de maniere theorique. Les...
L'exigence d'avoir des systemes concurrents fiables impose a tout concepteur (de tels systemes) d'adopter une demarche rigoureuse de la premiere etape...
La steganographie, une des plus anciennes methodes de securisation des communications, un art a ses debuts, une science a part entiere actuellement, a pour objectif de dissimuler des messages ou autres donnees sur des supports. La Steganalyse, quant a elle, est la science qui permet de detecter et d'extraire des donnees dissimulees. Les travaux realises dans ce livre se sont focalises sur les methodes de steganographie et de steganalyse appliquees aux images et aux videos. A cet effet, une etude comparative a ete menee d'une part, entre deux outils de steganographie largement utilises...
La steganographie, une des plus anciennes methodes de securisation des communications, un art a ses debuts, une science a part entiere actuellement, a...
