Search - IFIP Open Digital Library Access content directly

Filter your results

124 results
Structure: Internal structure identifier : 4629
Image document

Analysis, Redesign and Evaluation with Teasing Apart, Piecing Together

Clare J. Hooper
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.698-699, ⟨10.1007/978-3-642-23768-3_121⟩
Conference papers hal-01597036v1
Image document

Towards Creating Believable Decoy Project Folders for Detecting Data Theft

Stefan Thaler , Jerry Den Hartog , Milan Petkovic
30th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2016, Trento, Italy. pp.161-169, ⟨10.1007/978-3-319-41483-6_12⟩
Conference papers hal-01633683v1
Image document

Complex Collaborative Physical Process Management: A Position on the Trinity of BPM, IoT and DA

Paul Grefen , Heiko Ludwig , Samir Tata , Remco Dijkman , Nathalie Baracaldo , et al.
19th Working Conference on Virtual Enterprises (PRO-VE), Sep 2018, Cardiff, United Kingdom. pp.244-253, ⟨10.1007/978-3-319-99127-6_21⟩
Conference papers hal-02191187v1
Image document

Discovery of Frequent Episodes in Event Logs

Maikel Leemans , Wil van Der Aalst
4th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Nov 2014, Milan, Italy. pp.1-31, ⟨10.1007/978-3-319-27243-6_1⟩
Conference papers hal-01442338v1
Image document

A Case for Societal Digital Security Culture

Lotfi Ben Othmane , Harold Weffers , Rohit Ranchal , Pelin Angin , Bharat Bhargava , et al.
28th Security and Privacy Protection in Information Processing Systems (SEC), Jul 2013, Auckland, New Zealand. pp.391-404, ⟨10.1007/978-3-642-39218-4_29⟩
Conference papers hal-01463840v1
Image document

Ciphertext-Policy Attribute-Based Broadcast Encryption Scheme

Muhammad Asim , Luan Ibraimi , Milan Petković
12th Communications and Multimedia Security (CMS), Oct 2011, Ghent, Belgium. pp.244-246, ⟨10.1007/978-3-642-24712-5_25⟩
Conference papers hal-01596187v1
Image document

Using Domain Knowledge to Enhance Process Mining Results

P. M. Dixit , J. Buijs , Wil Aalst , B. Hompes , J. Buurman
5th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Dec 2015, Vienna, Austria. pp.76-104, ⟨10.1007/978-3-319-53435-0_4⟩
Conference papers hal-01651892v1
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

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

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

Tutorial: Service-Oriented Architecture (SOA) Development for Serious Games

Maira B. Carvalho , Jun Hu , Francesco Bellotti , Alessandro De Gloria , Matthias Rauterberg
14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.578-580, ⟨10.1007/978-3-319-24589-8_61⟩
Conference papers hal-01758448v1
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
Image document

BPM-in-the-Large - Towards a higher level of abstraction in Business Process Management

Constantin Houy , Peter Fettke , Peter Loos , Wil M. P. Aalst , John Krogstie
Joint IFIP TC 8 and TC 6 International Conferences on E-Government, E-Services and Global Processes (EGES) / Global Information Systems Processes (GISP), / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.233-244, ⟨10.1007/978-3-642-15346-4_19⟩
Conference papers hal-01054638v1
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

Reducing the Cost of Grammar-Based Testing Using Pattern Coverage

Cleverton Hentz , Jurgen J. Vinju , Anamaria M. Moreira
ICTSS 2015 - 27th IFIP International Conference on Testing Software and Systems, Nov 2015, Dubai, United Arab Emirates. pp.71-85, ⟨10.1007/978-3-319-25945-1_5⟩
Conference papers hal-01470158v1
Image document

Culture and Facial Expressions: A Case Study with a Speech Interface

Beant Dhillon , Rafal Kocielnik , Ioannis Politis , Marc Swerts , Dalila Szostak
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.392-404, ⟨10.1007/978-3-642-23771-3_29⟩
Conference papers hal-01590881v1
Image document

Business Process Reporting Using Process Mining, Analytic Workflows and Process Cubes: A Case Study in Education

Alfredo Bolt , Massimiliano De Leoni , Wil Aalst , Pierre Gorissen
5th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Dec 2015, Vienna, Austria. pp.28-53, ⟨10.1007/978-3-319-53435-0_2⟩
Conference papers hal-01651891v1
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

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

Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair

Elham Ramezani , Natalia Sidorova , Christian Stahl
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.150-167, ⟨10.1007/978-3-642-40213-5_10⟩
Conference papers hal-01514666v1
Image document

Probing the Potential of Multimedia Artefacts to Support Communication of People with Dementia

Alina Huldtgren , Fabian Mertl , Anja Vormann , Chris Geiger
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.71-79, ⟨10.1007/978-3-319-22698-9_6⟩
Conference papers hal-01609393v1
Image document

AU2EU: Privacy-Preserving Matching of DNA Sequences

Tanya Ignatenko , Milan Petković
8th IFIP International Workshop on Information Security Theory and Practice (WISTP), Jun 2014, Heraklion, Crete, Greece. pp.180-189, ⟨10.1007/978-3-662-43826-8_14⟩
Conference papers hal-01400940v1
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

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

Perswedo: Introducing Persuasive Principles into the Creative Design Process Through a Design Card-Set

Xipei Ren , Yuan Lu , Harri Oinas-Kukkonen , Aarnout Brombacher
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.453-462, ⟨10.1007/978-3-319-67687-6_31⟩
Conference papers hal-01717205v1
Image document

Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs

Daniela Remenska , Tim C. Willemse , Jeff Templon , Kees Verstoep , Henri Bal
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.17-32, ⟨10.1007/978-3-662-43613-4_2⟩
Conference papers hal-01398006v1
Image document

Service Orientation in Demand-Supply Chains: Towards an Integrated Framework

Mohammad R. Rasouli , Rob J. Kusters , Jos M. Trienekens , Paul J. Grefen
15th Working Conference on Virtual Enterprises (PROVE), Oct 2014, Amsterdam, Netherlands. pp.182-193, ⟨10.1007/978-3-662-44745-1_18⟩
Conference papers hal-01392113v1
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

Hunting the Unknown

Elisa Costante , Jerry Den Hartog , Milan Petković , Sandro Etalle , Mykola Pechenizkiy
28th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2014, Vienna, Austria. pp.243-259, ⟨10.1007/978-3-662-43936-4_16⟩
Conference papers hal-01284860v1
Image document

The Service-Dominant Ecosystem: Mapping a Service Dominant Strategy to a Product-Service Ecosystem

Egon Lüftenegger , Marco Comuzzi , Paul Grefen
14th Working Conference on Virtual Enterprises, (PROVE), Sep 2013, Dresden, Germany. pp.22-30, ⟨10.1007/978-3-642-40543-3_3⟩
Conference papers hal-01463230v1