Search:
By Year:
| 2005 | |
| [14] | , A Simulation Based Process for the Construction of Correct Models, In Proceedings of the International Conference on Conceptual Modeling and Simulation (CMS2005), 2005. [bibtex] |
| [13] | , Graphical simulation of the dynamic evolution of the software architectures specified in \mboxZ, In Proceedings of the 8th International Workshop on Principles of Software Evolution (IWPSE), 2005. [bibtex] [doi] |
| [12] | , Using \mboxUML2.0 and Graph Grammars for describing the dynamic software architectures, In Proceedings of the IEEE International Conference on Information Technology and Applications ICITA'05, 2005. [bibtex] |
| [11] | , Evaluation and Comparison of \mboxADL based approaches for the description of Dynamic software architectures, In Proceedings of the Seventh International Conference on Enterprise Information Systems ICEIS'05, 2005. [bibtex] |
| [10] | , A Formal Model for Mobile Agent Systems Using \mboxZ, In The 3rd ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'05), 2005. [bibtex] |
| [9] | , Towards a Formal Methodology for Developing Multi-Agent Applications using Temporal \mboxZ, In The 3rd ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'05), 2005. [bibtex] [doi] |
| [8] | , Towards a Formal Methodology for Designing Multi-agent Applications, In Proceedings of Third German Conference on Multi-Agent Technologis MATES 2005 (T. Eymann, F. Klügl, W. Lamersdorf, M. Klusch, M.N. Huhns, eds.), Springer, volume 3550, 2005. [bibtex] [doi] |
| [7] | , Component Based Lingware Development using the EJB Model and XML linguistic interface, In Proceedings of the L&TC'05, 2005. [bibtex] |
| [6] | , Approche formelle intégrée pour la spécification des architectures dynamiques orientées composants, In Information Sciences for Decision Making, Special Issue of The 8th MCSEAI'04, 2005. (Electronic Journal) [bibtex] |
| [5] | , Spécification et Vérification Formelles d’une Solution Multi-Agent pour la Résolution de Conflits Aériens, Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2005. [bibtex] |
| [4] | , Contribution la Contributions la théorie et aux applications des automates multiplicités, PhD thesis, Faculté des Sciences et Techniques, Université de Rouen, France, 2005. [bibtex] |
| [3] | , On the decomposition of Boolean functions, In Boolean Functions: Cryptography and Applications, BFCA'05 (P. Valarcher JF. Michon, JB. Yunès, eds.), Publications des universités de Rouen et du Havre, 2005. [bibtex] |
| [2] | , Algebraic elimination of epsilon-transitions, In Discrete Mathematics and Theoretical Computer Science, volume 7, 2005. [bibtex] |
| [1] | , Multicast Routing Protocol for Ad Hoc Networks with a Quality of Service 'Qos-AODV', In 12th IEEE International Conference on Electronics, Circuits and Systems (ICECS 2005), 2005. [bibtex] |
ReDCAD
National School of Engineering of Sfax
www.enis.rnu.tn
University of Sfax, Tunisia
www.uss.rnu.tn
Contact
Prof. Dr. Eng. Mohamed Jmaiel
Research Center for Computer Science, Multimedia and Digital Data Processing of Sfax, Send an EmailPhone: +216 74 666 578
Address
National School of Engineers of Sfax
Department of Computer Science and Applied Mathematics
ReDCAD Laboratory
B.P. 1173, 3038 Sfax, Tunisia