The objective of this research is to propose an analysis of the political communication in Morocco through the comparative experience of the legislative elections in a rural and mountain area of the Moroccan Atlas. This reading is possible, only with the help of instruments which exceed the limits...
To handle these models, we choose a compilation approach which produces programs in the model annotation language, this allows to execute them efficiently. Moreover, this compilation is optimizing using model peculiarities. However, this rich expressivity leads to the use of explicit model-checking ...
Our implementation is Open-Source, and compete favorably with standardized primitives such as RSA or ECDSA.David LazarusRéf
A. Boutet, B. Le Texier, T. Ropitault, N. Montavont, and C. Viho. Gestion des flux dans les re´seaux mobiles. In UbiMob'08 4emes journe´es Francophones Mobilite´ et Ubiquite´, Institut Universitaire de Technologie de Saint-Malo, May 2008....