Search - IFIP Open Digital Library Access content directly

Filter your results

124 results
Structure: Internal structure identifier : 4629
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

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

Raya: A Tangible Exercise Buddy Reminding Oneself of the Commitment to Exercise

Daphne Menheere , Alynne De Haan , Steven Vos , Carine Lallemand
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.471-475, ⟨10.1007/978-3-030-85607-6_60⟩
Conference papers hal-04291185v1
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

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

Designing for a Convenient In-Car Passenger Experience: A Repertory Grid Study

Melanie Berger , Bastian Pfleging , Regina Bernhaupt
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.117-139, ⟨10.1007/978-3-030-85616-8_9⟩
Conference papers hal-04196871v1
Image document

Enterprise Interoperability

Will van Der Aalst , John Mylopoulos , Norman M. Sadeh , Michael J. Shaw , Clemens Szyperski , et al.
Springer, LNBIP-076, 2011, Lecture Notes in Business Information Processing, ⟨10.1007/978-3-642-19680-5⟩
Books hal-01572092v1
Image document

That Sound’s Juicy! Exploring Juicy Audio Effects in Video Games

Jolie Smets , Erik Spek
20th International Conference on Entertainment Computing (ICEC), Nov 2021, Coimbra, Portugal. pp.319-335, ⟨10.1007/978-3-030-89394-1_24⟩
Conference papers hal-04144377v1
Image document

Social Gaming Patterns During a Pandemic Crisis: A Cross-cultural Survey

Aakash Johry , Günter Wallner , Regina Bernhaupt
20th International Conference on Entertainment Computing (ICEC), Nov 2021, Coimbra, Portugal. pp.139-153, ⟨10.1007/978-3-030-89394-1_11⟩
Conference papers hal-04144373v1
Image document

Fun to Enhance Learning, Motivation, Self-efficacy, and Intention to Play in DGBL

Gabriella Tisza , Sijie Zhu , Panos Markopoulos
20th International Conference on Entertainment Computing (ICEC), Nov 2021, Coimbra, Portugal. pp.28-45, ⟨10.1007/978-3-030-89394-1_3⟩
Conference papers hal-04144362v1
Image document

An Introduction to ChemiKami AR

Tengjia Zuo , Erik Spek , Max V. Birk , Jun Hu
20th International Conference on Entertainment Computing (ICEC), Nov 2021, Coimbra, Portugal. pp.521-526, ⟨10.1007/978-3-030-89394-1_48⟩
Conference papers hal-04144359v1
Image document

Term Rewriting on GPUs

Johri Van Eerd , Jan Friso Groote , Pieter Hijma , Jan Martens , Anton Wijs
9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.175-189, ⟨10.1007/978-3-030-89247-0_12⟩
Conference papers hal-04074530v1
Image document

Deadlock in Packet Switching Networks

Anna Stramaglia , Jeroen Keiren , Hans Zantema
9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.127-141, ⟨10.1007/978-3-030-89247-0_9⟩
Conference papers hal-04074517v1
Image document

Impact of Failure Rate Uncertainties on the Implementation of Additive Manufacturing in Spare Parts Supply Chains

Mirco Peron , Nils Knofius , Rob Basten , Fabio Sgarbossa
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp.291-299, ⟨10.1007/978-3-030-85914-5_31⟩
Conference papers hal-03897850v1
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

Active Learning of Industrial Software with Data

Lisette Sanchez , Jan Friso Groote , Ramon Schiffelers
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.95-110, ⟨10.1007/978-3-030-31517-7_7⟩
Conference papers hal-03769114v1
Image document

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.158-175, ⟨10.1007/978-3-030-31517-7_11⟩
Conference papers hal-03769112v1
Image document

Facilitating GDPR Compliance: The H2020 BPR4GDPR Approach

Georgios V. Lioudakis , Maria N. Koukovini , Eugenia I. Papagiannakopoulou , Nikolaos Dellas , Kostas Kalaboukas , et al.
18th Conference on e-Business, e-Services and e-Society (I3E), Sep 2019, Trondheim, Norway. pp.72-78, ⟨10.1007/978-3-030-39634-3_7⟩
Conference papers hal-03759115v1

Formal Techniques for Distributed Objects, Components, and Systems

Kirstin Peters , Tim A.C. Willemse
Springer International Publishing, LNCS-12719, 2021, Lecture Notes in Computer Science, 978-3-030-78088-3. ⟨10.1007/978-3-030-78089-0⟩
Books hal-03740268v1
Image document

A Formalisation of SysML State Machines in mCRL2

Mark Bouwman , Bas Luttik , Djurre van Der Wal
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.42-59, ⟨10.1007/978-3-030-78089-0_3⟩
Conference papers hal-03740264v1
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

Not a Free Lunch, But a Cheap One: On Classifiers Performance on Anonymized Datasets

Mina Alishahi , Nicola Zannone
35th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2021, Calgary, AB, Canada. pp.237-258, ⟨10.1007/978-3-030-81242-3_14⟩
Conference papers hal-03677025v1
Image document

Designing a VR Experience to Reduce the Experience of Pain: Scare, Excite or Relax?

Erik Spek , Luuk Roelofs
1st Joint International Conference on Entertainment Computing and Serious Games (ICEC-JCSG), Nov 2019, Arequipa, Peru. pp.97-110, ⟨10.1007/978-3-030-34644-7_8⟩
Conference papers hal-03652056v1

Entertainment Computing and Serious Games

Erik Spek , Stefan Göbel , Ellen Yi-Luen Do , Esteban Clua , Jannicke Baalsrud Hauge
Springer International Publishing, LNCS-11863, 2019, Lecture Notes in Computer Science, 978-3-030-34643-0. ⟨10.1007/978-3-030-34644-7⟩
Books hal-03652053v1
Image document

Identification of Service Platform Requirements from Value Propositions: A Service Systems Engineering Method

Onat Ege Adali , Baris Ozkan , Oktay Turetken , Paul Grefen
22nd Working Conference on Virtual Enterprises (PRO-VE 2021), Nov 2021, Saint-Etienne, France. pp.311-322, ⟨10.1007/978-3-030-85969-5_28⟩
Conference papers emse-03339298v1
Image document

A Matter of Life and Death: Analyzing the Security of Healthcare Networks

Guillaume Dupont , Daniel Santos , Elisa Costante , Jerry Den Hartog , Sandro Etalle
35th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), Sep 2020, Maribor, Slovenia. pp.355-369, ⟨10.1007/978-3-030-58201-2_24⟩
Conference papers hal-03440820v1
Image document

Human-Centered Software Engineering

Regina Bernhaupt , Carmelo Ardito , Stefan Sauer
Springer International Publishing, LNCS-12481, 2020, Lecture Notes in Computer Science, 978-3-030-64265-5. ⟨10.1007/978-3-030-64266-2⟩
Books hal-03250485v1
Image document

Predictive Analytics to Prevent Voice over IP International Revenue Sharing Fraud

Yoram J. Meijaard , Bram Cappers , Josh Mengerink , Nicola Zannone
34th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jun 2020, Regensburg, Germany. pp.241-260, ⟨10.1007/978-3-030-49669-2_14⟩
Conference papers hal-03243633v1
Image document

Social Media – A Systemic Change Perspective

Regina Bernhaupt
Leon Strous; Roger Johnson; David Alan Grier; Doron Swade. Unimagined Futures – ICT Opportunities and Challenges :, AICT-555, Springer International Publishing, pp.119-128, 2020, IFIP Advances in Information and Communication Technology, 978-3-030-64245-7. ⟨10.1007/978-3-030-64246-4_10⟩
Book sections hal-03194546v1
Image document

Characterizing Sets of Systems: Representation and Analysis of Across-Systems Properties

Elodie Bouzekri , Alexandre Canny , Célia Martinie , Philippe Palanque
17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.84-96, ⟨10.1007/978-3-030-46540-7_9⟩
Conference papers hal-03188820v1