Search - IFIP Open Digital Library Access content directly

Filter your results

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

Emotions: The Voice of the Unconscious

 Matthias Rauterberg
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.205-215, ⟨10.1007/978-3-642-15399-0_19⟩
Conference papers hal-01055642v1
Image document

Cultural Computing - How to Investigate a Form of Unconscious User Experiences in Mixed Realities

 Matthias Rauterberg , Jun Hu , Geert Langereis
Second IFIP TC 14 Entertainment Computing Symposium (ECS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.190-197, ⟨10.1007/978-3-642-15214-6_19⟩
Conference papers hal-01056343v1
Image document

Emotions as a Communication Medium between the Unconscious and the Conscious

 Matthias Rauterberg
Second IFIP TC 14 Entertainment Computing Symposium (ECS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.198-207, ⟨10.1007/978-3-642-15214-6_20⟩
Conference papers hal-01056341v1
Image document

Shift Dynamics of Capillary Self-Alignment

 Gari Arutinov , Mastrangeli Massimo , Smits C. P. Edsger , van Heck Gert , Shoo F. M. Herman , et al.
7th International Precision Assembly Seminar (IPAS), Feb 2014, Chamonix, France. pp.61-68, ⟨10.1007/978-3-662-45586-9_9⟩
Conference papers hal-01260862v1
Image document

Data Leakage Quantification

 Sokratis Vavilis , Milan Petković , Nicola Zannone
28th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2014, Vienna, Austria. pp.98-113, ⟨10.1007/978-3-662-43936-4_7⟩
Conference papers hal-01284845v1
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

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

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

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

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

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

How People Really (Like To) Work

 Wil van Der Aalst
5th International Conference on Human-Centred Software Engineering (HCSE), Sep 2014, Paderborn, Germany. pp.317-321, ⟨10.1007/978-3-662-44811-3_25⟩
Conference papers hal-01405093v1
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

The Effect of Familiar and Fantasy Aesthetics on Learning and Experience of Serious Games

 Erik van Der Spek , Tatiana Sidorenkova , Paul Porskamp , Matthias Rauterberg
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.133-138, ⟨10.1007/978-3-662-45212-7_17⟩
Conference papers hal-01408514v1
Image document

Designing Interactive Public Art Installations: New Material Therefore New Challenges

 Jun Hu , Mathias Funk , Yu Zhang , Feng Wang
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.199-206, ⟨10.1007/978-3-662-45212-7_25⟩
Conference papers hal-01408522v1
Image document

Branching Bisimulation Games

 David De Frutos Escrig , Jeroen A. Keiren , Tim C. Willemse
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.142-157, ⟨10.1007/978-3-319-39570-8_10⟩
Conference papers hal-01432915v1
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

A Software Architecture for Transportation Planning and Monitoring in a Collaborative Network

 Anne Baumgrass , Remco Dijkman , Paul Grefen , Shaya Pourmirza , Hagen Völzer , et al.
16th Working Conference on Virtual Enterprises (PROVE), Oct 2015, Albi, France. pp.277-284, ⟨10.1007/978-3-319-24141-8_25⟩
Conference papers hal-01437896v1
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

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

Finding Suitable Activity Clusters for Decomposed Process Discovery

 B. A. Hompes , H. W. Verbeek , W. van Der Aalst
4th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Nov 2014, Milan, Italy. pp.32-57, ⟨10.1007/978-3-319-27243-6_2⟩
Conference papers hal-01442339v1
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

Systems Engineering as a First Step to Effective Use of BIM

 Henk Jan Pels , Jeroen Van Beek , Ad Den Otter
10th Product Lifecycle Management for Society (PLM), Jul 2013, Nantes, France. pp.651-662, ⟨10.1007/978-3-642-41501-2_64⟩
Conference papers hal-01461969v1
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
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

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

Symbolic Privacy Analysis through Linkability and Detectability

 Meilof Veeningen , Benne De Weger , Nicola Zannone
7th Trust Management (TM), Jun 2013, Malaga, Spain. pp.1-16, ⟨10.1007/978-3-642-38323-6_1⟩
Conference papers hal-01468177v1
Image document

PERSONA - A Personalized Data Protection Framework

 Marina Egea , Federica Paci , Marinella Petrocchi , Nicola Zannone
7th Trust Management (TM), Jun 2013, Malaga, Spain. pp.272-280, ⟨10.1007/978-3-642-38323-6_22⟩
Conference papers hal-01468180v1
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
Page :