Génie logiciel

Affichage des résultats 1 à 12 sur 13 au total

Articles 1 à 12 sur 13 au total

  • Communication dans un congrès

    Emmanuel Pietriga. Engineering Interactive Geospatial Visualizations for Cluster-Driven Ultra-high-resolution Wall Displays. EICS 2022 - ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Jun 2022, Sophia Antipolis France, France. pp.3-4, ⟨10.1145/3531706.3536455⟩. ⟨hal-03705384⟩

    ILDA

    Année de publication 2022

    Disponible en libre accès

  • Communication dans un congrès

    Lina ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski. Fault Manifestability Verification for Discrete Event Systems. 22nd European Conference on Artificial Intelligence ECAI-16, Aug 2016, La Haye, Netherlands. ⟨hal-01483424⟩

    LaHDAK

    Année de publication 2016

  • Article dans une revue

    Christophe Pradal, Sarah Cohen-Boulakia, Patrick Valduriez, Dennis Shasha. VersionClimber: version upgrades without tears. Computing in Science and Engineering, Institute of Electrical and Electronics Engineers, 2019, 21 (5), pp.87-93. ⟨10.1109/MCSE.2019.2921898⟩. ⟨hal-02262591⟩

    BioInfo

    Année de publication 2019

    Disponible en libre accès

  • Communication dans un congrès

    Lina ye, Philippe Dague, Lulu He. Manifestability Verification of Discrete Event Systems. DX 2019 - 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria. pp.1-9. ⟨hal-02425146⟩

    LaHDAK

    Année de publication 2019

    Disponible en libre accès

  • Pré-publication, Document de travail

    Alexandre Santana, Vinicius Freitas, Marcio Castro, Laércio Lima Pilla, Jean-François Méhaut. ARTful: A specification for user-defined schedulers targeting multiple HPC runtime systems. 2020. ⟨hal-02454426v1⟩

    Année de publication 2020

    Disponible en libre accès

  • Communication dans un congrès

    Christophe Jacquet, Yolaine Bourda, Yacine Bellik. An Architecture for Ambient Computing. IEE International Workshop on Intelligent Environments. (IE 2005), Jun 2005, Colchester, United Kingdom. pp.47-54. ⟨hal-00259338⟩

    Année de publication 2005

  • Thèse

    Gautier Meyer. Formalisation logique de préférences qualitatives pour la sélection de la réaction d'un agent rationnel dialoguant. Interface homme-machine [cs.HC]. Université Paris Sud - Paris XI, 2006. Français. ⟨tel-00321676⟩

    Année de publication 2006

    Disponible en libre accès

  • Article dans une revue

    Christophe Jacquet, Yolaine Bourda, Yacine Bellik. A Component-Based Platform for Accessing Context in Ubiquitous Computing Applications. Journal of Ubiquitous Computing and Intelligence, 2007, 1 (2), pp.163-173. ⟨hal-00261207⟩

    Année de publication 2007

  • Communication dans un congrès

    Rania Khefifi, Pascal Poizat, Fatiha Saïs. Modelling and Quering Context-Aware Personal Information Spaces. Database and Expert Systems Applications, Aug 2012, Vienna, Austria. pp.103-110. ⟨hal-00832934⟩

    LaHDAK

    Année de publication 2012

  • Communication dans un congrès

    David Poirier-Quinot, Damien Touraine, Brian Katz. BlenderCAVE: A multimodal scene graph editor for Virtual Reality. International Conference on Auditory Display (ICAD), Jul 2013, Lodz, Poland. pp.223-230. ⟨hal-01108676⟩

    Année de publication 2013

    Disponible en libre accès

  • Poster

    Damian Bursztyn, Alexandre Constantin, Cyril Dumont, Anne-Catherine Letournel, M Mangili, et al.. TIM : Une plateforme d'aide à la pré-maturation de logiciels. JDEV 2015 - 3ème édition des Journées nationales du DEVeloppement logiciel de l'Enseignement Supérieur et Recherche, Jun 2015, Bordeaux, France. 2015. ⟨hal-01586368⟩

    GALaC

    Année de publication 2015

    Disponible en libre accès

  • Thèse

    Munshi Asadullah. Identification of Function Points in Software Specifications Using Natural Language Processing. Computation and Language [cs.CL]. Université Paris Sud - Paris XI, 2015. English. ⟨NNT : 2015PA112228⟩. ⟨tel-01250690⟩

    Année de publication 2015

    Disponible en libre accès