Search - IFIP Open Digital Library Access content directly

Filter your results

124 results
Structure: Internal structure identifier : 4629
Image document

Using Availability Heuristics in Game Design to Introduce Children to Energy Sufficient Behaviours at Home

Nsemeke Ukpong , Privender Saini , Abdullah Al Mahmud
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.661-664, ⟨10.1007/978-3-642-23768-3_107⟩
Conference papers hal-01597007v1
Image document

Information Governance as a Dynamic Capability in Service Oriented Business Networking

Mohammad R. Rasouli , Rik Eshuis , Jos Trienekens , Rob J. Kusters , Paul Grefen
17th Working Conference on Virtual Enterprises (PRO-VE), Oct 2016, Porto, Portugal. pp.457-468, ⟨10.1007/978-3-319-45390-3_39⟩
Conference papers hal-01614608v1
Image document

Cinderella versus the Wicked Stepmother

Marijke Bodlaender , Cor Hurkens , Vincent Kusters , Frank Staals , Gerhard J. Woeginger , et al.
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.57-71, ⟨10.1007/978-3-642-33475-7_5⟩
Conference papers hal-01556224v1
Image document

Comparative Process Mining in Education: An Approach Based on Process Cubes

Wil Aalst , Shengnan Guo , Pierre Gorissen
3rd International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Aug 2013, Riva del Garda, Italy. pp.110-134
Conference papers hal-01746404v1
Image document

DB-XES: Enabling Process Discovery in the Large

Alifah Syamsiyah , Boudewijn Dongen , Wil Aalst
6th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Dec 2016, Graz, Austria. pp.53-77, ⟨10.1007/978-3-319-74161-1_4⟩
Conference papers hal-01769759v1

Peripheral Interaction: Embedding HCI in Everyday Life

Doris Hausen , Saskia Bakker , Elise van den Hoven
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.782
Conference papers hal-01513900v1
Image document

Using Video Prototypes for Evaluating Design Concepts with Users: A Comparison to Usability Testing

Matthijs Zwinderman , Rinze Leenheer , Azadeh Shirzad , Nikolay Chupriyanov , Glenn Veugen , et al.
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.774-781, ⟨10.1007/978-3-642-40480-1_55⟩
Conference papers hal-01501788v1
Image document

PULP Scription: A DSL for Mobile HTML5 Game Applications

Mathias Funk , Matthias Rauterberg
11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.504-510, ⟨10.1007/978-3-642-33542-6_65⟩
Conference papers hal-01556161v1
Image document

Virtual Reality as e-Mental Health to Support Starting with Mindfulness-Based Cognitive Therapy

Koen H.B. Damen , Erik D. van Der Spek
17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.241-247, ⟨10.1007/978-3-319-99426-0_24⟩
Conference papers hal-02128633v1
Image document

Human-Centered Software Engineering for Changing Contexts of Use

Stefan Sauer , Regina Bernhaupt , Carmelo Ardito
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.548-552, ⟨10.1007/978-3-030-85607-6_75⟩
Conference papers hal-04291201v1
Image document

Absolute Indirect Touch Interaction: Impact of Haptic Marks and Animated Visual Feedback on Usability and User Experience

Regina Bernhaupt , Dimitri Drouet , Michael Pirker
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.251-269, ⟨10.1007/978-3-030-05909-5_15⟩
Conference papers hal-02270706v1
Image document

MIODMIT: A Generic Architecture for Dynamic Multimodal Interactive Systems

Alexandre Canny , Martin Cronel , Bruno Dumas , Philippe Palanque
7th 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
Image document

Design Students’ Challenges in Individual Brainstorming Using a Design Fiction Method

Lu Liu , Tamara Hoveling , Panos Markopoulos
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.386-389, ⟨10.1007/978-3-030-85607-6_43⟩
Conference papers hal-04291183v1
Image document

Defining the Customer Dimension of PLM Maturity

Hannu Kärkkäinen , Henk Jan Pels , Anneli Silventoinen
9th International Conference on Product Lifecycle Management (PLM), Jul 2012, Montreal, QC, Canada. pp.623-634, ⟨10.1007/978-3-642-35758-9_56⟩
Conference papers hal-01526162v1
Image document

Exploring How Tangible Tools Enable Collaboration in a Multi-touch Tabletop Game

Tess Speelpenning , Alissa N. Antle , Tanja Doering , Elise van Den Hoven
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.605-621, ⟨10.1007/978-3-642-23771-3_45⟩
Conference papers hal-01590879v1
Image document

Floffy: Designing an Outdoor Robot for Children

Omar Mubin , Luke Vink , Pieter Oosterwijk , Abdullah Al Mahmud , Suleman Shahid
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.563-570, ⟨10.1007/978-3-642-40498-6_46⟩
Conference papers hal-01510506v1
Image document

Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths

Mark Bouwman , Bas Luttik , Tim A.C. Willemse
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.182-187, ⟨10.1007/978-3-030-78089-0_11⟩
Conference papers hal-03740262v1
Image document

Correction to: Verifying System-Wide Properties of Industrial Component-Based Software

Thomas Neele , Marijn Rol , Jan Friso Groote
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.C1-C1, ⟨10.1007/978-3-030-31517-7_18⟩
Conference papers hal-03769134v1
Image document

The Hubs: Design Insights for Walking Meeting Technology

Ida Damen , Steven Vos , Carine Lallemand
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.610-629, ⟨10.1007/978-3-030-85610-6_35⟩
Conference papers hal-04215504v1
Image document

Sum of Exit Times in Series of Metastable States in Probabilistic Cellular Automata

E. M. Cirillo , F. R. Nardi , C. Spitoni
22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2016, Zurich, Switzerland. pp.105-119, ⟨10.1007/978-3-319-39300-1_9⟩
Conference papers hal-01435037v1
Image document

Context-Aware Process Modelling for Medicinal Product Development

Zeynep Ozturk Yurt , Rik Eshuis , Anna Wilbik , Irene Vanderfeesten
14th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2021, Riga, Latvia. pp.168-183, ⟨10.1007/978-3-030-91279-6_12⟩
Conference papers hal-04323850v1
Image document

Business-IT Alignment in PSS Value Networks: A Capability-Based Framework

Samaneh Bagheri , Rob J. Kusters , Jos Trienekens
15th Working Conference on Virtual Enterprises (PROVE), Oct 2014, Amsterdam, Netherlands. pp.273-284, ⟨10.1007/978-3-662-44745-1_27⟩
Conference papers hal-01392125v1
Image document

Interactive Storytelling in a Mixed Reality Environment: The Effects of Interactivity on User Experiences

Marija Nakevska , Anika van Der Sanden , Mathias Funk , Jun Hu , Matthias Rauterberg
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.52-59, ⟨10.1007/978-3-662-45212-7_7⟩
Conference papers hal-01408504v1
Image document

Creating Agility in Traffic Management by Collaborative Service-Dominant Business Engineering

Paul Grefen , Oktay Turetken , Kostas Traganos , Aafke Den Hollander , Rik Eshuis
16th Working Conference on Virtual Enterprises (PROVE), Oct 2015, Albi, France. pp.100-109, ⟨10.1007/978-3-319-24141-8_9⟩
Conference papers hal-01437936v1
Image document

History-Based Construction of Alignments for Conformance Checking: Formalization and Implementation

Mahdi Alizadeh , Massimiliano De Leoni , Nicola Zannone
4th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Nov 2014, Milan, Italy. pp.58-78, ⟨10.1007/978-3-319-27243-6_3⟩
Conference papers hal-01442340v1
Image document

Understanding SLA Elements in Cloud Computing

Marco Comuzzi , Guus Jacobs , Paul Grefen
14th Working Conference on Virtual Enterprises, (PROVE), Sep 2013, Dresden, Germany. pp.385-392, ⟨10.1007/978-3-642-40543-3_41⟩
Conference papers hal-01463232v1
Image document

Shaping Attitudes Across Realities. Exploring Strategies for the Design of Persuasive Virtual, Augmented and Mixed Reality Games

Martijn Kors , Karel Millenaar , Erik Spek , Gabriele Ferri , Ben Schouten , et al.
16th International Conference on Entertainment Computing (ICEC), Sep 2017, Tsukuba City, Japan. pp.497-501, ⟨10.1007/978-3-319-66715-7_71⟩
Conference papers hal-01771299v1
Image document

Electroforming Process in Metal-Oxide-Polymer Resistive Switching Memories

Qian Chen , Henrique L. Gomes , Asal Kiazadeh , Paulo F. Rocha , Dago De Leeuw , et al.
3rd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2012, Costa de Caparica, Portugal. pp.527-534, ⟨10.1007/978-3-642-28255-3_58⟩
Conference papers hal-01365772v1
Image document

Tracking Eyes in Service Prototyping

Monchu Chen , Veraneka Lim
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.264-271, ⟨10.1007/978-3-642-40498-6_19⟩
Conference papers hal-01510546v1
Image document

Hardware Trojan Side-Channels Based on Physical Unclonable Functions

Zheng Gong , Marc X. Makkes
5th Workshop on Information Security Theory and Practices (WISTP), Jun 2011, Heraklion, Crete, Greece. pp.294-303, ⟨10.1007/978-3-642-21040-2_21⟩
Conference papers hal-01573309v1