Search - IFIP Open Digital Library Access content directly

Filter your results

26 results
Structure: Internal structure identifier : 300016
Page :
sorted by
Image document

Introduction to Conformal Predictors Based on Fuzzy Logic Classifiers

 A. Murari , Jesús Vega , D. Mazon , T. Courregelongue
8th International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2012, Halkidiki, Greece. pp.203-213, ⟨10.1007/978-3-642-33412-2_21⟩
Conference papers hal-01523072v1
Image document

Tabu Search Algorithm for Single and Multi-model Line Balancing Problems

 Mohamed Amine Abdeljaouad , Nathalie Klement
APMS 2021: Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems, Sep 2021, Nantes, France. pp.409-415, ⟨10.1007/978-3-030-85874-2_43⟩
Conference papers hal-03368229v1
Image document

Novel lightweight signcryption-based key distribution mechanisms for MIKEY

 Kim Thuat Nguyen , Nouha Ouahla , Maryline Laurent
10th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2016, Heraklion, Greece. pp.19-34, ⟨10.1007/978-3-319-45931-8_2⟩
Conference papers hal-01391308v1
Image document

Managing Requirements: For an Integrated Approach from System Engineering to Project Management

 Michel Malbert , Daniel Estève , Claude Baron , Philippe Esteban , Rui Xue
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2014, Ajaccio, France. pp.142-149, ⟨10.1007/978-3-662-44739-0_18⟩
Conference papers hal-01284568v1
Image document

On the Computational Complexity of the Freezing Non-strict Majority Automata

 Eric Goles , Diego Maldonado , Pedro Montealegre , Nicolas Ollinger
23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.109-119, ⟨10.1007/978-3-319-58631-1_9⟩
Conference papers hal-01656355v1
Image document

LINC: A Compact Yet Powerful Coordination Environment

 Maxime Louvel , François Pacull
Coordination Models and Languages : 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings, Jun 2014, Berlin, Germany. pp.83-98, ⟨10.1007/978-3-662-43376-8_6⟩
Conference papers hal-01274824v1
Image document

An Entirely Model-Based Framework for Hardware Design and Simulation

 Safouan Taha , Ansgar Radermacher , Sébastien Gérard
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC), Sep 2011, Brisbane, Australia. pp.31-42, ⟨10.1007/978-3-642-15234-4_5⟩
Conference papers hal-00526737v1
Image document

Control Methods in Microspheres Precision Assembly for Colloidal Lithography

 Olivier Dellea , Olga Shavdina , Pascal Fugier , Philippe Coronel , Emmanuel Ollier , et al.
7th International Precision Assembly Seminar (IPAS), Feb 2014, Chamonix, France. pp.107-117, ⟨10.1007/978-3-662-45586-9_14⟩
Conference papers hal-01089387v1
Image document

A Hybrid Threat Detection and Security Adaptation System for Industrial Wireless Sensor Networks

 Mohammed Bahria , Alexis Olivereau , Aymen Boudguiga
7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.157-162, ⟨10.1007/978-3-642-54140-7_15⟩
Conference papers hal-01291513v1
Image document

Emerging Technologies and Nanoscale Computing Fabrics

 Ian O’connor , Junchen Liu , Jabeur Kotb , Nataliya Yakymets , Renaud Daviot , et al.
17th International Conference on Very Large Scale Integration (VLSISOC), Oct 2009, Florianópolis, Brazil. pp.1-20, ⟨10.1007/978-3-642-23120-9_1⟩
Conference papers hal-01569364v1
Image document

How Can TRIZ Tools Tremendously Stimulate the Lean Canvas Analysis to Foster Start-Up Business Model and Value Proposition?

 Pascal Sire , Eric Prevost , Yves Guillou , Alain Riwan , Pierre Saulais
19th International TRIZ Future Conference (TFC), Oct 2019, Marrakesh, Morocco. pp.93-105, ⟨10.1007/978-3-030-32497-1_9⟩
Conference papers hal-02905532v1
Image document

Towards an Enhancement of Relationships Browsing in Mature PLM Systems

 Marianne Allanic , Thierry Brial , Alexandre Durupt , Marc Joliot , Philippe Boutinaud , et al.
11th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2014, Yokohama, Japan. pp.345-354, ⟨10.1007/978-3-662-45937-9_34⟩
Conference papers hal-01386516v1
Image document

Constraint-Based Oracles for Timed Distributed Systems

 Nassim Benharrat , Christophe Gaston , Robert M. Hierons , Arnault Lapitre , Pascale Le Gall
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.276-292, ⟨10.1007/978-3-319-67549-7_17⟩
Conference papers hal-01678964v1
Image document

TRIZ and Intellectual Property to Strengthen the Start-Up Spirit

 Pierre Saulais , Pascal Sire , Eric Prevost , Yves Guillou , Alain Riwan
18th TRIZ Future Conference (TFC), Oct 2018, Strasbourg, France. pp.193-203, ⟨10.1007/978-3-030-02456-7_16⟩
Conference papers hal-02279760v1
Image document

MRI Texture-Based Classification of Dystrophic Muscles. A Search for the Most Discriminative Tissue Descriptors

 Dorota Duda , Marek Kretowski , Noura Azzabou , Jacques Certaines
15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.116-128, ⟨10.1007/978-3-319-45378-1_11⟩
Conference papers hal-01637453v1
Image document

Extending the standard execution model of UML for real-time systems

 Abderraouf Benyahia , Arnaud Cuccuru , Safouan Taha , François Terrier , Frédéric Boulanger , et al.
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.43-54, ⟨10.1007/978-3-642-15234-4_6⟩
Conference papers hal-01054487v1
Image document

Using Ontologies to Access Complex Data: Applications on Bio-Imaging

 Cong Cuong Pham , Nada Matta , Alexandre Durupt , Benoit Eynard , Marianne Allanic , et al.
4th IFIP International Workshop on Artificial Intelligence for Knowledge Management (AI4KM), Jul 2016, New York, NY, United States. pp.19-35, ⟨10.1007/978-3-319-92928-6_2⟩
Conference papers hal-01950005v1
Image document

MRI Texture Analysis for Differentiation Between Healthy and Golden Retriever Muscular Dystrophy Dogs at Different Phases of Disease Evolution

 Dorota Duda , Marek Kretowski , Noura Azzabou , Jacques De Certaines
14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. pp.255-266, ⟨10.1007/978-3-319-24369-6_21⟩
Conference papers hal-01444470v1
Image document

Application of PLM for Bio-Medical Imaging in Neuroscience

 Marianne Allanic , Alexandre Durupt , Marc Joliot , Benoît Eynard , Philippe Boutinaud
10th Product Lifecycle Management for Society (PLM), Jul 2013, Nantes, France. pp.520-529, ⟨10.1007/978-3-642-41501-2_52⟩
Conference papers hal-01461902v1
Image document

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing

 Boutheina Bannour , Jose Pablo Escobedo , Christophe Gaston , Pascale Le Gall
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.119-135, ⟨10.1007/978-3-642-34691-0_10⟩
Conference papers hal-01482398v1
Image document

Global State Estimates for Distributed Systems

 Gabriel Kalyon , Tristan Le Gall , Hervé Marchand , Thierry Massart
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.198-212, ⟨10.1007/978-3-642-21461-5_13⟩
Conference papers inria-00581259v1

Testing Software and Systems

 Christophe Gaston , Nikolai Kosmatov , Pascale Le Gall
Springer International Publishing, LNCS-11812, 2019, Lecture Notes in Computer Science, 978-3-030-31279-4. ⟨10.1007/978-3-030-31280-0⟩
Books hal-02526347v1
Image document

A Real-Time Energy Management Platform for Multi-vector District Energy Systems

 Muhammad Waseem Ahmad , Jonathan Reynolds , Jean-Laurent Hippolyte , Yacine Rezgui , Michael Nikhil Descamps , et al.
19th Working Conference on Virtual Enterprises (PRO-VE), Sep 2018, Cardiff, United Kingdom. pp.560-568, ⟨10.1007/978-3-319-99127-6_48⟩
Conference papers hal-02191194v1
Image document

Runtime Code Polymorphism as a Protection Against Side Channel Attacks

 Damien Couroussé , Thierno Barry , Bruno Robisson , Philippe Jaillon , Olivier Potin , et al.
10th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2016, Heraklion, Greece. pp.136-152, ⟨10.1007/978-3-319-45931-8_9⟩
Conference papers emse-01372223v1
Image document

Experimentation of Cross-Border Digital Innovation Hubs (DIHs) Cooperation and Impact on SME Services

 Margherita Volpe , Omar Veledar , Isabelle Chartier , Isabelle Dor , Fredy Ríos Silva , et al.
22nd Working Conference on Virtual Enterprises (PRO-VE 2021), Nov 2021, Saint-Etienne, France. pp.423-432, ⟨10.1007/978-3-030-85969-5_39⟩
Conference papers emse-03346027v1
Image document

Development Tools for Rule-Based Coordination Programming in LINC

 Maxime Louvel , François Pacull , Eric Rutten , Adja Ndeye Sylla
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.78-96, ⟨10.1007/978-3-319-59746-1_5⟩
Conference papers cea-01531019v1
Page :