Search - IFIP Open Digital Library Access content directly

Filter your results

124 results
Structure: Internal structure identifier : 4629
Image document

Hybrid Service Compositions: When BPM Meets Dynamic Case Management

Konstantinos Traganos , Paul Grefen
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.226-239, ⟨10.1007/978-3-319-24072-5_16⟩
Conference papers hal-01757565v1
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
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

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