Search - IFIP Open Digital Library Access content directly

Filter your results

889 results
Page :
sorted by
Image document

SMA—The Smyle Modeling Approach

 Benedikt Bollig , Joost-Pieter Katoen , Carsten Kern , Martin Leucker
3rd Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2008, Brno, Czech Republic. pp.103-117, ⟨10.1007/978-3-642-22386-0_8⟩
Conference papers hal-01572543v1
Image document

A Scatter Search Based Heuristic for Reliable Clustering in Vehicular Ad Hoc Networks

 Rejab Hajlaoui , Tarek Moulahi , Hervé Guyennet
14th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), May 2018, Rhodes, Greece. pp.507-519, ⟨10.1007/978-3-319-92007-8_43⟩
Conference papers hal-01821079v1
Image document

Human activity recognition using recurrent neural networks

 Deepika Singh , Erinc Merdivan , Ismini Psychoula , Johannes Kropf , Sten Hanke , et al.
1st International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2017, Reggio, Italy. pp.267-274, ⟨10.1007/978-3-319-66808-6_18⟩
Conference papers hal-01629704v1
Image document

Extending Networks of Collaboration to Multi-market Oligopolies

 Pascal Billand , Christophe Bravard , Subhadip Chakrabarti , Sudipta Sarangi
11th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE), Oct 2010, Saint-Etienne, France. pp.765-772, ⟨10.1007/978-3-642-15961-9_90⟩
Conference papers hal-01055920v1

Intelligent Mechanisms for Network Configuration and Security

 Steven Latré , Marinos Charalambides , Jérôme François , Corinna Schmitt , Burkhard Stiller
Steven Latré; Marinos Charalambides; Jérôme François; Corinna Schmitt; Burkhard Stiller. Springer, LNCS-9122, 2015, Intelligent Mechanisms for Network Configuration and Security, 978-3-319-20034-7. ⟨10.1007/978-3-319-20034-7⟩
Books hal-01244586v1
Image document

Disassembly process planning under end-of-life product quality

 Mohand Lounes Bentaha , Alexandre Voisin , Pascale Marangé
16th IFIP International Conference on Product Lifecycle Management, PLM 2019, Jul 2019, Moscow, Russia. pp.325-335, ⟨10.1007/978-3-030-42250-9_31⟩
Conference papers hal-02497934v1
Image document

Learning-Based Compositional Parameter Synthesis for Event-Recording Automata

 Etienne André , Shang-Wei Lin
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.17-32, ⟨10.1007/978-3-319-60225-7_2⟩
Conference papers hal-01658415v1
Image document

Beyond Interactions

 José Abdelnour Nocera , Antigoni Parmaxi , Marco Winckler , Fernando Loizides , Carmelo Ardito , et al.
Springer, 11930, 2020, Lecture Notes in Computer Science book series (LNCS), ⟨10.1007/978-3-030-46540-7⟩
Books hal-03138795v1
Image document

Rationalizing the Need of Architecture-Driven Testing of Interactive Systems

 Alexandre Canny , Elodie Bouzekri , Célia Martinie , Philippe Palanque
7th International Working Conference on Human-Centered Software Engineering (HCSE 2018), Sep 2018, Sophia Antipolis, France. pp.164-186, ⟨10.1007/978-3-030-05909-5_10⟩
Conference papers hal-02089262v1
Image document

Should I Add Recommendations to My Warning System? The RCRAFT Framework Can Answer This and Other Questions About Supporting the Assessment of Automation Designs

 Elodie Bouzekri , Célia Martinie , Philippe Palanque , Katrina Atwood , Christine Gris
18th IFIP Conference on Human-Computer Interaction (INTERACT 2021), IFIP Technical Committee 13 on Human–Computer Interaction, Aug 2021, Bari, Italy. pp.405-429, ⟨10.1007/978-3-030-85610-6_24⟩
Conference papers hal-03376253v1
Image document

Active Objects for Coordinating BSP Computations (Short Paper)

 Gaetan Hains , Ludovic Henrio , Pierre Leca , Wijnand Suijlen
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.220-230, ⟨10.1007/978-3-319-92408-3_10⟩
Conference papers hal-01821487v1
Image document

Generating VHDL source code from UML models of embedded systems

 Tomas G. Moreira , Marco A. Wehrmeister , Carlos Eduardo Pereira , Jean-François Pétin , Eric Levrat
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.125-136, ⟨10.1007/978-3-642-15234-4_13⟩
Conference papers hal-00533288v1
Image document

ZigZag: a Middleware for Service Discovery in Future Internet

 Preston Rodrigues , Yérom-David Bromberg , Laurent Réveillère , Daniel Négru
12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.208-221, ⟨10.1007/978-3-642-30823-9_19⟩
Conference papers hal-00689779v1
Image document

User Experience in an Automated World

 Philippe Palanque , Pedro F. Campos , José Abdelnour Nocera , Torkil Clemmensen , Virpi Roto
17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.706-710, ⟨10.1007/978-3-030-29390-1_67⟩
Conference papers hal-02878649v1
Image document

Similarity as a Design Driver for User Interfaces of Dependable Critical Systems

 David Navarre , Philippe Palanque , Arnaud Hamon , Sabrina Della Pasqua
16th IFIP Conference on Human-Computer Interaction (INTERACT 2017), Sep 2017, Bombay, India. pp.114-122, ⟨10.1007/978-3-319-92081-8_11⟩
Conference papers hal-01821420v1
Image document

User Experience Evaluation Methods: Lessons Learned from an Interactive TV Case-Study

 Dimitri Drouet , Regina Bernhaupt
6th International Conference on Human-Centred Software Engineering (HCSE) / 8th International Conference on Human Error, Safety, and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.351-358, ⟨10.1007/978-3-319-44902-9_22⟩
Conference papers hal-01647708v1

Human-Centred Software Engineering

 Regina Bernhaupt , Peter Forbrig , Jan Gulliksen , Marta Lárusdóttir
LNCS-6409, 2010, Lecture Notes in Computer Science, 978-3-642-16487-3. ⟨10.1007/978-3-642-16488-0⟩
Books hal-01555775v1
Image document

Toward a Better Guidance in Wearable Electronic Orientation Aids

 Slim Kammoun , Marc J.-M. Macé , Bernard Oriola , Christophe Jouffrais
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.624-627, ⟨10.1007/978-3-642-23768-3_98⟩
Conference papers hal-01597024v1
Image document

Fine-Grain Reconfigurable Logic Cells Based on Double-Gate MOSFETs

 Ian O'Connor , Ilham Hassoune , David Navarro
19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), Oct 2008, Rhodes Island, India. pp.97-113, ⟨10.1007/978-3-642-12267-5_6⟩
Conference papers hal-01054269v1
Image document

Towards Business Ontologies Matching for Inter-Enterprise Collaboration Platform in a Lean Manufacturing Strategy

 Ahlem Zayati , Lilia Sidhom , Youakim Badr , Frédérique Biennier , Mohamed Moalla
11th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE), Oct 2010, Saint-Etienne, France. pp.746-754, ⟨10.1007/978-3-642-15961-9_88⟩
Conference papers hal-01055923v1
Image document

Unidirectional Channel Systems Can Be Tested

 Petr Jančar , Prateek Karandikar , Philippe Schnoebelen
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.149-163, ⟨10.1007/978-3-642-33475-7_11⟩
Conference papers hal-01556219v1
Image document

Green IT for Innovation and Innovation for Green IT: The virtuous circle

 Christina Herzog , Laurent Lefevre , Jean-Marc Pierson
10th International Conference on Human Choice and Computers (HCC), Sep 2012, Amsterdam, Netherlands. pp.79-89, ⟨10.1007/978-3-642-33332-3_8⟩
Conference papers hal-00766806v1
Image document

Dynamic rebalancing of an assembly line with a reachability analysis of communicating automata

 Antoine Manceaux , Hind Bril El-Haouzi , André Thomas , Jean-François Pétin
IFIP International Conference on Advances in Production Management Systems, APMS'14, Sep 2014, Ajaccio, France. pp.597-604, ⟨10.1007/978-3-662-44739-0_73⟩
Conference papers hal-01094679v1
Image document

Artificial Intelligence and the Evolution of Managerial Skills: An Exploratory Study

 Laurent Giraud , Ali Zaher , Selena Hernandez , Akram Al Ariss
20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.307-317, ⟨10.1007/978-3-030-85447-8_27⟩
Conference papers hal-03648110v1
Image document

Blockchain-Based Auditing of Transparent Log Servers

 Hoang-Long Nguyen , Jean-Philippe Eisenbarth , Claudia-Lavinia Ignat , Olivier Perrin
32th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2018, Bergamo, Italy. pp.21-37, ⟨10.1007/978-3-319-95729-6_2⟩
Conference papers hal-01917636v1
Image document

Scalability and Convertibility Models and Approaches for Reconfigurable Manufacturing Environments

 Abdelhak Dahmani , Lyes Benyoucef
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp.442-451, ⟨10.1007/978-3-030-85902-2_47⟩
Conference papers hal-03526651v1
Image document

Simulation Model for a Semi-automated Retail Order Picking System under Uncertainty

 Sawssen Souiden , Audrey Cerqueus , Xavier Delorme , Jean-Lucien Rascle
22nd Working Conference on Virtual Enterprises (PRO-VE 2021), Nov 2021, Saint-Etienne, France. pp.759-767, ⟨10.1007/978-3-030-85969-5_72⟩
Conference papers emse-03350310v1
Image document

Bridging the Interoperability Gap: Overcoming Combined Application and Middleware Heterogeneity

 Yérom-David Bromberg , Paul Grace , Laurent Réveillère , Gordon Blair
12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.390-409, ⟨10.1007/978-3-642-25821-3_20⟩
Conference papers hal-00643601v1
Image document

Application Composition Driven by UI Composition

 Christian Brel , Philippe Renevier-Gonin , Audrey Occello , Anne-Marie Déry-Pinna , Catherine Faron Zucker , et al.
Third IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.198-205, ⟨10.1007/978-3-642-16488-0_17⟩
Conference papers hal-01302948v1
Image document

MERCi-MIsS: Should I Turn off My Servers?

 Mar Callau-Zori , Luciana Arantes , Julien Sopena , Pierre Sens
15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.16-29, ⟨10.1007/978-3-319-19129-4_2⟩
Conference papers hal-01775024v1
Page :