39048 results  save search


hal-02140972v1  Conference papers
Maria-Teresa SegarraFrançoise André. A distributed dynamic adaptation model for component-based applications
AINA-09 : 23rd IEEE International Conference on Advanced Information Networking and Applications, May 26-29, Bradford, UK, May 2009, Bradford, United Kingdom
hal-01898291v1  Conference papers
Frédéric Mallet. Model-Based Systems Engineering for Cyber-Physical Systems: a (possible) roadmap for MARTE
3rd International workshop on TIming Performance engineering for Safety critical systems CONFESTA/TIPS, Sep 2018, Beijing, China
hal-01898412v1  Conference papers
Alexis ConneauGerman KruszewskiGuillaume LampleLoïc BarraultMarco Baroni. What you can cram into a single \$&!#* vector: Probing sentence embeddings for linguistic properties
ACL 2018 - 56th Annual Meeting of the Association for Computational Linguistics, Jul 2018, Melbourne, Australia. pp.2126-2136
hal-01949645v1  Conference papers
Raphaël GauthierFréderic GuayLudovic BrossardChristine LargouëtJean-Yves Dourmad. Precision feeding of lactating sows: development of a decision support tool to handle variability
EAAP 2018 - 69th Annual Meeting of the European Federation of Animal Science, Aug 2018, Dubrovnik, Croatia
hal-01699779v1  Conference papers
Farah SlimFabrice GuilleminAnnie GraveyYassine Hadjadj-Aoul. Towards a Dynamic Adaptive Placement of Virtual Network Functions under ONAP
NFV-SDN 2017 - IEEE Conference on Network Function Virtualization and Software Defined Networks, Nov 2017, Berlin, Germany. pp.210-215, ⟨10.1109/NFV-SDN.2017.8169880⟩
hal-01949896v1  Conference papers
Pierre l'EcuyerZdravko Botev. On a Generalized Splitting Method for Sampling from a Conditional Distribution
2018 Winter Simulation Conference, Dec 2018, Goteborg, Sweden
hal-01949910v1  Conference papers
Pierre l'EcuyerKlas GustavssonLeif Olsson. Modeling Bursts in the Arrival Process to an Emergency Call Center
2018 Winter Simulation Conference, Dec 2018, Goteborg, Sweden
hal-01949762v1  Conference papers
Bruno Tuffin. Tutoriel. Recherche opérationnelle et théorie des jeux pour l'analyse de la neutralité du Net
ROADEF 2018 - 19ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à  la Décision, Feb 2018, Lorient, France
hal-01599851v1  Conference papers
Miguel AmbronaGilles BartheRomain GayHoeteck Wee. Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions
ACM Conference on Computer and Communications Security (CCS) 2017, Oct 2017, Dallas, United States
hal-01799315v1  Conference papers
Luidnel MaignanFrédéric Gruau. Convex Hulls on Cellular Spaces: Spatial Computing on Cellular Automata
SASOW: Self-Adaptive and Self-Organizing Systems Workshop, Oct 2011, Ann Arbor, MI, United States. pp.67-72, ⟨10.1109/SASOW.2011.14⟩
hal-01799316v1  Conference papers
Luidnel MaignanFrédéric Gruau. A 1D cellular automaton that moves particles until regular spatial placement
Automata 2008: Theory and Applications of Cellular Automata, Jun 2008, Bristol, United Kingdom. pp.323-338
hal-01699929v1  Conference papers
Catalin DimaBastien MaubertSophie Pinchinat. Relating Paths in Transition Systems: the Fall of the Modal mu-Calculus
Proceedings of the 17th Italian Conference on Theoretical Computer Science, Lecce, Italy, September 7-9, 2016., 2016, Unknown, Unknown Region. pp.240--244
hal-01699931v1  Conference papers
Catalin DimaBastien MaubertSophie Pinchinat. Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus
Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I, 2015, Unknown, Unknown Region. pp.179--191, ⟨10.1007/978-3-662-48057-1_14⟩
hal-01699970v1  Conference papers
Catalin DimaAlain GiraultChristophe LavarenneYves Sorel. Off-Line Real-Time Fault-Tolerant Scheduling
Ninth Euromicro Workshop on Parallel and Distributed Processing, PDP 2001, 7-9 February 2001, Mantova, Italy, 2001, Unknown, Unknown Region. pp.410--417, ⟨10.1109/EMPDP.2001.905069⟩
hal-01599757v1  Conference papers
Romain GayDennis HofheinzLisa Kohl. Kurosawa-Desmedt Meets Tight Security
CRYPTO 2017 - Advances in Cryptology , Aug 2017, Santa Barbara, United States. pp.133-160, ⟨https://doi.org/10.1007⟩
hal-01599768v1  Conference papers
Carmen Elisabetta Zaira BalticoDario CatalanoDario FioreRomain Gay. Practical Functional Encryption for Quadratic Functions with Applications to Predicate Encryption
Advances in Cryptology – CRYPTO 2017, Aug 2017, Santa Barbara, United States. pp.67-98
hal-01699903v1  Conference papers
Anass El AouniKhalid DaoudiHussein YahiaKhalid Minaoui. Coherent Vortex Detection from Particles Trajectories Analysis
2018 SIAM Conference on Nonlinear Waves and Coherent Structures, Jun 2018, Anaheim, United States
hal-01799313v1  Conference papers
Frédéric GruauLuidnel Maignan. Distributed Execution of Automata Networks on a Computing Medium: Introducing IfAny Machines
UCNC: Unconventional Computation and Natural Computation, Sep 2012, Orléans, France. pp.118-129, ⟨10.1007/978-3-642-32894-7_12⟩
hal-01699964v1  Conference papers
Catalin DimaAlain GiraultYves Sorel. Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings, 2004, Unknown, Unknown Region. pp.215--230, ⟨10.1007/978-3-540-30206-3_16⟩
hal-01949782v1  Conference papers
Ajit RaiBruno TuffinRene ValenzuelaGerardo RubinoPierre Dersin. Estimation of Markovian Reliability Systems with Logistics via Cross-Entropy
MCQMC'18 - 13th International Conference on Monte Carlo and Quasi-Monte Carlo Methods in Scientific Computing, Jul 2018, Rennes, France
hal-01949789v1  Conference papers
Patrick MailléBruno Tuffin. A Nonatomic Congestion Game Approach to Net (Non-)Neutrality
PGMO days 2018 - Programme Gaspard Monge, Nov 2018, Saclay, France
hal-02141769v1  Books
Antoine BeugnardOlivier Zendra. Conférence francophone sur les Architectures Logicielles : CAL 2009
Cépaduès, L-4, pp.104, 2009, RNTI, RNTI, 978-2-85428-887-2
hal-02141774v1  Book sections
Antoine BeugnardSalah SadouLaurence DuchienEric Jul. Concrete communication abstractions of the next 701 distributed object systems
ECOOP 2002 Workshop Reader, J. Hernández et A. Moreira (eds), 2548, Springer, pp.79 - 91, 2002, Lecture Notes in Computer Science
hal-01898285v1  Conference papers
Alexander Schulz-RosengartenReinhard von HanxledenFrédéric MalletRobert de SimoneJulien Deantoni. Time in SCCharts
Forum on specification & Design Languages, Sep 2018, Munich, Germany. pp.5-16, ⟨10.1109/FDL.2018.8524111⟩
hal-02142962v1  Conference papers
Serge GarlattiElisabeth MontabordBernard GibaudChristian Barillot. Base de connaissances intensionnelle avec perspectives et héritage multiple
RFIA'96 : 10ème Congrès de Reconnaissance des Formes et d'Intelligence Artificielle, 15-18 janvier, Rennes, France, Jan 1996, Rennes, France. pp.495 - 504
hal-02142965v1  Conference papers
Elisabeth MontabordSerge GarlattiBernard GibaudChristian Barillot. Interaction between a hypermedia and a knowledge base for the management of a knowledge system about the brain
NNESMED'94 : International Conference on Neural Networks and Expert Systems in Medicine and Healthcare, August 24-26, Plymouth, Aug 1994, Plymouth, United Kingdom. pp.136 - 145