Considering Topological Constraints for the Description of Dynamic Service-Oriented Orchestrated Architectures, International Journal of Computer Information Sciences, vol.5, issue.1, pp.45-51, 2007. ,
Towards autonomous management of QoS through model-driven adaptability in communicationcentric systems 96, International Transactions on Systems Science and Applications, vol.2, issue.3, pp.255-264 ,
Using graph grammars for interaction style description . Application to service-oriented architectures, International Journal on Computer Systems Science Engineering, vol.21, pp.4-293, 2006. ,
Une approche orientée modèle pour la gestion des architectures logicielles distribuées dynamiques, Information Sciences for Decision Making, 2005. ,
Architectural Adaptability Management for Mobile Cooperative Systems, Accepted in the 1st International Conference on Multimedia and Ubiquitous Engineering (MUE'07), 2007. ,
Towards autonomous management of QoS through model-driven adaptability in communicationcentric systems, International Conference on Self-Organization and Autonomous Systems in Computing and Communications (SOAS2006), 2006. ,
Architecture transformation and renement for model-driven adaptability management. Application to QoS provisioning in group communication, European workshop on software architecture, 2006. ,
partie conférences internationales puisque sa parution en revue est consécutive à sa sélection dans le cadre de la conférence SOAS'06 % % Adressing the conformity of dynamic and distributed architecture management protocols, 6th IEEE International Symposium and School on Advanced Distributed Systems (ISSADS'2006), 2006. ,
Specifying reference styles for service orchestration and composition, 1st International Workshop on Design of Service-Oriented Applications (WDSOA'05), pp.67-74, 2005. ,
Proof-guided testing : an experimental study, 28th Annual International Computer Software and Applications Conference, pp.28-30528, 2004. ,
DOI : 10.1109/cmpsac.2004.1342890
A proved component-oriented approach for managing dynamic software architectures, 7th IASTED International Conference on Software Engineering and Applications, pp.3-5657, 2003. ,
Description des architectures pour une orchestration hiérarchique des applications orientées-services, 6èmes Journées Scientiques des Jeunes Chercheurs en Génie Electrique et Informatique (GEI'06) Mars, pp.135-142, 2006. ,
Une approche orientée modèle pour la gestion des architectures logicielles distribuées dynamiques. 8ème Conférence Maghrébine sur le Génie Logiciel et l'Intelligence Articielle, Sousse (Tunisie), pp.9-12149, 2004. ,
Architectures logicielles distribuées dynamiques , caractérisation de quatre styles de base, Journées "Formalisation des Activités Concurrentes" (FAC'2004), pp.9-10, 2004. ,
Caractérisation formelle des styles architecturaux spécialisés Application aux topologies hiérarchiques, 5ème Congrès de l'Ecole Doctorale Systèmes (EDSYS), pp.13-14, 2004. ,
Requirements, application scenarios, overall architecture, and test/validation specication, common working environment and standards at Milestone M1, chapter 3, Web Services -DIAgnosability, MO- Nitoring and Diagnosis (WS-Diamond) IST-516933, Delivrable D1.1, pp.76-106, 2006. ,
Specication of execution mechanisms and composition strategies for self-healing web services -phase 1, Web Services -DIAgnosability, MONitoring and Diagnosis (WS-Diamond) IST-516933, Delivrable D3.1, pp.1-103, 2006. ,
Web Services. Concepts, Architectures and Applications, chapter II, p.245294, 2004. ,
Specifying dynamism in software architecture, Foundations of Component-Based Systems Workshop, 1997. ,
Specifying and analyzing dynamic software architectures, Conference on Fundamental Approaches to Software Engineering, 1998. ,
DOI : 10.1007/BFb0053581
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.5206
Specifying dynamism in software architectures, Proceedings of the Workshop on Foundations of Component-Based Software Engineering, 1997. ,
A Formal Approach to Software Architecture, 1997. ,
Subgraph isomorphism, matching relational structures and maximal cliques, Information Processing Letters, vol.4, issue.4, p.8384, 1976. ,
DOI : 10.1016/0020-0190(76)90049-1
Backtrack programming techniques, Communications of the ACM, vol.18, issue.11, p.651656, 1975. ,
DOI : 10.1145/361219.361224
Dynamic adaptation and deployment of distributed components in Hadas, IEEE Transactions on Software Engineering, vol.27, issue.9, p.769787, 2001. ,
DOI : 10.1109/32.950315
Graph matching for visual object recognition. Saptial vision, p.333340, 2000. ,
Unraveling the web services web : an introduction to SOAP, WSDL, and UDDI, IEEE Internet Computing, vol.6, issue.2, 2002. ,
Architecture transformation and renement for model-driven adaptability management. application to QoS provisioning in group communication, European workshop on software architecture, 2006. ,
Towards autonomous management of QoS through model-driven adaptability in communication-centric systems, International Conference on Self-Organization and Autonomous Systems in Computing and Communications (SOAS2006) (published in International Transactions on Systems Science and Applications, pp.255-264, 2006. ,
Three models for the description of language, IEEE Transactions on Information Theory, vol.2, issue.3, p.113124, 1956. ,
DOI : 10.1109/TIT.1956.1056813
Specication and renement of dynamic software architectures. Software Architecture, Last Consultation, p.107126, 1999. ,
Toward a recommended practice for architectural description, Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW), p.2125, 1996. ,
DOI : 10.1109/ICECCS.1996.558483
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.3274
Graph grammars and their application to computer Science, 1990. ,
Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts, 4 th International Workshop on Graph Grammars and Their Application to Computer Science, p.2437, 1990. ,
DOI : 10.1007/BFb0017375
Handbook of Graph Grammars and Computing by Graph Transformation, ISBN 981-02-2884-8, chapter Node Replacement Graph Grammars The COTRE project : rigorous software development for real time systems in avionics, World Scientic Publishing, p.194, 1997. ,
Software architecture transformations, Proceedings International Conference on Software Maintenance ICSM-94, 2000. ,
DOI : 10.1109/ICSM.2000.883020
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.4438
Backtrack Programming, Une approche orientée modèle pour la gestion des architectures logicielles distribués dynamiques. Information Sciences for Decision Making, p.516524, 1965. ,
DOI : 10.1145/321296.321300
Adressing the conformity of dynamic and distributed architecture management protocols, 6th IEEE International Symposium and School on Advanced Distributed Systems (ISSADS'2006), 2006. ,
Self-Organising Distributed Component Software Architectures ,
Introduction to the special issue on software architecture, IEEE Transactions On Software Engineering, vol.21, issue.4, p.269274, 1995. ,
Modeling software architectures and styles with graph grammars and constraint solving, 1 st Working IFIP Conference on Software Architecture, p.127142, 1999. ,
Communicating Sequential Processes, 1985. ,
Tefas, and I. Pitas. Frontal face authentication using morphological elastic graph matching, IEEE Transactions on Image Processing, vol.9, issue.4, p.555560, 2000. ,
Composing web services dynamically and semantically, IEEE International Conference on E-Commerce Technology for Dynamic E-Business, p.234241, 2004. ,
Specication and analysis of system architecture using rapide ,
Hierarchical attributed graph representation and recognition of handwritten chinese characters, Pattern Recognition, vol.24, p.617632, 1991. ,
Symbol recognition using graphs, Proceedings 2003 International Conference on Image Processing (Cat. No.03CH37429), 2003. ,
DOI : 10.1109/ICIP.2003.1246613
The Standford Rapide Project, Last Consultation, 2006. ,
An event-based architecture denition language ,
DOI : 10.1109/32.464548
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.3387
Ecient subgraph isomorphism detection : a decompostion approach, IEEE Transactions on Knowledge and Data Engineering, vol.12, issue.2, p.307323, 2000. ,
Using the architecture description language MetaH for designing and prototyping an embedded spacecraft attitude control system, The 20th Conference on Digital Avionics Systems, pp.8-11 ,
Specifying distributed software architectures, Fifth European Software Engineering Conference, ESEC' 95, LNCS989, 1995. ,
DOI : 10.1007/3-540-60406-5_12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.7933
Structuring parallel and distributed programs Describing software architecture styles using graph grammars, International Workshop on Congurable Distributed Systems, pp.102117-24521533, 1992. ,
Darwin Web Site, Imperial College London, Last Consultation Milanovic and M. Malek. Current solutions for web service composition, 2006. ,
Introduction to SADL 1.0 A language and environment for architecture-based software development and evolution A classication and comparison framework for software architecture description languages, 21 st International Conference on Software Engineering, p.44537093, 1997. ,
Object recognition by a Hopfield neural network, IEEE Transactions on Systems, Man, and Cybernetics, vol.21, issue.6, pp.1523-1535, 1991. ,
DOI : 10.1109/21.135694
Towards dynamic vertical self-organization On the role of software architectures in runtime system reconguration, 12 th IEEE International Conference on Networks International Conference on Congurable Distributed Systems, pp.432436-6170, 1998. ,
Web services orchestration and choreography, Computer, vol.36, issue.10, p.4652, 2003. ,
DOI : 10.1109/MC.2003.1236471
AQUA : An adaptative architecture that provides dependable distributed objects, IEEE Transactions on Computers, vol.52, issue.1, p.3150, 2003. ,
Finding Chemical Records by Digital Computers, Science, vol.126, issue.3278 ,
DOI : 10.1126/science.126.3278.814
Handbook of Graph Grammars and Computing by Graph Transformation, World Scientic Publishing, 1997. ,
DOI : 10.1142/3303
Aspects dynamiques des langages de description d'architecture logicielle. L'Objet : Coopération dans les systèmes à objet Utilizing constraint satisfaction techniques for ecient graph pattern matching, International Workshop on Theory and Application of Graph Transformations (TAGT), p.109129, 1998. ,
DOI : 10.3166/objet.8.3.109-129
Abstractions for software architecture and tools to support them, SOA06] Simple Object Access Protocol Version 1 Last Consultation, p.314335, 1995. ,
Benchmarking java against c/c++ for interactive scientic visualization, the 2002 joint ACM-ISCOPE conference on Java Grande, 2002. ,
IEEE Recommended practice for architectural description of software-intensive systems AGG : A graph transformation environment for modeling and validation of software, Applications of Graph Transformations with Industrial Relevance : Second International Workshop, AGTIVE 2003, pp.23-446453, 2000. ,
A component and message-based architectural style for GUI software, C2SADL Web Site Last Consultation, p.390406, 1996. ,
Building Reliable Component-based Systems, chapter Dynamic software Architectures. extended report for I. Crnkovic and M. Larsson, Artech House, 2002. ,
An algorithm for subgraph isomorphism, VB93] S. Vestal and P. Binns. Scheduling and communication in MetaH. In Real- Time Systems Symposium, p.3152, 1976. ,
Computational performance of Java and C++ in processing large biomedical datasets, IEEE CCECE2002. Canadian Conference on Electrical and Computer Engineering. Conference Proceedings (Cat. No.02CH37373), pp.691696-691708, 2002. ,
DOI : 10.1109/CCECE.2002.1013025
Event-Based Execution Architectures for Dynamic Software Systems, The 1 st Working IFIP Conference on Software Architecture, p.303318, 1999. ,
DOI : 10.1007/978-0-387-35563-4_17
Face recognition by elastic bunch graph matching, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.19, issue.7, p.775779, 1997. ,
DOI : 10.1109/34.598235
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.120.4805
Bend, Don't Break : Using reconguration to achieve survivabibility, The 3 rd Information Survivability workshop, 2000. ,