|
Publications - SIERA
Pour une recherche plus ciblée, utiliser l'interface d'interrogation de
la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.
Actes de conférences et de workshops / Conferences proceedings
-
Patrick Trabe, Mikaël Salaun, Sylvain Ferrandiz, Mohamed Menai. 6 ème Journées Doctorales Informatique et Réseau (JDIR'04), LANNION, France, 02/11/04 - 04/11/04, FranceTélécom, novembre 2004.
Accès : http://www.rd.francetelecom.com/fr/implantations/jdir04/jdir04.php
BibTeX
-
Yves Raynaud, Adarshpal S. Sethi, Fabienne Fauré-Vincent. Integrated Network Management IV. Proceeding of the fourth international symposium on integrated network management, -, Published by Chapman & Hall on behalf of the IFIP, 1995.
BibTeX
Articles de revues internationales / International journals articles
-
Michel Kamel, Romain Laborde, François Barrère, Abdelmalek Benzekri. A trust-based virtual collaborative environment. Dans : Journal of Digital Information Management, Digital Information Research Foundation (DIRF), Vol. 6 N. 5, (en ligne), octobre 2008.
Résumé
Accès : http://www.dirf.org/jdim/v6n506.pdf
BibTeX
-
Emmanuel Lavinal, Thierry Desprats, Yves Raynaud. A multi-agent self-adaptative management framework. Dans : International Journal of Network Management, Wiley Interscience Publications, 2008 (à paraître).
BibTeX
-
D.W. Chadwick, G. Zao, O. Otenko, Romain Laborde, L. Su. PERMIS: A Modular Authorization Infrastructure. Dans : Concurrency and Computation:Practice and Experience, Wiley, Numéro spécial UK e-Science All Hands Meeting 2006, Vol. 20 N. 11, p. 1341-1357, 2008.
BibTeX
-
D.W. Chadwick, L. Su, Romain Laborde. Providing Secure Coordinated Access to Grid Services. Dans : Concurrency and Computation:Practice and Experience, Wiley, Numéro spécial Middleware for Grid Computing, Vol. 20 N. 9, p. 1071-1094, 2008.
Résumé
BibTeX
-
Romain Laborde, Michel Kamel, François Barrère, Abdelmalek Benzekri. Implementation of a Formal Security Policy Refinement Process in WBEM Architecture. Dans : Journal of Network and Systems Management, Springer, Vol. 15 N. 2, p. 241-266, juin 2007.
Résumé
Accès : http://dx.doi.org/10.1007/s10922-007-9063-z
BibTeX
-
Romain Laborde, François Barrère, Abdelmalek Benzekri. Network Security Policy Refinement Process: Expression and Analysis. Dans : Journal of High Speed Networks, Deepinder Sidhu, Numéro spécial Managing Security Polices: Modeling, Verification and Configuration, Vol. 15 N. 3, p. 247-260, 2006.
Résumé
Accès : http://iospress.metapress.com/link.asp?id=bkcm65lh4y060brg
BibTeX
-
Abdelmalek Benzekri, Philippe Sarafoglou. Real-time Network applications programming. Dans : Special issue on ¿Parallel and Distributed Real-Time Systems¿ of Parallel and Distributed Computing Practices., Jan Van Katwijk and Janusz Zalewski, ISSN 1097-2803 Nova Science Publishers, Inc. 247 Main Street, Suite 100 Huntington, NY 11743 Tel: (631) 424-6682 Fax: (631) 424-4666, Vol. 2 N. 1, p. 61-72, 1999.
BibTeX
-
Michelle Sibilla, Anne-Isabelle Rivière. Management Information Models Integration : From existing approaches to new unifying Guidelines. Dans : Journal of Network and Systems Management. Special Issue : 'Network Management Information Modeling', Kluwer Academic/Plenum Publishers, 233, Spring Street, New York, N.Y. 10013-1578 (USA), Vol. 6 N. 3, p. 315, septembre 1998.
BibTeX
-
Yves Raynaud, Thierry Desprats. DSOM'94 report. Dans : Journal of Network and Systems Management ISSN: 1064-7570 (Paper) 1573-7705 (Online) DOI: 10.1007/BF02283190, Kluwer Academic Publishers B.V., Vol. 2 N. 4, p. 415-416, décembre 1994.
BibTeX
Articles de revues nationales / National journals articles
-
Julien Broisin, Philippe Vidal. Une approche conduite par les modèles pour le traçage des activités des utilisateurs dans des EIAH hétérogènes. Dans : Sciences et Technologies de l'Information et de la Communication pour l'Éducation et la Formation, Association des Technologies de l'Information pour l'Education et la Formation, Paris, Numéro spécial Analyses des traces d'utilisation dans les EIAH, Vol. 14, (support électronique), 2007.
Accès : http://sticef.univ-lemans.fr/num/vol2007/17-broisin/sticef_2007_broisin_17.htm
BibTeX
-
Michel Galindo, Daniel Marquié. Machines virtuelles au service de la pédagogie en ligne. Dans : Distances et Savoirs, Lavoisier, Numéro spécial Nouveaux territoires de la connaissance, chemins et perspectives, Vol. No 5, N. No 2/2007, p. 245-255, juin 2007.
BibTeX
-
Olivier Catteau, Philippe Vidal, Daniel Marquié, Julien Broisin. Production et gestion collaboratives d’objets pédagogiques dans le cadre d’un dispositif international de FOAD. Dans : Distances et Savoirs, Lavoisier, Numéro spécial Nouveaux territoires de la connaissance. Chemins et perspectives. sous la direction d'Yves Ardourel, Chantal D'Halluin et Martine Vidal, Vol. 5, N. 2, p. 201-230, octobre 2007.
Résumé
Accès : http://ds.revuesonline.com/resnum.jsp?editionId=949
BibTeX
-
Julien Broisin, Philippe Vidal. Un Environnement Informatique pour l'Apprentissage Humain au service de la Virtualisation des Objets Pédagogique. Dans : Sciences et Technologies de l'Information et de la Communication pour l'Éducation et la Formation, Institut National de Recherche Pédagogique, Vol. 12, 2005.
Accès : http://sticef.univ-lemans.fr/classement/encours.htm
BibTeX
-
François Jocteur-Monrozier, Silvia Cristina Sardela Bianchi , Michelle Sibilla, Philippe Vidal. Contrôle Dynamique des Systèmes Complexes par la Modélisation Comportementale. Dans : Génie Logiciel, Hermès, Vol. 72, p. 14-21, 2005.
BibTeX
-
Michelle Sibilla, André Barros De Sales, Philippe Vidal, Thierry Millan, François Jocteur-Monrozier. L'approche Modelware : exploitation des modèles au c¿ur des systèmes - apports et besoins pour la vérification. Dans : Génie Logiciel, Hermès, Vol. 69, p. 9-16, juin 2004.
BibTeX
-
Michelle Sibilla, François Jocteur-Monrozier, Anne-Isabelle Rivière, Dominique Bénech. Les technologies orientées objet au coeur des systèmes de gestion : modélisation, organisation et répartition. Dans : Revue internationale francophone : Revue Electronique sur les Réseaux et l'Informatique Répartie (RERIR), Vol. 11, p. 211-227, mars 2001.
Accès : http://rerir.univ-pau.fr/rerir2.html
BibTeX
-
Abdelmalek Benzekri, Jean-François Berdjugin, Jean-Michel Bruel. Logiciels distribués temps réel : approches de spécification Z. Dans : Revue Electronique sur les Réseaux et l'Informatique Répartie, Laboratoire de Téléinformatique et Analyse des Systèmes Communicants de l'université de Pau, France, Laboratoire TASC Université de Pau, Vol. Volume, N. 8, p. 39-57, juillet 1999.
Accès : http://rerir.univ-pau.fr
BibTeX
-
Thierry Desprats, Dominique Bénech, Daniel Marquié, Yves Raynaud. CORBA Support de la Gestion Distribuée et Coopérative de Réseaux et Systèmes. Dans : Calculateurs Parallèles Réseaux et Systèmes répartis, HERMES, Vol. 10, N. 5, p. 555-570, 1998.
BibTeX
-
Delphine Gazal, Yves Raynaud. Extension of Estelle formalism for performance evaluation : SSCOP protocol performance study for ATM high speed network. Dans : Annales des télécommunications, Numéro Spécial : Multimedia, Centre National des Télécommunications et Presses Polytechniques et Universitaires Romandes, Issy les Moulineaux, Vol. 50, 1995.
BibTeX
Contributions à des ouvrages de synthèse / Books parts
-
Michel Kamel, Abdelmalek Benzekri, François Barrère, Romain Laborde. Securing virtual enterprise collaboration. Dans : Advances in Collaborative Civil Aeronautical Multidisciplinary Design Optimization. Ernest Kesseler (Eds.), American Institute of Aeronautics and Astronautics (AIAA), 13, 2008 (à paraître).
Résumé
BibTeX
-
Michelle Sibilla, François Jocteur-Monrozier. L'expérience de la supervision: utilisation des modèles au coeur des systèmes. Dans : Ingénierie des modèles logiciels et systèmes. Marc Dupuis (Eds.), Editions TEC & DOC, p. 151-175, Vol. 30, ARAGO, mai 2004.
BibTeX
Conférences et workshops internationaux / International conferences articles
-
Ahmad Samer Wazan, Romain Laborde, François Barrère, Abdelmalek Benzekri. Validating X.509 Certificates Based on Their Quality. Dans : International Symposium on Trusted Computing, ZhangJiaJie, China, 18/11/08-21/11/08, IEEE Computer Society, p. 2055-2060, 2008.
BibTeX
-
Ahmad Samer Wazan, Romain Laborde, François Barrère, Abdelmalek Benzekri. Authentication in Virtual Organizations: a Reputation Based PKI Interconnection Model. Dans : International DMTF Academic Alliance Workshop on Systems and Virtualization Management: Standards and New Technologies, Munich, Germany, 21/10/08-22/10/08, Vol. 18, Springer, Communications in Computer and Information Science, p. 84-95, octobre 2008.
BibTeX
-
Romain Laborde, Thierry Desprats. An Extension of XACML to Improve the Performance of Decision Making Processes when Dealing with Stable Conditions. Dans : International DMTF Academic Alliance Workshop on Systems and Virtualization Management: Standards and New Technologies, Munich, Germany, 21/10/08-22/10/08, Vol. 18, Springer, Communications in Computer and Information Science, p. 13-24, octobre 2008.
BibTeX
-
Imene Elloumi, Sahobimaholy Ravelomanana, Manel Jelliti, Michelle Sibilla, Thierry Desprats. A control of a mono and multi scale measurement of a grid. Dans : International DMTF Academic Workshop on Virtualization and Systems Management, Munich, Allemagne, 21/10/08-22/10/08, Latifa Boursas, Marc Carlson, Wolfgang Hommel, Michelle Sibilla (Eds.), Springer, p. 102-112, octobre 2008.
BibTeX
-
Michel Kamel, Romain Laborde, Abdelmalek Benzekri, François Barrère. A best practices-oriented approach for establishing trust chains within Virtual Organisations. Dans : International Workshop on Security and Privacy
in Enterprise Computing (InSPEC 2008), Munich, Germany, 15/09/08-15/09/08, IEEE, (support électronique), 2008 (à paraître).
Résumé
BibTeX
-
Olivier Catteau, Philippe Vidal, Julien Broisin. A Service Providing Awareness of Learning Object Evolutions in a Distributed Environment. Dans : European Conference on Technology Enhanced Learning (EC-TEL 2008), Maastricht School of Management, Maastricht, The Netherlands, 16/09/08-19/09/08, P. Dillenbourg, M. Specht (Eds.), Springer-Verlag, Lecture Notes in Computer Science (LNCS) 5192, p. 74-85, septembre 2008.
Résumé
BibTeX
-
Julien Broisin, Philippe Vidal. Exploitation of Tracking Information: an Automatic Mechanism to Keep Learning Designs up-to-date. Dans : International Conference on e-Learning, e-Business, Enterprise Information Systems, and e-Government, Las Vegas, 14/07/08-17/07/08, IEEE, (support électronique), juillet 2008.
BibTeX
-
Imene Elloumi, Sahobimaholy Ravelomanana, Manel Jelliti, Michelle Sibilla, Thierry Desprats. A dynamic multi-dimensional monitoring of a grid. Dans : IEEE International Conference on Computer Communications and Networks, St Thomas Virgin Islands USA, 03/08/08-07/08/08, IEEE, p. 10-15, 2008.
BibTeX
-
Julien Broisin. LOR4Moodle. Dans : International Conference on ICT for Development, Education and Training, Accra, 28/05/08-30/05/08, ICWE GmbH, (support électronique), 2008.
BibTeX
-
André Aoun, Abdelmalek Benzekri, Michel Jacob, Patrick Subra. Architecture d'un environnement coopératif pour une pédagogie sans frontière. Dans : TICE Méditerranée (TICE Méditerranée 2008), SFAX - Tunisie, 21/04/08-23/04/08, avril 2008 (à paraître).
BibTeX
-
Romain Laborde, Michel Kamel, François Barrère, Abdelmalek Benzekri. PEP = Point to Enhance Particularly. Dans : IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), IBM Palisades, 334 Route 9W, Palisades, NY 10964, USA, 02/06/08-04/06/08, IEEE Computer Society, p. 93-96, 2008.
Résumé
BibTeX
-
Olivier Catteau, Philippe Vidal, Julien Broisin. Learning Object Virtualization Allowing for Learning Object Assessments and Suggestions for Use. Dans : IEEE International Conference on Advanced Learning Technologies (ICALT 2008), Santander, Espagne, 01/07/08-05/07/08, IEEE, p. 579-583, juillet 2008.
Résumé
BibTeX
-
Manel Jelliti, Michelle Sibilla, Yassine Jamoussi, Sahobimaholy Ravelomanana. Model extension and automation requirements in configuration Management process. Dans : International DMTF Academic Alliance Workshop on Systems and Virtualization Management: Standards and New Technologies, TOULOUSE, 23/10/07-24/10/07, IRIT, (support électronique), octobre 2007.
Résumé
BibTeX
-
Sahobimaholy Ravelomanana, Michelle Sibilla. System management:From Behavior Specification to its Management. Dans : International DMTF Academic Alliance Workshop on Systems and Virtualization Management: Standards and New Technologies, TOULOUSE, 23/10/07-24/10/07, IRIT, (support électronique), octobre 2007.
Résumé
BibTeX
-
Julien Broisin, Philippe Vidal. Finding Learning Objects: an Advanced Search Service based on Tracking Data. Dans : E-Learn, Québec, 15/10/07-19/10/07, Association for the Advancement of Computing in Education (AACE), p. 7021-7029, octobre 2007.
BibTeX
-
Romain Laborde, Thierry Desprats. Dealing with Stable Environmental Conditions in XACML Systems. Dans : International Conference on Systems and Networks Communications (ICSNC 2007), Cap Esterel, French Riviera, France, 25/08/07-31/08/07, IEEE Computer Society, p. 63-69, septembre 2007.
Résumé
BibTeX
-
Julien Broisin, Philippe Vidal. From a specific tracking framework to an open and standardized attention environment based on Attention.XML. Dans : European Conference on Technology Enhanced Learning (EC-TEL 2007), Crète, 17/09/07-20/09/07, Erik Duval, Ralf Klamma, Martin Wolpers (Eds.), Springer, p. 1-13, septembre 2007.
BibTeX
-
Romain Laborde, Michel Kamel, François Barrère, Abdelmalek Benzekri. A secure collaborative web based environment for virtual organizations. Dans : International Workshop on Dynamic Virtual Communities : From Connectivity to Information Society, INSA de LYON, FRANCE, 29/10/07-29/10/07, IEEE, p. 723-730, 2007.
Résumé
BibTeX
-
Michel Kamel, Romain Laborde, Abdelmalek Benzekri, François Barrère. Virtual Organizations: An ISO/IEC 17799-based tool for evaluating the maturity level of the organizations security practices. Dans : Latin American Network Operations and Management Symposium (LANOMS 2007), petropolis - Brasil, 10/09/07-12/09/07, Vol. IEEE Catalog Number: 07EX1769, IEEE, ISBN: 1-4244-1182-3 Library of Congress: 200792390, (support électronique), septembre 2007.
Résumé
BibTeX
-
Michel Kamel, Abdelmalek Benzekri, François Barrère, Romain Laborde. Evaluating the conformity of an access control architecture for Virtual Organizations with ISO/IEC 17799. Dans : IEEE International Global Information Infrastructure Symposium (GIIS 2007), Marrakech - Morocco, 02/07/07-06/07/07, Nazim Agoulmine, Raouf Boutaba, Ahmed Serhrouchni (Eds.), IEEE, ISBN 1-4244-1375-3, p. 173-180, 2007.
Résumé
BibTeX
-
Michel Kamel, Abdelmalek Benzekri, François Barrère, Romain Laborde. Evaluating the Virtual Organizations security solutions using the ISO/IEC 17799 standard. Dans : International Conference on Concurrent Enterprising (ICE 2007), Sophia-Antipolis, FRANCE, 04/06/07-06/06/07, Pawar Kulwant, Marc Pallot, Thoben Klaus-Dieter (Eds.), Centre for Concurrent Enterprise, University Business School , ISBN 978 0 85358 233 5 , p. 269-276, juin 2007.
Résumé
BibTeX
-
D.W. Chadwick, Wensheng Xu, O. Otenko, Romain Laborde, Bassem Nasser. Multi-session Separation of Duties (MSoD) for RBAC. Dans : International Workshop on Security Technologies for Next Generation Collaborative Business Applications (SECOBAP 2007), Istanbul, Turkey, 20/04/07-20/04/07, IEEE, (en ligne), 2007.
Résumé
Accès : http://www.ieee.org/web/publications/procieee/
BibTeX
-
Olivier Catteau, Philippe Vidal, Julien Broisin. A 3D Representation of Relationships between Learning Objects. Dans : Educational Multimedia, Hypermedia & Telecommunications (EDMEDIA 2007), Vancouver, Canada, 25/06/07-29/06/07, Association for the Advancement of Computing in Education (AACE), p. 4262-4271, juin 2007.
Résumé
BibTeX
-
Emmanuel Lavinal, Thierry Desprats, Yves Raynaud. A generic conceptual framework for self-managed environments. Dans : Network Control and Engineering for QoS, Security and Mobility (NetCon 2005), Lannion, France, 14/11/05-18/11/05, Vol. 229, Springer, IFIP, p. 131-136, 2007.
BibTeX
-
Martial Bret, Jean-Yves Plantec, André Aoun. Utilisation d'un système multi-agent pour créer facilement des animations pédagogiques. Dans : Technologies de l'Information et de la Communication dans l'Enseignement Supérieur et l'Entreprise (TICE 2006), Toulouse, 25/10/06-27/10/06, INPT-SAIC, p. 56-56, octobre 2006.
BibTeX
-
Michel Kamel, Abdelmalek Benzekri, François Barrère, Bassem Nasser. Information security management and trust establishment within a Virtual Organization network. Dans : International Symposium on Systems and Information Security (SSI 2006), Sao José dos Campos, Brésil, 08/11/06-10/11/06, José Maria Parente de Olivera, Carlos Becker Westphall, José Carlos Brustoloni (Eds.), Agencia Brasileria, (support électronique), novembre 2006.
Résumé
BibTeX
-
D.W. Chadwick, L. Su, Romain Laborde. Providing secure coordinated access to grid services. Dans : International Workshop on Middleware for Grid Computing (MGC 2006), Melbourne, Australia, 27/11/06-01/12/06, ACM Press, p. 1-1, 2006.
Résumé
Accès : http://doi.acm.org/10.1145/1186675.1186677
BibTeX
-
D.W. Chadwick, G. Zao, O. Otenko, Romain Laborde, L. Su. Building a Modular Authorization Infrastructure. Dans : UK e-Science All Hands Meeting (AHM 2006), Nottingham UK, 18/09/06-21/09/06, NeSC, (en ligne), 2006.
Résumé
Accès : http://www.allhands.org.uk/2006/proceedings/papers/677.pdf
BibTeX
-
D.W. Chadwick, L. Su, O. Otenko, Romain Laborde. Co-ordination between Distributed PDPs. Dans : IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2006), University of Western Ontario, London , Canada, 05/06/06-07/06/06, IEEE, p. 163-172, 2006.
Résumé
Accès : http://doi.ieeecomputersociety.org/10.1109/POLICY.2006.14
BibTeX
-
Michel Galindo, Daniel Marquié. Un laboratoire virtuel pour apprenants distants. Dans : E-prospectives et territoires de la connaissance (Les journées de THOT 2006), Centre Universitaire Jean-François Champollion - ALBI, 05/10/06-07/10/06, Association Enseignement Public & Informatique, (support électronique), 2006.
Résumé
Accès : http://www2.toulouse.iufm.fr/flam/thot/ateliers.htm#jeudi
BibTeX
-
Olivier Catteau, Philippe Vidal, Julien Broisin. A Generic Representation Allowing for Expression of Learning Object and Metadata Lifecycle. Dans : IEEE International Conference on Advanced Learning Technologies (ICALT 2006), Kerkrade, The Netherlands, 05/07/06-07/07/06, IEEE, ISBN: 0-7695-2632-2, p. 30-33, juillet 2006.
Résumé
Accès : http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?isnumber=34637&arnumber=1652357&count=355&index=15
BibTeX
-
Julien Broisin, Philippe Vidal. A Management Framework to Recommend and Review Learning Objects in a Web-based Learning Environment. Dans : IEEE International Conference on Advanced Learning Technologies (ICALT 2006), Kergrade, The Netherlands, 05/07/06-07/07/06, IEEE, p. 41-42, juillet 2006.
Résumé
BibTeX
-
Emmanuel Lavinal, Thierry Desprats, Yves Raynaud. A generic multi-agent conceptual framework towards self-management. Dans : IEEE/IFIP Network Operations and Management Symposium (NOMS 2006), Vancouver, Canada, 03/04/06-07/04/06, IEEE, p. 394-403, avril 2006.
Résumé
BibTeX
-
Sahobimaholy Ravelomanana, Silvia Cristina Sordela Bianchi, Chibli Joumaa, Michelle Sibilla. A contextual GRID monitoring by a Model Driven Approach. Dans : Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), Gosier, Guadeloupe, 19/02/06-25/02/06, IEEE, p. 37-43, février 2006.
BibTeX
-
Julien Broisin, Philippe Vidal. A Single Sign-on Mechanism for Authenticating Users across a Distributed Web-based Learning Environment. Dans : International Conference on Information Technology Based Higher Education and Training (ITHET 2006), Sydney, 10/07/06-13/07/06, IEEE, p. 305-314, juillet 2006.
BibTeX
-
Julien Broisin, Philippe Vidal, Daniel Marquié, Olivier Catteau. The International E-Miage project: from an Isolated Framework to an Architecture Based on Learning Standards. Dans : Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), Guadeloupe, 19/02/06-25/02/06, IEEE, (support électronique), février 2006.
BibTeX
-
Julien Broisin, Philippe Vidal, Michelle Sibilla. A Management Framework for Tracking User Activities in a Web-based Learning Environment based on a Model Driven Approach. Dans : Educational Multimedia, Hypermedia & Telecommunications (EDMEDIA 2006), Orlando, 27/06/06-30/06/06, Association for the Advancement of Computing in Education (AACE), p. 896-903, juin 2006.
BibTeX
-
Meva Dodo, Patrice Torguet, Michelle Sibilla, Jean-Pierre Jessel. Unified model based three dimensional tool for managing computer networks. Dans : International Conference on WEB Information Systems (WEBIST 2006), Setúbal, Portugal, 11/04/06-13/04/06, 2006 (à paraître).
BibTeX
-
Bassem Nasser, Romain Laborde, Abdelmalek Benzekri, François Barrère, Michel Kamel. Dynamic creation of inter-organizational grid Virtual Organizations. Dans : 1st IEEE International conference on eScience and Grid Computing, Australia, 05/12/05-08/12/05, //to appear in the proceedings, décembre 2005.
Résumé
Accès : http://www.gridbus.org/escience/index.html
BibTeX
-
Bassem Nasser, Romain Laborde, Abdelmalek Benzekri, François Barrère, Michel Kamel. Access Control Model for Inter-organizational Grid Virtual Organizations. Dans : On the Move to Meaningful Internet Systems 2005: OTM 2005 workshops. MIOS+Interop Workshop, Cyprus, 31/10/05-01/11/05, Robert Meersmann, Zahir Tari, Pilar Herrero (Eds.), Springer-Verlag Berlin Heidelberg 2005, p. 537, octobre 2005.
Résumé
BibTeX
-
Bassem Nasser, Romain Laborde, François Barrère, Abdelmalek Benzekri, Michel Kamel. A framework for dynamic creation of grid Virtual Organizations. Dans : Simposio Seguranca em Informatica (SSI 2005), Brésil, 08/11/05-11/11/05, Paulo Sérgio Motta Pires, Clovis Torres Fernandes (Eds.), Technological Institute of Aeronautics (ITA)
Airspace Technical Center (CTA), (support électronique), novembre 2005.
Résumé
BibTeX
-
Julien Broisin, Philippe Vidal, Erik Duval. A Model driven Approach for the Management of Learning Objects' Usage. Dans : Intelligent Interactive Learning Object Repositories Network, Vancouver, 14/11/05-18/12/05, Simon Fraser University, novembre 2005.
BibTeX
-
Bassem Nasser, Abdelmalek Benzekri, Romain Laborde, Frédéric Grasset, François Barrère. Access Control Model for Grid Virtual Organizations. Dans : International Conference on Enterprise Information Systems, Miami, USA, 25/05/05-28/05/05, Chen Chin-Sheng , Filipe Joaquim , Seruca Isabel , Cordeiro José (Eds.), 972-8865-19-8, p. 152-158, mai 2005.
Résumé
BibTeX
-
Romain Laborde, François Barrère, Abdelmalek Benzekri. A formal framework (Expression + Analysis) for network security mechanisms configuration. Dans : 4th IEEE International Symposium on Network Computing and Applications (IEEE NCA05), Cambridge, MA, USA, 27/07/05-29/07/05, IEEE Computer Society, ISBN 0-7695-2326-9, juillet 2005.
BibTeX
-
Romain Laborde, Michel Kamel, François Barrère, Abdelmalek Benzekri. Implementation of a formal security policy refinement process in WBEM architecture. Dans : 4th Latin American Network Operations and Management Symposium (LANOMS 2005), Porto Alegre, 29/08/05-31/08/05, ISBN 85-76690-38-1, p. 65-76, août 2005.
Résumé
BibTeX
-
Romain Laborde, François Barrère, Abdelmalek Benzekri. A security management information model derivation framework: from goals to configurations. Dans : 3rd international Workshop on Formal Aspects in Security and Trust (FAST2005), Newcastle Upon Tyne, 18/07/05-19/07/05, Springer, p. 215-232, juillet 2005.
Résumé
BibTeX
-
Julien Broisin, Philippe Vidal, Philippe Baqué, Erik Duval. Sharing & Re-using Learning Objects : Learning Management Systems and Learning Object Repositories. Dans : EDMEDIA 05, Montréal, 27/06/05-02/07/05, Association for the Advancement of Computing in Education, p. 4558-4565, juin 2005.
BibTeX
-
Julien Broisin, Philippe Vidal, Michael Meire, Erik Duval. Bridging the gap between learning management systems and learning object repositories: exploiting learning context information. Dans : ELETE 2005, Lisbonne, 17/07/05-20/07/05, IEEE Computer Society, p. 478-483, juillet 2005.
BibTeX
-
Emmanuel Lavinal, Thierry Desprats, Yves Raynaud. An Organizational-driven Specialization of the Multi-Agent System Paradigm for Self-Management. Dans : IFIP/IEEE International Symposium on Integrated Network Management (IM 2005), poster proceedings, Nice, France, 15/05/05-19/05/05, IEEE, p. 41-44, mai 2005.
Résumé
BibTeX
-
André Aoun, Mohamed Masmoudi, Jean-Yves Plantec. Campus numérique em@ths: aspects pédagogiques et techniques. Dans : Technologie de l'information et de la communication dans l'enseignement supérieur et l'Industrie, Compiègne, 20/10/04-22/10/04, UTC, p. 528-532, octobre 2004.
BibTeX
-
Osman Salem, Abdelmalek Benzekri. An Algebraic Model of an Adaptive Extension of DiffServ for Mobile Ad Hoc Networks. Dans : Network Control and Engineering for QoS, Security and Mobility (Net-Con¿2004), Palma de Mallorca, Spain, 01/11/04-05/11/04, IFIP TC6 Conference, novembre 2004.
BibTeX
-
Alia Fourati, Hella Kaffel Ben Ayed, Farouk Kamoun, Abdelmalek Benzekri. The Degree of Reliability of Conducting M-Commerce Transactions Over Hotspot Networks. Dans : 7th International Conference on Electronic Commerce Research, Dallas, Texas, USA, 10/06/04-13/06/04, ICECR7, juin 2004.
BibTeX
-
Alia Fourati, Hella Kaffel Ben Ayed, Farouk Kamoun, Abdelmalek Benzekri. Security Issues of M-Commerce Over Hotspot Networks. Dans : IEEE Wireless Communications and Networking Conference, Atalanta, Georgia, USA, 21/03/04-25/03/04, IEEE, mars 2004.
BibTeX
-
Patrick Trabe, Mikaël Salaun, Yvon Gourhant. Une architecture distribuée et programmable pour lutter contre les attaques distribuées. Dans : NOTERE¿2004 Les Nouvelles TEchnnologies de la RÉpartition, Saidia, Maroc, 27/06/04-30/06/04, ?, juin 2004.
Résumé
Accès : http://www.ece.concordia.ca/~dssouli/Pg.pdf
BibTeX
-
Romain Laborde, Bassem Nasser, Frédéric Grasset, François Barrère, Abdelmalek Benzekri. A formal approach for the evaluation of network security mechanisms based on RBAC policies. Dans : 2nd International Workshop on Security Issues with Petri Nets and other Computational Models (WISP'04), Bologna, Italy, Electronic Notes in Theoretical Computer Science, Volume 121, Elsevier, p. 117-142, juin 2004.
Résumé
Accès : http://dx.doi.org/10.1016/j.entcs.2004.10.011
BibTeX
-
Romain Laborde, Bassem Nasser, Frédéric Grasset, François Barrère, Abdelmalek Benzekri. Network Security Management: A Formal Evaluation Tool based on RBAC Policies. Dans : IFIP NetCon'2004, Palma de Mallorca, Spain, 03/11/04-05/11/04, D. Gaïti, S. Galmés, R. Puigjaner (Eds.), Springer ISBN 0-387-23197-8, p. 69-80, novembre 2004.
Résumé
BibTeX
-
Osman Salem, Abdelmalek Benzekri. MODELLING AND ANALYZING DYNAMIC SOURCE ROUTING PROTOCOL WITH GENERAL DISTRIBUTIONS. Dans : ANALYTICAL AND STOCHASTIC MODELLING THECHNIQUES and APPLICATIONS (ASMTA'04), Magdeburg, Germany, 13/06/04-16/06/04, Khalid Al-Begain, Gunter Bolch (Eds.), Society for Modelling and Simulation International (SCS), p. 173-179, juin 2004.
Résumé
Accès : http://www.irit.fr/~Osman.Salem/sub_page/publications.htm
BibTeX
-
Philippe Vidal, Julien Broisin, Erik Duval. Normalisation et Standardisation des Objets d'Apprentissage: l'expérience ARIADNE. Dans : Colloque « miage et e-mi@ge », Marrakech, 15/03/04-17/03/04, ESG, p. 48-64, mars 2004.
BibTeX
-
Philippe Vidal, Julien Broisin, Erik Duval. Learning Objects : the ARIADNE Experience. Dans : IFIP World Computer Congress, Toulouse, 22/08/04-27/08/04, Kluwer Academic Publishers, p. 551-556, août 2004.
BibTeX
-
Philippe Vidal, Julien Broisin, Bruno Demers, Audrey Alibert, Daniel Marquié. Serveur de Contenus e-mi@ge: pour une Exploitation Pédagogique. Dans : Colloque « miage et e-mi@ge », Marrakech, 15/03/04-17/03/04, ESG, p. 32-48, mars 2004.
Accès : http://e-miage.ups-tlse.fr/colloque/accueil.htm
BibTeX
-
Romain Laborde, Bassem Nasser, Frédéric Grasset, François Barrère, Abdelmalek Benzekri. A formal tool for user based network security policy specification. Dans : International Workshop Security Analysis of Systems: Formalisms and Tools (SASYFT'04), Orléans, France, 21/06/04-22/06/04, Laboratoire d'Informatique Fondamentale d'Orléans, 4, rue Léonard de Vinci, BP 6759, F45067 Orléans cedex2, France - Technical Report N°2004-11, p. 1-18, juin 2004.
BibTeX
-
Michelle Sibilla, André Barros De Sales, Yves Raynaud, François Jocteur-Monrozier. An active CIM_Dependency pattern for a consistence service monitoring. Dans : 2004 IEEE/IFIP Network Operations and Management Symposium (NOMS): Managing Next Generation Convergence Networks and Services, Séoul, Corée, 19/04/04-23/04/04, Raouf Boutaba, Seong-Beom Kim (Eds.), IEEE, p. 883-884, avril 2004.
Accès : http://www.noms2004.org
BibTeX
-
Philippe Vidal, Audrey Alibert, Philippe Baqué, Daniel Marquié. ARIADNE - INES : un exemple d'interopérabilité de WebLE. Dans : ARIADNE Spring Workshop, Toulouse, 12/05/03-13/05/03, Université Paul Sabatier - IRIT, mai 2003.
BibTeX
-
Philippe Vidal, Audrey Alibert, Philippe Baqué. A Multi Platform Curriculum Editor for E-Learning. Dans : 2nd "International Conference on Emerging Telecommunications Technologies and Applications and the 4th Conference on Virtual University, Kosice, 11/09/03-13/09/03, ESG, p. 152-162, septembre 2003.
BibTeX
-
Philippe Vidal, Audrey Alibert, Philippe Baqué. Towards E-Learning Platforms Interoperability : an Opening Solution. Dans : 4th IEEE International Conference on Information Technology Based Higher Education and Training (ITHET03), Marrakech, 07/07/03-09/07/03, ESG, p. 193-199, juillet 2003.
Accès : http://www.emi.ac.ma/ithet03
BibTeX
-
François Barrère, Abdelmalek Benzekri, Frédéric Grasset, Romain Laborde, Bassem Nasser. SPIDERNet : the Security Policy Derivation for Networks tool. Dans : 3rd IEEE Latin America Network Operations and Management Symposium (LANOMS), Iguaçu, Brazil, 04/09/03-06/09/03, Edmundo R. M. Madeira and Elias P. Duarte Jr., p. 29-36, septembre 2003.
Résumé
BibTeX
-
Osman Salem, Abdelmalek Benzekri. A SOFTWARE PERFORMANCE EVALUATION APPROACH USING STOCHASTIC PROCESS ALGEBRA TOOLS. Dans : The 2003 International MultiConference in Computer Science and Engineering (SERP'03), Monte Carlo Resort, Las Vegas, Nevada, USA, 23/06/03-26/06/03, Ban Al-Ani, H.R. Arabina, Youngsong Mun (Eds.), CSREA Press, University of Georgia, GA, USA ISBN: 1−892512−40−8, p. 62-67, juin 2003.
Résumé
Accès : http://www.irit.fr/~Osman.Salem/sub_page/publications.htm
BibTeX
-
Osman Salem, Abdelmalek Benzekri. FUNCTIONAL MODELING AND PERFORMANCE EVALUATION FOR TWO CLASS DIFFSERV ROUTER USING STOCHASTIC PROCESS ALGEBRA. Dans : 17th EUROPEAN SIMULATION MULTICONFERENCE, Nottingham - UK, 09/06/03-11/06/03, Editor: David Al-Dabass, ISBN: 3-936150-25-7, SCS-EUROPEAN PUBLISHING HOUSE, p. 257-262, juin 2003.
Résumé
BibTeX
-
Rima Abdallah, Abdelmalek Benzekri, Ali El Hajj, Ibrahim Moukarzel. AN IMPROVED WBT MODEL FOR THE DEVELOPMENT AND INDEXING OF MULTIMEDIA LEARNING RESOURCES. Dans : World Conference on Educational Multimedia, Hypermedia and Telecommunications (EDMEDIA), Honolulu, Hawaii, USA, 23/06/03-28/06/03, Association for the Advancement of Computing in Education (AACE), P.O. Box 3728 Norfolk, VA 23514-3728 USA ISBN 380094-48-7, p. 698-705, juin 2003.
Résumé
Accès : http://dl.aace.org/12849
BibTeX
-
François Barrère, Abdelmalek Benzekri, Frédéric Grasset, Romain Laborde, Bassem Nasser. Négociation de la politique de sécurité Inter-Domaines. Dans : SAR 2003 CONFERENCE FRANCOPHONE SECURITE ET ARCHITECTURE, Marrakech Maroc , 30/06/03-04/07/03, I. CHRISMENT - R. DSSOULI, INRIA Domaine de Voluceau - Roquencourt - BP 105 - 78153 Le Chesnay Cédex FRANCE Dépot Légal: 200503 / 110 ISBN 2 - 7261 - 1251 - X, p. 21-31, juin 2003.
Résumé
BibTeX
-
Rima Abdallah, Ali El Hajj, Abdelmalek Benzekri, Ibrahim Moukarzel. An Improved WBT Model for Enhanced Interoperable and Reusable Environment. Dans : EC-VIP-MC 2003 4th EURASIP Conference focused on Video / Image Processing and Multimedia Communications, Zagreb, Croatia, 02/07/03-05/07/03, Mislav Grgic and Sonja Grgic ISBN 953-184-054-7 (entire proceedings) Volume 1: 953-184-059-8 Volume 2: 953-184-060-1, University of Zagreb Faculty of Electrical Engineering and Computing Department of Radiocommunications and Microwave Engineering Unska 3 / XII HR-10000 Zagreb - CROATIA HR-10000 Zagreb CROATIA, p. 777-782, juillet 2003.
Résumé
BibTeX
-
Abdelmalek Benzekri, Rima Abdallah, Ali El Hajj, Ibrahim Moukarzel. Research Trend on authoring environment for new methodological approach of lifelong e-learning. Dans : 4th International Conference on InformationTechnology Based Higher Education and Training, Marrakech, Morocco, 07/07/03-09/07/03, Amine Benkiran, APRIMt Publishing - Ecole Mohammadia d'Ingénieurs, BP 765 Agdal - Rabat, Morocco Print Version Legal Deposit: 2003/1065 ISBN: 9954-8352-0-2 CD-ROM Version: 2003FI0031, p. 98-103, juillet 2003.
Résumé
BibTeX
-
François Barrère, Abdelmalek Benzekri, Frédéric Grasset, Romain Laborde, Bassem Nasser. Inter-Domains policy negociation. Dans : Policy 2003, Fourth International Workshop Policies for Distributed Systems and Networks - IEEE, Lake Como, Italy, 04/06/03-06/06/03, IEEE Computer Society, IEEE Computer Society Customer Service Center 10662 Los Vaqueros Circle P.O. Box 3014 Los Alamitos, CA 90720-1314, p. 239-242, juin 2003.
Résumé
BibTeX
-
Emmanuel Lavinal, Thierry Desprats, Yves Raynaud. A Conceptual Framework for Building CIM-based Ontologies. Dans : IFIP/IEEE 8th International Symposium on Integrated Network Management (IM 2003), Colorado Springs, USA, 24/03/03-28/03/03, Kluwer Academic Publishers - ISBN 1-4020-7418-2, p. 135-138, mars 2003.
Résumé
BibTeX
-
André Aoun, Mohamed Masmoudi, Bernard Platel, Jean-Yves Plantec. em@ths et la Cyber-Université Franco-Indienne: un exemple de co-production en contexte international. Dans : Stratégies et nouvelles compétences, INSA Lyon, 13/11/02-15/11/02, INSA, p. 443-446, novembre 2002.
BibTeX
-
Philippe Vidal, Hervé Apcher. Updated ARIADNE Services. Dans : Second ARIADNE Spring Workshop, Tuebingen, 17/04/02, KUL, p. 163-170, avril 2002.
BibTeX
-
Alia Fourati, Hella Kaffel Ben Ayed, Farouk Kamoun, Abdelmalek Benzekri. Wireless SET: An approach for the deployment of SET over WAP mobile networks. Dans : Network Control and Engineering for QoS, Security and Mobility with focus on Policy-based Networking, NET-CON'2002, Paris, France, 23/10/02-25/10/02, Dominique Gaïti, Nadia Boukhatem, IFIP Conference Proceedings,235 Kluwer 2002, ISBN 1-4020-7268-6, p. 437-442, octobre 2002.
Résumé
BibTeX
-
Alia Fourati, Hella Kaffel Ben Ayed, Farouk Kamoun, Abdelmalek Benzekri. A security approach combining the TLS/WTLS and SET protocols for payment in m-commerce. Dans : 5th International Conference on Electronic Commerce Research (ICECR-2002), Montreal, Canada, 23/10/02-26/10/02, T.G. Crainic, B. Gavish, octobre 2002.
BibTeX
-
Alia Fourati, Hella Kaffel Ben Ayed, Farouk Kamoun, Abdelmalek Benzekri. A SET Based Approach to Secure the Payment in Mobile Commerce. Dans : The 27th Annual IEEE Conference on Local Computer Networks (LCN), Tampa, Florida, USA, 07/11/02-08/11/02, Ken Christensen, IEEE, novembre 2002.
Résumé
BibTeX
-
Philippe Vidal, Eddy Forte, Erik Duval, Audrey Alibert. Guided Tour of the Ariadne Environment : Tools and Methods. Dans : TICE 2002 International Symposium on technologies of Information and Communication in Education, LYON, 13/11/02-15/11/02, LIPS, p. 353-357, novembre 2002.
Accès : http://tice2002.insa-lyon.fr
BibTeX
-
André Barros De Sales. End-To-End QoS Management: Dependency and Relationships in Distributed Systems. Dans : The International IEEE/IFIP Conference on Dependable Systems and Networks (DSN-2002), Washington, DC, USA, 23/06/02-26/06/02, The IEEE Computer Society Press, 10662 Los Vaqueros Circle. P.O. Box 3014. Los Alomos, CA 90720-1314, juin 2002.
BibTeX
-
Abdelmalek Benzekri. Qualitative and Quantitative Evaluation using Process Algebra. Dans : International Symposium on Computer and Information Sciences, Orlando, Floroda, USA, 28/10/02-30/10/02, Ilyas Cicekli - Nihan Kesim Cicekli - Erol Gelembe, CRC PRESS LLC Boca Raton London New York Washington D.C., p. 415-418, octobre 2002.
Résumé
Accès : www.crcpress.com
BibTeX
-
Rima Abdallah, Abdelmalek Benzekri, Ali El Hajj, Ibrahim Moukarzel. On the use of e-learning standards in a WBT/E Model. Dans : Learning with technologies in School, home and community, Manchester,UK, 30/06/02-05/07/02, Gail Marshall, Yaacov Katz, 2393 Broadmont Court Chesterfield MO 63017 USA Email: 74055.652@compuserve.com katzya@isdn.net.il katzya@mail.biu.ac.il, p. 1-5, juin 2002.
Résumé
BibTeX
-
François Barrère, Abdelmalek Benzekri, Frédéric Grasset, Romain Laborde. A Multi-Domain Security Policy Distribution Architecture for Dynamic IP Based VPN Management. Dans : Third International Workshop Policies for Distributed Systems and Networks - IEEE, Monterey, California, USA, 05/06/02-07/06/02, IEEE Computer Society - ISBN 0-7695-1611-4, IEEE Computer Society Customer Service Center 10662 Los Vaqueros Circle P.O. Box 3014 Los Alamitos, CA 90720-1314, p. 224-227, juin 2002.
Résumé
BibTeX
-
Philippe Vidal, Philippe Baqué, Hervé Apcher. Intégration d'outils de communication dans un cursus ARIADNE. Dans : Atelier de printemps ARIADNE, Lausanne, 04/05/01, LEAO-EPFL, p. 55-65, mai 2001.
BibTeX
-
Philippe Vidal, Hervé Apcher, Philippe Baqué, Etienne Cabarrot. Cours en ligne d'oncologie médicale pour le généraliste. Dans : Pratiques de l'E-Formation, Katholieke Universiteit Leuven, 23/11/01-24/11/01, Fondation ARIADNE, LEAO EPFL -CH1015 Lausanne, novembre 2001.
Accès : http://www.ariadne-eu.org
BibTeX
-
Philippe Vidal, Hervé Apcher, Daniel Marquié. Intégrations de services coopératifs dans un système d'enseignement à Distance. Dans : Pratiques de l'E-Formation, Katholieke Universiteit Leuven, 23/11/01-24/11/01, Fondation ARIADNE, LEAO EPFL -CH1015 Lausanne, novembre 2001.
Accès : http://www.ariadne-eu.org
BibTeX
-
Abdelmalek Benzekri, François Barrère, Frédéric Grasset, Romain Laborde, Yves Raynaud. A security Policy Management Architecture for the Extended Enterprise. Dans : 7th International Conference on Concurrent Enterprising, Bremen, Germany, 27/06/01-29/06/01, Klaus-Dieter Thoben, Frithjof Weber & Kulwant S Pawar, Centre for Concurrent Enterprising, University of Nottingham, UK ISBN 0 85358 098 7, p. 181-186, juin 2001.
Accès : http://www.ice-2001.org
BibTeX
-
Abdelmalek Benzekri, André Aoun, Gert Michiels. Integrating Web-based Training into Concurrent Engineering. Dans : 6th International Conference on Concurrent Enterprising, Toulouse, France, 28/06/00-30/06/00, Frithjof Weber & Kulwant S Pawar, ISBN 0 9519759 9 4 Centre for Concurrent Enterprising University of Nottingham, UK, p. 317-325, juin 2000.
Accès : http://www.ice-2000.org
BibTeX
-
Michelle Sibilla, Anne-Isabelle Rivière, François Jocteur-Monrozier. Global System Management with Standard Object Oriented Technologies. Dans : DAta Systems In Aerospace conference (DASIA), Canada, ESA SP-457. Ed. Schürmann B., p. 412, mai 2000.
Accès : http://www.eurospace.org/
BibTeX
-
Dominique Bénech, Thierry Desprats, Yves Raynaud. COBALT: An Architecture for Intelligent Agent-based Management. Dans : NOMS'98 - IFIP/IEEE 1998 Network Operation and Management Symposium, ., IEEE, p. 670-676, février 1998.
BibTeX
-
Philippe Vidal, Kris Cardinaels, Erik Duval, Eddy Forte. A Knowledge Pool System of Reusable Pedagogical Elements. Dans : CALISCE 98, Goteborg, 15/06/98-17/06/98, C. Alvegard (Ed.), p. 54-62, juin 1998.
BibTeX
-
Abdelmalek Benzekri, Jean-François Berdjugin, Yves Raynaud. Different Approaches of an Invoice System with Z. Dans : Invoice'98,International Workshop on Specification Techniques, and Formal Methods, Faculté des Sciences et Des Techniques de l'Université de Nantes, Habrias, Nantes, janvier 1998.
BibTeX
-
Philippe Vidal, Philippe Baqué, Yves Raynaud, B Tukalo, I Ubannel. Télé-enseignement et Internet : expérimentations et perspectives. Dans : Second Festival Européen du Télétravail et des Télé-Activités, Serre Chavalier, 20/03/97-22/03/97, Systémia, p. 39-49, mars 1997.
BibTeX
-
Yves Raynaud, Etienne Cabarrot, Philippe Vidal. Distance Learning in Medical Environment. Dans : EUROCHINATEL, Telematics Multimedia Applications For education and Healtheare, Beijing, 02/04/97-04/04/97, ESG, p. 255-264, avril 1997.
BibTeX
-
Philippe Vidal, Philippe Baqué. Multimedia et ATM : Expérimentations et Perspectives. Dans : Second Festival du Télétravail et des Télé-Activités, -, Systémia, p. 87-99, mars 1997.
Accès : http://www.systemia.fr
BibTeX
-
Abdelmalek Benzekri, Jean-François Berdjugin, Jean-Michel Bruel. Z, langage de spécification de systèmes répartis temps réel. Dans : Conférence Francophone sur l'Ingénierie des Protocoles (CFIP'97), Liège, Belgique, 29/09/97-02/10/97, Hermès. ISBN 2-86601-639-4, septembre 1997.
BibTeX
-
Abdelmalek Benzekri, Jean-Michel Bruel. Controller Area Network: a formal case study. Dans : 2nd IEEE International Workshop on Factory Communication Systems (WFCS'97), Barcelona, Catalonia, Spain, 01/10/97-03/10/97, J.M. Fuertes and G. Juanole, octobre 1997.
BibTeX
-
Jean-Michel Bruel, Abdelmalek Benzekri. A Formal Study of the Controller Aera Network properties. Dans : Proceedings of the ISCA 10th International Conference on Computer Applications in Industry and Engineering (CAiNE'97), San Antonio, Texas USA, 10/12/97-12/12/97, Gordon K. Lee, décembre 1997.
Accès : http://www.webpress.net/isca/Caine-97-Call.htm
BibTeX
-
Dominique Bénech, Thierry Desprats, Yves Raynaud. A KQML-CORBA based Architecture for Intelligent Agents Communication in Cooperative Service and Network Management. Dans : IFIP/IEEE International Conference on Management of Multimedia Networks and Services, Montreal, Canada, -, juillet 1997.
BibTeX
-
F Maurice, Abdelmalek Benzekri, Yves Raynaud. Introducing a Rigorous Metrics Definition Into a Measurement Program. Dans : Proceedings of the 4th IEEE International Software Metrics Symposium (METRICS'97), Albuquerque, New Mexico, Computer Society Press, Los Alamitos, CA, novembre 1997.
BibTeX
-
Yves Raynaud, Abdelmalek Benzekri, F Maurice. Evaluation and Improvement of Software and Processes Based on Measurement. Dans : Proceedings of the 2nd IEEE Workshop on High Assurance in Software Engineering (HASE'97), Washington, -, août 1997.
BibTeX
-
Philippe Vidal, Philippe Baqué. Interactive Tools for pedagogical scenario. Dans : Third European Workshop of HP OpenView-University Association on Management of Systems, Networks and Applications in the Framework of Distance Learning, Toulouse, 14/03/96-15/03/96, Université Paul Sabatier - IRIT, mars 1996.
BibTeX
-
Philippe Vidal, Philippe Baqué, B Tukalo, I Ubannel, Yves Raynaud. Le Multimédia de 4ème Génération : de la Production à l'Utilisation Pédagogique. Dans : European Universities Summer School, Barcelone, ESG, p. 17-21, janvier 1996.
BibTeX
-
Abdo Abdulmalak, Abdelmalek Benzekri, Jean-Michel Bruel. Quality of Service analysis using Formal Methods. Dans : Quality of Service - Description, Modelling and Management (Proceedings of the 4th International IFIP Workshop on QoS), Paris, France, 06/03/96-08/03/96, Andreas Vogel and Jan de Meer, GMD-Studien Nr 282, p. 151-160, mars 1996.
BibTeX
-
Dominique Bénech, Thierry Desprats, J-J. Moreau. A conceptual approach to the integration of agent technology in system management. Dans : FIP/IEEE Intern. Workshop on Distributed Systems : Operations and Management, L'Aquila (Italie), -, janvier 1996.
BibTeX
-
Anne-Isabelle Rivière, Michelle Sibilla, A. Pell. Network management information: from protocols to information integration. Dans : IFIP/IEEE Intern. Workshop on Distributed Systems: Operations and Management, L'Aquila (Italie), -, janvier 1996.
BibTeX
-
Jean-Michel Bruel, Robert B. France, Abdelmalek Benzekri. Real-Time and Safety Critical Systems Specification: a Z-based Specification Environment. Dans : Proceedings of the ISCA 9th International Conference on Computer Applications in Industry and Engineering (CAiNE'96), Orlando, Florida, 11/12/96-13/12/96, ISCA, Raleigh, N, p. 44-47, décembre 1996.
Accès : http://www.webpress.net/isca/caine-96.htm
BibTeX
-
Jean-Michel Bruel, Robert B. France, Abdelmalek Benzekri. A Z-based Approach to Specifying and Analyzing Complex Systems. Dans : Proceedings of the Second IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'96), Montreal, Canada, 21/10/96-25/10/96, IEEE Computer Society Press, Los Alamitos, CA, p. 336-343, octobre 1996.
BibTeX
-
Jean-Michel Bruel, Robert B. France, Abdelmalek Benzekri, Yves Raynaud. A Real-Time Specification Environment based on Z and Graphical Object-Oriented Modeling Techniques. Dans : Proceedings of the IEEE High-Assurance Systems Engineering Workshop (HASE'96), Niagara-on-the-Lake, Canada, 21/10/96-22/10/96, IEEE Computer Society Press, Los Alamitos, CA, octobre 1996.
Accès : http://www.cs.uh.edu/\%7Ehase96
BibTeX
-
Philippe Vidal, Philippe Baqué, B Tukalo, I Ubannel. HP Tele-University, FUDMIP Project, Prototype Platform. Dans : HP Distance Learning, Initiative Meeting, l'Isle d'Abeau, -, avril 1995.
BibTeX
-
Abdelmalek Benzekri, Jean-Michel Bruel, Yves Raynaud. Z for the Specification of Real-Time Systems. Dans : Real-Time Systems'95, zklarska, Proeba, Poland, Oficyna Wydawnicza Politechniki Wroclawskiej, p. 81-96, septembre 1995.
BibTeX
-
Jean-Michel Bruel, Abdelmalek Benzekri, Yves Raynaud. Z and the Specification of Real-Time Systems. Dans : Proceedings of the 7th International Conference on Putting into Practice Methods and Tools for Information System Design - Z Twenty Years On, What Is Its Future?, Université de Nantes, France, 10/10/95-12/10/95, -, octobre 1995.
BibTeX
-
Jean-Michel Bruel, Yves Raynaud, Abdo Abdulmalak. Validation of an Adaptive Leaky Bucket Algorithm. Dans : International Conference on Computer Applications in Industry and Engineering, Honolulu, Hawaii, USA, 29/11/95-01/12/95, A. Goel, novembre 1995.
|