Filter your results
- 80
- 7
- 76
- 8
- 3
- 87
- 14
- 1
- 1
- 1
- 10
- 8
- 17
- 4
- 3
- 7
- 6
- 3
- 7
- 5
- 12
- 4
- 87
- 9
- 78
- 98
- 75
- 65
- 59
- 51
- 49
- 47
- 43
- 42
- 40
- 40
- 38
- 35
- 33
- 33
- 33
- 31
- 29
- 29
- 29
- 29
- 28
- 28
- 27
- 26
- 25
- 25
- 25
- 23
- 23
- 22
- 22
- 21
- 21
- 21
- 21
- 20
- 20
- 20
- 20
- 19
- 19
- 19
- 18
- 18
- 18
- 17
- 17
- 17
- 17
- 17
- 16
- 16
- 16
- 15
- 15
- 15
- 15
- 15
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 13
- 13
- 13
- 13
- 13
- 13
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 33
- 18
- 15
- 12
- 8
- 6
- 5
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
87 results
|
A Generic Multimodels-Based Approach for the Analysis of Usability and Security of Authentication MechanismsHCSE 2020 - 8th International Conference on Human-Centered Software Engineering - IFIP WG 13.2 International Working Conference, Nov 2020, Eindhoven/ Online, Netherlands. pp.61-83, ⟨10.1007/978-3-030-64266-2_4⟩
Conference papers
hal-03079818v1
|
||
|
Can Proactive Obsolescence Management and Innovation go hand in hand during the Conceptual Design Phase of Complex Systems?18th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2021, Curitiba, Brazil. pp.40-54, ⟨10.1007/978-3-030-94399-8_4⟩
Conference papers
hal-03344919v1
|
||
|
A Causal Dependencies Identification and Modelling Approach for Redesign ProcessPaolo Chiabert; Abdelaziz Bouras; Frédéric Noël; José Ríos. IFIP Advances in Information and Communication Technology, AICT-540, Springer International Publishing, pp.778-788, 2018, Product Lifecycle Management to Support Industry 4.0, ⟨10.1007/978-3-030-01614-2_71⟩
Book sections
hal-01986960v1
|
||
|
QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.91-105, ⟨10.1007/978-3-319-92081-8_9⟩
Conference papers
hal-01821411v1
|
||
|
Toward an agile adaptation of supply chain planning : a situational use case20th Working Conference on Virtual Enterprises (PRO-VE), Sep 2019, Turin, Italy. pp.344-354, ⟨10.1007/978-3-030-28464-0_30⟩
Conference papers
hal-02290428v1
|
||
|
Goal-Oriented Monitoring Adaptation: Methodology and Patterns8th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2014, Brno, Czech Republic. pp.133-146, ⟨10.1007/978-3-662-43862-6_17⟩
Conference papers
hal-01401300v1
|
||
|
Permutations in Coinductive Graph Representation11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.218-237, ⟨10.1007/978-3-642-32784-1_12⟩
Conference papers
hal-01539884v1
|
||
|
HCI Challenges in Human Movement Analysis17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.725-730, ⟨10.1007/978-3-030-29390-1_70⟩
Conference papers
hal-02378742v1
|
||
|
Investigating Feedback for Two-Handed Exploration of Digital Maps Without Vision17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.305-324, ⟨10.1007/978-3-030-29381-9_19⟩
Conference papers
hal-02544543v1
|
||
|
MIODMIT: A Generic Architecture for Dynamic Multimodal Interactive Systems7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.109-129, ⟨10.1007/978-3-030-05909-5_7⟩
Conference papers
hal-02270703v1
|
||
|
Human-Computer Interaction – INTERACT 2011, Part ISpringer, 6946, 2011, Lecture Notes in Computer Science book series (LNCS), 978-3-642-23773-7. ⟨10.1007/978-3-642-23774-4⟩
Books
hal-01591820v1
|
||
|
A System Architecture Supporting the Agile Coordination of Homecare Services11th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE), Oct 2010, Saint-Etienne, France. pp.227-234, ⟨10.1007/978-3-642-15961-9_27⟩
Conference papers
hal-01055989v1
|
||
|
Optimization Models to Improve First Quality Agricultural Production Through a Collaboration Program in Different Scenarios21st IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE 2020), Nov 2020, Valencia, Spain. pp.546-559, ⟨10.1007/978-3-030-62412-5_45⟩
Conference papers
hal-03176820v1
|
||
|
Designing and Assessing Interactive Systems Using Task Models (2017)16th IFIP Conference on Human-Computer Interaction (INTERACT 2017), Sep 2017, Bombay, India. pp.383-386, ⟨10.1007/978-3-319-68059-0_35⟩
Conference papers
hal-02748859v2
|
||
|
A Hoare-Like Calculus Using the SROIQσ Logic on Transformations of Graphs8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.164-178, ⟨10.1007/978-3-662-44602-7_14⟩
Conference papers
hal-01402040v1
|
||
|
Investigating Screen Reachability on an Articulated Dual-Display Smartphone17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.476-485, ⟨10.1007/978-3-030-29387-1_27⟩
Conference papers
hal-02553854v1
|
||
|
A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments4th International Conference on Human-Centered Software Engineering (HCSE 2012), Oct 2012, Toulouse, France. pp.72-93, ⟨10.1007/978-3-642-34347-6_5⟩
Conference papers
hal-01556835v1
|
||
|
TV Interaction Beyond the Button Press15th Human-Computer Interaction (INTERACT 2015), Sep 2015, Bamberg, Germany. pp.412-419, ⟨10.1007/978-3-319-22668-2_31⟩
Conference papers
hal-01599878v1
|
||
|
A Collaborative Planning Model to Coordinate Mining and Smelting Furnace16th IFIP Working Conference on Virtual Enterprises : Risks and Resilience of Collaborative Networks (PRO-VE 2015), IFIP International Federation for Information Processing, Oct 2015, Albi, France. pp.557-565, ⟨10.1007/978-3-319-24141-8_52⟩
Conference papers
hal-01303831v2
|
||
|
The Goals Approach: Enterprise Model-Driven Agile Human-Centered Software Engineering6th International Conference on Human-Centred Software Engineering (HCSE 2016), Aug 2016, Stockholm, Sweden. pp.261-280, ⟨10.1007/978-3-319-44902-9_17⟩
Conference papers
hal-01647713v1
|
||
|
Structuring and Composition Mechanisms to Address Scalability Issues in Task Models13th International Conference on Human-Computer Interaction (INTERACT 2011), Sep 2011, Lisbon, Portugal. pp.589-609, ⟨10.1007/978-3-642-23765-2_40⟩
Conference papers
hal-01591816v1
|
||
|
R++, User-Friendly Statistical Software17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.605-609, ⟨10.1007/978-3-030-29390-1_46⟩
Conference papers
hal-02878633v1
|
||
|
Possibility theory and possibilistic logic: Tools for reasoning under and about incomplete information4th IFIP International Conference on Intelligence Science - TC 12: Artificial Intelligence (ICIS 2021), IFIP : International Federation for Information Processing, Feb 2021, Durgapur (virtual), India. pp.79-89, ⟨10.1007/978-3-030-74826-5_7⟩
Conference papers
hal-03222778v1
|
||
|
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems5th International Conference on Fundamentals of Software Engineering (FSEN 2013), Apr 2013, Tehran, Iran. pp.111-132, ⟨10.1007/978-3-642-40213-5_8⟩
Conference papers
hal-01231765v1
|
||
|
Interoperability Improvement in a Collaborative Dynamic Manufacturing Network13th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2016, Columbia, SC, United States. pp.286-295, ⟨10.1007/978-3-319-54660-5_26⟩
Conference papers
hal-01699735v1
|
||
|
A New Agile Hybridization Approach and a Set of Related Guidelines for Mechatronic Product Development17th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2020, Rapperswil, Switzerland. pp.618-633, ⟨10.1007/978-3-030-62807-9_49⟩
Conference papers
hal-03753137v1
|
||
|
FMECA-Based Risk Assessment Approach for Proactive Obsolescence ManagementFelix Nyffenegger; José Ríos; Louis Rivest; Abdelaziz Bouras. Product Lifecycle Management Enabling Smart X Enabling Smart X 17th IFIP WG 5.1 International Conference, PLM 2020, Rapperswil, Switzerland, July 5–8, 2020, Revised Selected Papers, 594, Springer International Publishing, pp.215-226, 2020, IFIP Advances in Information and Communication Technology, ⟨10.1007/978-3-030-62807-9_18⟩
Book sections
hal-03082753v1
|
||
|
Using Unitary Traceability for an Optimal Product RecallIFIP International Conference on Advances in Production Management Systems (APMS 2014), Sep 2014, Ajaccio, France. pp.159-166, ⟨10.1007/978-3-662-44739-0_20⟩
Conference papers
hal-01388235v1
|
||
|
Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.150-163, ⟨10.1007/978-3-642-28038-2_12⟩
Conference papers
hal-01527378v1
|
||
|
Advances in Data Management in the Big Data EraAdvancing Research in Information and Communication Technology, AICT - 600, IFIP : International Federation for Information Processing, pp.99-126, 2021, IFIP Advances in Information and Communication Technology book series (IFIPAICT), 978-3-030-81700-8. ⟨10.1007/978-3-030-81701-5_4⟩
Book sections
hal-03325984v1
|