Search - IFIP Open Digital Library Access content directly

Filter your results

44 results
Structure: Internal structure identifier : 62433
Image document

Incorporating Interdependency of Trust Values in Existing Trust Models for Trust Dynamics

Mark Hoogendoorn , S. Waqar Jaffry , Jan Treur
4th IFIP WG 11.11 International on Trust Management (TM), Jun 2010, Morioka, Japan. pp.263-276, ⟨10.1007/978-3-642-13446-3_18⟩
Conference papers hal-01061332v1
Image document

Conceptualising Inventory Prepositioning in the Humanitarian Sector

Delia Richardson , Sander de Leeuw , Iris F.A.Vis
11th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE), Oct 2010, Saint-Etienne, France. pp.149-156, ⟨10.1007/978-3-642-15961-9_17⟩
Conference papers hal-01055999v1
Image document

Validation and Verification of Agent Models for Trust: Independent Compared to Relative Trust

Mark Hoogendoorn , S. Waqar Jaffry , Peter-Paul Van Maanen
5th International Conference on Trust Management (TM), Jun 2011, Copenhagen, Denmark. pp.35-50, ⟨10.1007/978-3-642-22200-9_6⟩
Conference papers hal-01568674v1
Image document

Event Handoff Unobservability in WSN

Stefano Ortolani , Mauro Conti , Bruno Crispo , Roberto Di Pietro
1st Open Research Problems in Network Security (iNetSec), Mar 2010, Sofia, Bulgaria. pp.20-28, ⟨10.1007/978-3-642-19228-9_3⟩
Conference papers hal-01581330v1
Image document

Simulation-Based Performance Analysis of Channel-Based Coordination Models

C. Verhoef , C. Krause , O. Kanters , R. van Der Mei
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.187-201, ⟨10.1007/978-3-642-21464-6_13⟩
Conference papers hal-01582989v1
Image document

Cooperative Repair of Wireless Broadcasts

Aaron Harwood , Spyros Voulgaris , Maarten Van Steen
11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.243-248, ⟨10.1007/978-3-642-21387-8_19⟩
Conference papers hal-01583571v1
Image document

Challenges in Service Value Network Composition

Jaap Gordijn , Ivan Razo-Zapata , Pieter De Leenheer , Roel Wieringa
5th Working Conference on the Practice of Enterprise Modeling (PoEM), Nov 2012, Rostock, Germany. pp.91-100, ⟨10.1007/978-3-642-34549-4_7⟩
Conference papers hal-01484390v1
Image document

Automated Evaluation of Annotators for Museum Collections Using Subjective Logic

Davide Ceolin , Archana Nottamkandath , Wan Fokkink
6th International Conference on Trust Management (TM), May 2012, Surat, India. pp.232-239, ⟨10.1007/978-3-642-29852-3_18⟩
Conference papers hal-01517642v1
Image document

Governance, Risk and Compliance: A Strategic Alignment Perspective Applied to Two Case Studies

Abbas Shahim , Ronald Batenburg , Geert Vermunt
10th International Conference on Human Choice and Computers (HCC), Sep 2012, Amsterdam, Netherlands. pp.202-212, ⟨10.1007/978-3-642-33332-3_19⟩
Conference papers hal-01525120v1
Image document

Cognitive Processes Involved in Video Game Identification

Christopher Blake , Dorothée Hefner , Christian Roth , Christoph Klimmt , Peter Vorderer
11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.75-84, ⟨10.1007/978-3-642-33542-6_7⟩
Conference papers hal-01556143v1
Image document

Strategies for Generating and Evaluating Large-Scale Powerlaw-Distributed P2P Overlays

Ana-Maria Oprescu , Spyros Voulgaris , Haralambie Leahu
13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.71-84, ⟨10.1007/978-3-642-38541-4_6⟩
Conference papers hal-01489466v1
Image document

Robots That Stimulate Autonomy

Matthijs A. Pontier , Guy M. Widdershoven
9th Artificial Intelligence Applications and Innovations (AIAI), Sep 2013, Paphos, Greece. pp.195-204, ⟨10.1007/978-3-642-41142-7_20⟩
Conference papers hal-01459612v1
Image document

Model Checking MANETs with Arbitrary Mobility

Fatemeh Ghassemi , Saeide Ahmadi , Wan Fokkink , Ali Movaghar
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.217-232, ⟨10.1007/978-3-642-40213-5_14⟩
Conference papers hal-01514658v1
Image document

Towards Decentralised Workflow Scheduling via a Rule-Driven Shared Space

Héctor Fernández , Marko Obrovac , Cédric Tedeschi
13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.187-192, ⟨10.1007/978-3-642-38541-4_16⟩
Conference papers hal-01489457v1
Image document

VICINITY: A Pinch of Randomness Brings out the Structure

Spyros Voulgaris , Maarten Van Steen
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.21-40, ⟨10.1007/978-3-642-45065-5_2⟩
Conference papers hal-01480790v1
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

Benchmarks for Parity Games

Jeroen A. Keiren
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.127-142, ⟨10.1007/978-3-319-24644-4_9⟩
Conference papers hal-01446614v1
Image document

Using Value Models for Business Risk Analysis in e-Service Networks

Dan Ionita , Roel J. Wieringa , Lars Wolos , Jaap Gordijn , Wolter Pieters
8th Practice of Enterprise Modelling (P0EM), Nov 2015, Valencia, Spain. pp.239-253, ⟨10.1007/978-3-319-25897-3_16⟩
Conference papers hal-01442255v1
Image document

Predicting Quality of Crowdsourced Annotations Using Graph Kernels

Archana Nottamkandath , Jasper Oosterman , Davide Ceolin , Gerben De Vries , Wan Fokkink
9th IFIP International Conference on Trust Management (TM), May 2015, Hamburg, Germany. pp.134-148, ⟨10.1007/978-3-319-18491-3_10⟩
Conference papers hal-01416219v1
Image document

A Textual Description Based Approach to Process Matching

Maria Rana , Khurram Shahzad , Rao Nawab , Henrik Leopold , Umair Babar
9th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2016, Skövde, Sweden. pp.194-208, ⟨10.1007/978-3-319-48393-1_14⟩
Conference papers hal-01653532v1
Image document

Provable Network Activity for Protecting Users Against False Accusation

Panagiotis Papadopoulos , Elias Athanasopoulos , Eleni Kosta , George Siganos , Angelos D. Keromytis , et al.
10th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2016, Heraklion, Greece. pp.254-261, ⟨10.1007/978-3-319-45931-8_17⟩
Conference papers hal-01639610v1
Image document

Value-Driven Risk Analysis of Coordination Models

Dan Ionita , Jaap Gordijn , Ahmed Seid Yesuf , Roel Wieringa
9th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2016, Skövde, Sweden. pp.102-116, ⟨10.1007/978-3-319-48393-1_8⟩
Conference papers hal-01653518v1
Image document

NEXT: Generating Tailored ERP Applications from Ontological Enterprise Models

Henk van Der Schuur , Erik van De Ven , Rolf De Jong , Dennis Schunselaar , Hajo A. Reijers , et al.
10th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2017, Leuven, Belgium. pp.283-298, ⟨10.1007/978-3-319-70241-4_19⟩
Conference papers hal-01765268v1
Image document

Social Network Analysis for Trust Prediction

Davide Ceolin , Simone Potenza
11th IFIP International Conference on Trust Management (TM), Jun 2017, Gothenburg, Sweden. pp.49-56, ⟨10.1007/978-3-319-59171-1_5⟩
Conference papers hal-01651167v1
Image document

Creating Büchi Automata for Multi-valued Model Checking

Stefan Vijzelaar , Wan J. Fokkink
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.210-224, ⟨10.1007/978-3-319-60225-7_15⟩
Conference papers hal-01658422v1
Image document

A Temporal-Causal Network Model for the Internal Processes of a Person with a Borderline Personality Disorder

Maria Hoțoiu , Federico Tavella , Jan Treur
14th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), May 2018, Rhodes, Greece. pp.362-373, ⟨10.1007/978-3-319-92007-8_31⟩
Conference papers hal-01821027v1
Image document

Hotspots and Blind Spots

Lauren Waardenburg , Anastasia Sergeeva , Marleen Huysman
Working Conference on Information Systems and Organizations (IS&O), Dec 2018, San Francisco, CA, United States. pp.96-109, ⟨10.1007/978-3-030-04091-8_8⟩
Conference papers hal-02083594v1
Image document

The Practice of Enterprise Modeling

Jaap Gordijn , Wided Guédria , Henderik Proper
Springer International Publishing, LNBIP-369, 2019, Lecture Notes in Business Information Processing, 978-3-030-35150-2. ⟨10.1007/978-3-030-35151-9⟩
Books hal-03231350v1
Image document

Digital Development: Elements of a Critical ICT4D Theory and Praxis

Anna Bon , Hans Akkermans
15th International Conference on Social Implications of Computers in Developing Countries (ICT4D), May 2019, Dar es Salaam, Tanzania. pp.26-38, ⟨10.1007/978-3-030-19115-3_3⟩
Conference papers hal-02281305v1
Image document

Community-Centered, Project-Based ICT4D Education in the Field

Anna Bon , Jaap Gordijn , Hans Akkermans , Victor de Boer , André Baart , et al.
15th International Conference on Social Implications of Computers in Developing Countries (ICT4D), May 2019, Dar es Salaam, Tanzania. pp.386-397, ⟨10.1007/978-3-030-19115-3_32⟩
Conference papers hal-02281326v1