Browse by search - Archive ouverte HAL

	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title 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 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-00153049v1 Conference papers Hichem Geryville, Abdelaziz Bouras, Yacine Ouzrout, Nikolaos Sapidis. Collaborative product and process model: Multiple Viewpoints approach 12th International Conference on Concurrent Enterprising, 2006, Milano, Italy. pp.542, ⟨10.1000/ISBN0-85358-228-9⟩
	hal-00153082v1 Conference papers Emilie Grandgirard, Christine Gertosio. Adaptation of an assistance system for hospital: application to an endoscopy unit International Conference on Service Systems and Service Management, 2006, Troyes, France. pp.F268
	hal-00153093v1 Conference papers Hichem Geryville, Abdelaziz Bouras, Yacine Ouzrout, Nikolaos Sapidis. A solution for actors' viewpoints representation with collaborative product development International Technical Conference Product Life cycle and Engineering Design Management - Virtual Concept 2006, 2007, Cancùn, Mexico. pp.39-40, ⟨10.1007/978-2-287-48370-7⟩
	hal-00156219v1 Conference papers Hcene Benmohamed, Arnaud Lelevé, Patrick Prévot. Remote laboratories: new technology and standard based architecture 2004 IEEE International Conference on Information and Communication Technologies: From Theory to Applications, Apr 2004, Damas, Syria. pp.101 - 102, ⟨10.1109/ICTTA.2004.1307634⟩
	inria-00077535v2 Reports Eric Fabre, Albert Benveniste. Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them [Research Report] RR-5916, INRIA. 2007, pp.38
	hal-00156320v1 Conference papers Areski Flissi, Philippe Merle. Une démarche dirigée par les modèles pour construire les machines de déploiement des intergiciels à composants Langages et Modèles à Objets (LM0'05), 2005, Bern, Suisse. pp.79-94
	tel-00156376v1 Theses Pierre-André Caron. Ingénierie dirigée par les modèles pour la construction de dispositifs pédagogiques sur des plateformes de formation Autre [cs.OH]. Université des Sciences et Technologie de Lille - Lille I, 2007. Français
	hal-00141067v1 Conference papers Sébastien Donadio, J. Brodman, K. Yotov, Albert Cohen, Garzaran Maria-Jesus et al. A Language for the Compact Representation of Multiple Program Versions Oct 2005
	hal-00141073v1 Conference papers Christophe Alias, Denis Barthou. On Domain Specific Language Re-Engineering Sep 2005
	hal-00141074v1 Conference papers Christophe Alias, Denis Barthou. Deciding Where to Call Performance Libraries Aug 2005
	ensl-00150406v1 Preprints, Working Papers, ... Peter Kornerup, Vincent Lefèvre, Jean-Michel Muller. Computing Integer Powers in Floating-Point Arithmetic 2007
	inria-00150013v3 Reports Claudia-Lavinia Ignat, Gérald Oster, Pascal Molli, Hala Skaf-Molli. Gasper: A Collaborative Writing Mode for Avoiding Blind Modifications [Research Report] RR-6204, INRIA. 2007, pp.10
	ensl-00149414v1 Preprints, Working Papers, ... Jean-Michel Muller, Vincent Lefèvre. Some notes on the possible under/overflow of the most common elementary functions 2007
	tel-00142675v1 Theses Emmanuel Hainry. Modèles de calcul sur les réels, résultats de comparaison Autre [cs.OH]. Institut National Polytechnique de Lorraine - INPL, 2006. Français
	hal-01511323v1 Book sections Saad El Jaouhari, Ahmed Bouabdallah, Jean-Marie Bonnin. Security issues of the web of things Managing the Web of Things : Linking the Real World to the Web, Elsevier, pp.389 - 424, 2017, 978-0-12-809764-9. ⟨10.1016/B978-0-12-809764-9.00018-4⟩
	tel-00160740v1 Habilitation à diriger des recherches Thierry Nodenot. Contribution à l'ingénierie dirigée par les modèles en EIAH : le cas des situations-problèmes coopératives Autre [cs.OH]. Université de Pau et des Pays de l'Adour, 2005
	hal-01010292v1 Directions of work or proceedings Catherine Faron Zucker. Actes des 25es journées francophones d'Ingénierie des Connaissances (IC 2014) Catherine Faron-Zucker. France. Conférence IC, pp.300, 2014
	hal-01010301v1 Conference papers Frederique Laforest, Salma Sassi, Vasile-Marian Scuturici, André Flory, Thierry Durand et al. ALIAS: Alpine Hospital Networking for Improved Access to Telemedicine Services MedInfo 2010, Sep 2010, Cape Town, South Africa. pp.1554
	tel-00159727v1 Theses Sébastien Verel. Etude et Exploitation des Réseaux de Neutralité dans les Paysages Adaptatifs pour l'Optimisation Difficile Autre [cs.OH]. Université Nice Sophia Antipolis, 2005. Français
	tel-01509446v1 Theses Nabil Belala. Modèles de temps et leur intérêt à la vérification formelle des systèmes temps-réel Théorie et langage formel [cs.FL]. Université Mentouri de Constantine, Algérie, 2010. Français
	hal-01010275v1 Poster communications Emmanuel Eyraud, Thierry Durand, Edouard Barthuet, Romain Bochet, Frederique Laforest. Building a Circle of Trust for the Virtual Hospital Network of the ALIAS project Medical Informatics Europe (MIE'11), Aug 2011, Oslo, Norway. pp.NA, 2011
	hal-01009548v1 Conference papers Stéphanie Fleck, Gilles Simon, J. M. Christian Bastien. AIBLE: An Inquiry-Based Augmented Reality Environment for Teaching Astronomical Phenomena 13th IEEE International Symposium on Mixed and Augmented Reality - ISMAR 2014, Sep 2014, Munich, Germany
	hal-00153747v1 Book sections Christine Choppy, Laure Petrucci. Démarches de spécification Méthodes formelles pour les systèmes répartis et coopératifs, Hermès, pp.27-49, 2006
	hal-00153107v1 Conference papers Hichem Geryville, Yacine Ouzrout, Abdelaziz Bouras, Nikolaos Sapidis. The multiple viewpoints as approach to information retrieval within collaborative development context Information and Communication Technologies International Symposium (Proceedings of IEEE), Apr 2007, Fez, Morocco. pp.104-108
	hal-01502089v1 Journal articles Sebastian Grevsmühl. The Cultural Dimensions of Computer Simulation IEEE Annals of the History of Computing, Institute of Electrical and Electronics Engineers, 2016, 38 (1), pp.90-93. ⟨10.1353/ahc.2016.0015⟩
	tel-01002114v1 Theses Pierre Lemaire. Contributions à l'analyse de visages en 3D : approche régions, approche holistique et étude de dégradations Autre. Ecole Centrale de Lyon, 2013. Français. ⟨NNT : 2013ECDL0009⟩
	tel-00150912v1 Theses Pierre Letouzey. Programmation fonctionnelle certifiée : L'extraction de programmes dans l'assistant Coq Autre [cs.OH]. Université Paris Sud - Paris XI, 2004. Français
	ensl-01001673v1 Journal articles Dong Wang, Jean-Michel Muller, Nicolas Brisebarre, Milos Ercegovac. (M, p, k)-Friendly Points: A Table-based Method to Evaluate Trigonometric Function IEEE Transactions on Circuits and Systems Part 2 Analog and Digital Signal Processing, Institute of Electrical and Electronics Engineers (IEEE), 2014, 61 (9), pp.711-715. ⟨10.1109/TCSII.2014.2331094⟩
	inria-00145204v3 Reports Anne Etien, Cedric Dumoulin, Emmanuel Renaux. Towards a Unified Notation to Represent Model Transformation [Research Report] RR-6187, INRIA. 2007, pp.14
	hal-01006499v1 Conference papers Sebastien Bardin, Philippe Herrman, Jérôme Leroux, Olivier Ly, Renaud Tabary et al. The BINCOA Framework for Binary Code Analysis Computer Aided Verification, 2011, United Kingdom. pp.165-170, ⟨10.1007/978-3-642-22110-1_13⟩
	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title 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 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Keyword Minimize

Type of deposit Minimize

Year Minimize