Recherche

	1 2 3 4 5 6 7 8 9 10	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 733 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	inria-00100114v1 Article dans une revue Egon Balas, Alexander Bockmayr, Nicolai Pisaruk, Laurence Wolsey. On unions and dominants of polytopes Mathematical Programming, Ser. A, 2004, 99 (2), pp.223-239
	inria-00100068v1 Communication dans un congrès Gérard Morel, Dominique Méry, Jean-Baptiste Léger, Thierry Lecomte. Proof-Oriented Fault-Tolerant Systems Engineering : Rationales, Experiments and Open Issues 7th IFAC Symposium on Cost Oriented Automation - COA'2004, 2004, Gatineau, Québec, Canada. 2004
	inria-00073023v1 Rapport Thierry Priol, Christophe René, Guillaume Alléon. Programming SCI Clusters Using Parallel CORBA Objects [Research Report] RR-3649, INRIA. 1999
	inria-00073070v1 Rapport Loïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel. How to Deforest in Accumulative Parameters? [Research Report] RR-3608, INRIA. 1999
	hal-01523922v1 Communication dans un congrès Fabrice Boissier. Supporting Modelers with Model Qualities and Patterns 11th IEEE International Conference on Research Challenges in Information Science, May 2017, Brighton, United Kingdom
	inria-00074249v1 Rapport Pierre Berlandier. Deux variations sur le thème de la consistance d'arcs : maintien et renforcement [Rapport de recherche] RR-2426, INRIA. 1994
	inria-00074209v1 Rapport Israël-César Lerman, Philippe Peter, J.L. Risler. Matrices AVL pour la classification et l'alignement de séquences protéïques [Rapport de recherche] RR-2466, INRIA. 1994
	inria-00075036v1 Rapport Christian Olivier, Bernard Larrouturou. On the numerical approximation of the K-epsilon turbulence model for two dimensional compressible flows [Research Report] RR-1526, INRIA. 1991
	hal-00873994v1 Communication dans un congrès Manuele Kirsch Pinheiro, Irina Rychkova. Dynamic Context Modeling for Agile Case Management 2nd International Workshop on Adaptive Case Management and other non-workflow approaches to BPM (AdaptiveCM 2013), 2013, Graz, Austria. 8186, pp.144-154, 2013, Lecture Notes in Computer Science
	inria-00074668v1 Rapport Sofiane Labidi, Wided Lejouad. De l'intelligence artificielle distribuee aux systemes multi-agents [Rapport de recherche] RR-2004, INRIA. 1993
	inria-00074860v1 Rapport Nicolas Chleq. Un Mecanisme de prediction deductive pour le raisonnement temporel [Rapport de recherche] RR-1812, INRIA. 1992
	inria-00074797v1 Rapport Pénélope Leyland, Fayssal Benkhaldoun, Nathan Maman, Bernard Larrouturou. Dynamical mesh adaption criteria for accurate capturing of stiff phenomena in combustion [Research Report] RR-1876, INRIA. 1993
	hal-00673608v1 Communication dans un congrès Rim Samia Kaabi, Carine Souveyet, Colette Rolland. Eliciting service composition in a goal driven manner ICSOC 2004, Second International Conference, Nov 2004, New York, United States. pp.308-315, 2004
	hal-00673612v1 Communication dans un congrès Carine Souveyet, M. Tawbi, J.F. Velez, C. Ben Achour. Evaluating the CREWS-L'Ecritoire Requirements Elicitation Process Requirements Engineering:Foundation for Software Quality (REFSQ), 2000, Sweden. pp.REFSQ 2000, 2000
	hal-00673614v1 Communication dans un congrès Colette Rolland, Carine Souveyet, M. Ben Ayed. Users Requirements Elicitation in the Lyee Software Factory Systemic Cybernatics and Informatic (SCI), Jul 2002, Orlando, United States. 2002
	inria-00075115v1 Rapport Albert Benveniste, Gérard Berry. The Synchronous approach to reactive and real-time systems [Research Report] RR-1445, INRIA. 1991
	inria-00074787v1 Rapport François Beux, Stephane Lanteri, Alain Dervieux, Bernard Larrouturou. Upwind stabilization of Navier-Stokes solvers [Research Report] RR-1885, INRIA. 1993
	inria-00074806v1 Rapport Jean-Pierre Cioni, Loula Fezoui, Hervé Steve. A Parallel time-domain Maxwell solver using upwind schemes and triangular meshes [Research Report] RR-1867, INRIA. 1993
	hal-00577958v1 Communication dans un congrès Bruno Delprat, Mohamed Hallab, Martine Cadot, Alain Lelu. Processing a Mayan Corpus for Enhancing our Knowledge of Ancient Scripts ESCE- University la Manouba (Tunisia), Nancy University (France), IGA (Morocco), IEEE Morocco section. 4th International Conference on Information Systems and Economic Intelligence - SIIE'2011, Feb 2011, Marrakech, Morocco. IGA Maroc, pp.198-208, 2011
	hal-00673585v1 Communication dans un congrès Rim Samia Kaabi, Carine Souveyet. Capturing Intentional services with Business Process Maps 1rst IEEE International Conference on Research Challenges in Information Science, Apr 2007, Morocco. 2007
	hal-00673611v1 Communication dans un congrès Rim Samia Kaabi, Carine Souveyet, J. Dimassi, Colette Rolland. A Goal Driven Approach to Service Composition and Enactment CopStic03, 2003, Rabat, Morocco. 2003
	hal-00673616v1 Communication dans un congrès Carine Souveyet, Camille Salinesi. Generating Lyee Programs from User Requirements with a Meta-Model based Methodology International Workshop on Lyee Methodology (SoMeT), 2002, Paris, France. pp.212-224, 2002
	hal-00673617v1 Communication dans un congrès C. Ben Achour, Colette Rolland, Carine Souveyet, M. Maiden. Use Case Authoring Guidance : Results of an Empirical Study International Symposium on Requirements Engineering (ISRE), 1999, Ireland. pp.36-43, 1999
	hal-00673628v1 Communication dans un congrès Rebecca Deneckere, Carine Souveyet. Patterns for Extending an OO Model with Temporal Features Object Oriented Information Systems (OOIS), 1998, France. pp.OOIS 98, 1998
	hal-00673636v1 Communication dans un congrès Carine Souveyet, Colette Rolland. Correction of Conceptual schema CAISE'90, 1990, Sweden. pp.152-174, 1990
	hal-00673638v1 Communication dans un congrès Carine Souveyet, Colette Rolland. Aide à la validation et à la correction du schéma conceptuel d'un système d'information Les journées internationales des systèmes d'information " (JISI'90), 1990, Tunisia. pp.JISI'90, 1990
	hal-00673646v1 Communication dans un congrès Carine Souveyet. Temporal Application Requirement International Conference on Object-Oriented Information Systems, 1998, Paris, France
	hal-00673654v1 Rapport Carine Souveyet. User Requirements 1996
	inria-00076430v1 Rapport Marc Prevosto, Albert Benveniste, Bruno Bernouin. Modélisation et identification des caractéristiques d'une structure vibratoire:un problème de réalisation stochastique d'un grand système non stationnaire [Rapport de recherche] RR-0130, INRIA. 1982
	inria-00077024v1 Rapport Gilles Trombettoni de Menton. Conception d'un algorithme de maintien de solutions dans un reseau de contraintes [Rapport de recherche] RR-1784, INRIA. 1992
	1 2 3 4 5 6 7 8 9 10	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 733 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM

Type de document

Auteur

Discipline

Structure

Collection

Langue

Type de dépôt

Année

Contact