Search:
By Year:
2007 | |
[28] | LMF-QL: A Graphical Tool to Query LMF databases, In Proc. of the 3rd Language & Technology Conference: Human Language Technologies as a Challenge for Computer Science and Linguistics (Zygmut Vetulani, ed.), Wydawnictwp Poznanskie, 2007. [bibtex] [doi] | ,
[27] | A Secured Service-Oriented Architecture for E-government in Tunisia, In Proceedings of the eGovernment Interoperability Campus 2007 Conference (eGovINTEROP'07), 2007. [bibtex] | ,
[26] | Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles, In In ECSA'07 The First European Conference on Software Architecture, Springer-Verlag, volume 4758, 2007. [bibtex] [doi] | ,
[25] | Adaptation d'applications pervasives dans des environnements multi-contextes, PhD thesis, Institut National des Sciences Appliquées de LYON, 2007. [bibtex] | ,
[24] | Une démarche de validation de spécifications formelles des architectures logicielles , Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2007. [bibtex] | ,
[23] | A Serialisation Based Approach for Processes Strong Mobility, In Proceedings of the 7th IFIP International Conference on Distributed Applications and Interoperable Systems (Dais) (Jadwiga Indulska, Kerry Raymond, eds.), Springer, volume 4531, 2007. [bibtex] [doi] | ,
[22] | Une approche orientée règle pour la spécification formelle des architectures dynamiquement configurables, In Actes de la 7ème Conférence Internationale sur les NOuvelles TEchnologies de la REpartition NOTERE 2007, 2007. [bibtex] | ,
[21] | Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants, In Proceedings of the 9th International Conference on Coordination Models and Languages (Coordination), Springer, volume 4467, 2007. [bibtex] [doi] | ,
[20] | Consistent Reconfiguration for Publish/Subscribe Architecture Styles, In proceedings of the 1st International Workshop on Verification and Evaluation of Computer and Communication Systems, Electronic Workshops in Computing EWIC Series, The British Computer Society, 2007. [bibtex] [doi] | ,
[19] | Guest Editorial, In International Journal of Computing & Information Sciences, Special Issue on New Tendencies in Electric and Data Processing, volume 5, 2007. [bibtex] | ,
[18] | From Formal Specification to Model Cheking of MAS unsing CSP-Z and SPIN, In International Journal of Computing & Information Sciences, volume 5, 2007. [bibtex] | ,
[17] | F-LQE: A Fuzzy Link Quality Estimator for Wireless Sensor Networks, In International Multi-Conference on Systems, Signals and Devices (SSD 2007), 2007. [bibtex] | ,
[16] | An UML Profile and a FUJABA PlugIn for modelling dynamic software architectures, In Proceedings of the Workshop on Model-Driven Software Evolution MoDSE2007, IEEE, 2007. [bibtex] | ,
[15] | A QoS-driven reconfiguration management system extending Web services with self-healing properties, In Proceeding of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises WETICE; In Workshop on Information Systems & Web Services ISWS, IEEE Computer Society, 2007. [bibtex] [doi] | ,
[14] | ForMAAD: A Formal Method For Agent-Based Application Design, In Journal of Web Intelligence and Agent Systems, volume 5, 2007. [bibtex] | ,
[13] | A Distributed Computational Model for Mobile Agents, In Proceedings of the Pacific Rim International WorkShop On Multi-Agents, Springer-Verlag, volume , 2007. [bibtex] [doi] | ,
[12] | Dynamic and On-line Design Space Explora¬tion for Reconfigurable Architecture, In Transactions on HiPEAC I, Lecture Notes in Computer Sciences 4050, 2007. [bibtex] | ,
[11] | QOS-PCF: an enhanced mechanism of PCF for QOS support in IEEE 802.11 wireless LANS, In IASTED European Conference on Proceedings of the IASTED European Conference: internet and multimedia systems and applications, 2007. [bibtex] | ,
[10] | A Serialisation Based Approach for Strong Mobility of Shared Object, In Proceedings of the 1st International Workshop on Java for Mobility (Ja4Mo 07) as part of the International Conf. on Principles and Practices of Programming In Java (PPPJ 2007), ACM, 2007. [bibtex] [doi] | ,
[9] | A Formal Approach to prevent Attacks on Mobile Agent Systems, In Proceedings of the International Conference on Emerging Security Information, Systems and Technologies, IEEE Computer Society, 2007. [bibtex] [doi] | ,
[8] | Moderate Growth Time Series Dynamic Combinatorics Modelisation, In International Conference on Economics, Law and Management ICELM2, 2007. [bibtex] | ,
[7] | SEC+: an enhanced search engine for component-based software development, In SIGSOFT Software Engineering Notes, ACM Press, volume 32, 2007. [bibtex] [doi] | ,
[6] | Context-Aware Adaptation for Group Communication Support Applications with Dynamic Architecture, In -System and Information Sciences Notes, volume 2, 2007. [bibtex] | ,
[5] | Outils pour le passage à l’échelle dans la composition des protocoles métier, In , volume 0, 2007. [bibtex] | ,
[4] | Nouvelles Tendances Technologiques en Génie Electrique et Informatique, Centre de Publication Universitaire, 2007. [bibtex] | ,
[3] | Context-aware adaptation for group communication support applications with dynamic architecture, In the 3rd International Conference on Self-Organization and Autonomous Systems in Computing and Communications (SOAS'2007), 2007. [bibtex] | ,
[2] | Specification of execution mechanisms and composition strategies for self-healing Web services. Phase 1, Technical report, , 2007. (Projet IST WS-DIAMOND N°516933) [bibtex] | ,
[1] | Architecture de sécurité dans un réseau mesh multi sauts, In 8ème Colloque Francophone de Gestion de REseaux et de Services, (GRES2007), 2007. [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