Search - IFIP Open Digital Library Access content directly

Filter your results

61 results
Structure: Internal structure identifier : 51016
Page :
sorted by
Image document

Code Generation for a Bi-dimensional Composition Mechanism

 Jacky Estublier , Anca Daniela Ionita , Tam Nguyen
3rd Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2008, Brno, Czech Republic. pp.171-185, ⟨10.1007/978-3-642-22386-0_13⟩
Conference papers hal-01572540v1
Image document

Multi-level Service Approach for Flexible Support of Design Processes

 Safa Hachani , Lilia Gzara , Hervé Verjus
20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.160-169, ⟨10.1007/978-3-642-41263-9_20⟩
Conference papers hal-00921846v1
Image document

Adaptive Logical Control of RF LNA performances for efficient energy consumption

 R. Khereddine , L. Abdallah , Emmanuel Simeu , Salvador Mir , F. Cenni
18th International Conference on Very Large Scale Integration (VLSISOC), Sep 2010, Madrid, France. pp.43-68, ⟨10.1007/978-3-642-28566-0_3⟩
Conference papers hal-00556928v1
Image document

Precise pointing techniques for handheld Augmented Reality

 Thomas Vincent , Laurence Nigay , Takeshi Kurata
14th International Conference on Human-Computer Interaction (INTERACT), 2013, Cape Town, South Africa. pp.122-139, ⟨10.1007/978-3-642-40483-2_9⟩
Conference papers hal-00953357v1
Image document

A Framework for Verifying Data-Centric Protocols

 Yuxin Deng , Stéphane Grumbach , Jean-François Monin
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.106-120, ⟨10.1007/978-3-642-21461-5_7⟩
Conference papers hal-00647802v1
Image document

Towards Controlling the Acceptance Factors for a Collaborative Platform in Engineering Design

 Ardavan Dargahi , Franck Pourroy , Frédéric Wurtz
11th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE), Oct 2010, Saint-Etienne, France. pp.585-592, ⟨10.1007/978-3-642-15961-9_70⟩
Conference papers hal-01055942v1
Image document

Statistical Evaluation of Digital Techniques for Σ Δ ADC BIST

 Matthieu Dubois , Haralampos-G. Stratigopoulos , Salvador Mir , Manuel J. Barragan
22th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC 2014), Oct 2014, Playa del Carmen, Mexico. pp.129-148, ⟨10.1007/978-3-319-25279-7_8⟩
Conference papers hal-01383733v1
Image document

Compressing Microcontroller Execution Traces to Assist System Analysis

 Azzeddine Amiar , Mickaël Delahaye , Yliès Falcone , Lydie Du Bousquet
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.139-150, ⟨10.1007/978-3-642-38853-8_13⟩
Conference papers hal-00853716v1
Image document

Understanding Hand Degrees of Freedom and Natural Gestures for 3D Interaction on Tabletop

 Rémi Brouet , Renaud Blanch , Marie-Paule Cani
14th International Conference on Human-Computer Interaction (INTERACT), IFIP, Sep 2013, Cape Town, South Africa. pp.297-314, ⟨10.1007/978-3-642-40483-2_20⟩
Conference papers hal-00814014v2
Image document

EFD: An efficient low-overhead scheduler

 Jinbang Chen , Martin Heusse , Guillaume Urvoy-Keller
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.150-163, ⟨10.1007/978-3-642-20798-3_12⟩
Conference papers hal-00930973v1

VLSI-SoC: Advanced Research for Systems on Chip

 Salvador Mir , Chi-Ying Tsui , Ricardo Reis , Oliver Choy
Springer, AICT-379, 2012, IFIP Advances in Information and Communication Technology, 978-3-642-32770-4. ⟨10.1007/978-3-642-32770-4⟩
Books hal-01519769v1
Image document

Laser-Induced Fault Effects in Security-Dedicated Circuits

 Vincent Beroulle , Philippe Candelier , Stephan de Castro , Giorgio Di Natale , Jean-Max Dutertre , et al.
VLSI-SoC: Very Large Scale Integration and System-on-Chip, Oct 2014, Playa del Carmen, Mexico. pp.220-240, ⟨10.1007/978-3-319-25279-7_12⟩
Conference papers hal-01383737v1
Image document

Manufacturing Reporting Knowledge Representation: A Case Study at STMicroelectronics

 Manel Brichni , Sophie Dupuy-Chessa , Lilia Gzara , Corinne Jeannet
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2014, Ajaccio, France. pp.34-41, ⟨10.1007/978-3-662-44739-0_5⟩
Conference papers hal-01388204v1
Image document

Improving the Management of an Emergency Call Service by Combining Process Mining and Discrete Event Simulation Approaches

 Elyes Lamine , Franck Fontanili , Maria Di Mascolo , Hervé Pingaud
16th Working Conference on Virtual Enterprises (PROVE), Oct 2015, Albi, France. pp.535-546, ⟨10.1007/978-3-319-24141-8_50⟩
Conference papers hal-01437942v1
Image document

Coordination of ECA Rules by Verification and Control

 Julio Cano , Gwenaël Delaval , Eric Rutten
COORDINATION 2014 - 16th International Conference on Coordination Models and Languages, Jun 2014, Berlin, Germany. pp.33-48, ⟨10.1007/978-3-662-43376-8_3⟩
Conference papers hal-01290066v1
Image document

A Scalable Benchmark as a Service Platform

 Alain Tchana , Noel de Palma , Ahmed El Rheddane , Bruno Dillenseger , Xavier Etchevers , et al.
13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.113-126, ⟨10.1007/978-3-642-38541-4_9⟩
Conference papers hal-00949561v1
Image document

State Estimation and Property-Guided Exploration for Hybrid Systems Testing

 Thao Dang , Noa Shalev
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.152-167, ⟨10.1007/978-3-642-34691-0_12⟩
Conference papers hal-01482399v1
Image document

The PEW Framework for Worth Mapping

 Fatoumata Camara , Gaëlle Calvary , Rachel Demumieux
INTERACT 2013, 14th IFIP TC 13 International Conference, 2013, Cape Town, South Africa. pp.667-674
Conference papers hal-00953353v1
Image document

Improving Digital Engineering Tools in Complex Product Development by Means of an Adequate Monitoring of Research Projects

 Iris De Fontaines , Didier Lefeuve , Guy Prudhomme , Michel Tollenaere
10th Product Lifecycle Management for Society (PLM), Jul 2013, Nantes, France. pp.210-219, ⟨10.1007/978-3-642-41501-2_21⟩
Conference papers hal-01461844v1
Image document

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems

 Ananda Basu , Saddek Bensalem , Marius Bozga , Benoît Caillaud , Benoît Delahaye , et al.
Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.32-46, ⟨10.1007/978-3-642-13464-7_4⟩
Conference papers inria-00554321v2
Image document

An SOA Based Approach to Improve Business Processes Flexibility in PLM

 Safa Hachani , Lilia Gzara , Hervé Verjus
2nd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2011, Costa de Caparica, Portugal. pp.67-74, ⟨10.1007/978-3-642-19170-1_7⟩
Conference papers hal-00621310v1
Image document

A Case Study for Improving a Collaborative Design Process

 Sophie Dupuy-Chessa , Nadine Mandran , Guillaume Godet-Bar , Dominique Rieu
ME 2011 - Working Conference on Method Engineering, Apr 2011, Paris, France. pp.97-101, ⟨10.1007/978-3-642-19997-4_10⟩
Conference papers hal-00758526v1
Image document

Formal Verification of Distributed Branching Multiway Synchronization Protocols

 Hugues Evrard , Frédéric Lang
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.146-160
Conference papers hal-00818788v1
Image document

Investigating The Role Of Mutual Cognitive Environment For End-User Programming

 Rémi Barraquand , Patrick Reignier
6th IFIP International Conference on Artificial Intelligence Applications and Innovations, 2010, Lacarna, Cyprus. pp.352-359, ⟨10.1007/978-3-642-16239-8_46⟩
Conference papers hal-00953489v1
Image document

MDA Based Tool for PLM’ Models Building and Evolving

 Onur Yildiz , Nada Aouadi , Aimad Karkouch , Philippe Pernelle , Lilia Gzara , et al.
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2014, Ajaccio, France. pp.315-322, ⟨10.1007/978-3-662-44739-0_39⟩
Conference papers hal-01388267v1
Image document

Towards Brain Computer Interfaces for Recreational Activities: Piloting a Drone

 Nataliya Kos'Myna , Franck Tarpin-Bernard , Bertrand Rivet , Nataliya Kosmyna
INTERACT 2015 - 15th Human-Computer Interaction, Sep 2015, Bamberg, Germany. pp.506-522, ⟨10.1007/978-3-319-22701-6_37⟩
Conference papers hal-01492578v1
Image document

On the Limits of the Human Motor Control Precision: the Search for a Device's Human Resolution

 François Bérard , Guangyu Wang , Jeremy Cooperstock
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.107-122, ⟨10.1007/978-3-642-23771-3_10⟩
Conference papers hal-00759964v1
Image document

Knowledge-based Distributed Conflict Resolution for Multiparty Interactions and Priorities

 Saddek Bensalem , Marius Bozga , Jean Quilbeuf , Joseph Sifakis
14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.118-134, ⟨10.1007/978-3-642-30793-5_8⟩
Conference papers hal-00722485v1
Image document

Integrated Procurement–Disassembly Problem

 Muhammad Khakim Habibi , Olga Battaïa , Van-Dat Cung , Alexandre Dolgui
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2014, Ajaccio, France. pp.482-490, ⟨10.1007/978-3-662-44736-9_59⟩
Conference papers hal-01387922v1
Image document

A Network of Complementary SMEs for a Global Infrastructure for Services: the Example of Environmental Urban Services

 Alan Lelah , Fabrice Mathieux , Daniel Brissaud , Lucien Vincent
11th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2010, Oct 2011, St. Etienne, France, France. pp.73-80
Conference papers hal-00528156v1
Page :