Search - IFIP Open Digital Library Access content directly

Filter your results

115 results
Structure: Internal structure identifier : 50791
Image document

Declarative Elasticity in ABS

Stijn De Gouw , Jacopo Mauro , Behrooz Nobakht , Gianluigi Zavattaro
5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.118-134, ⟨10.1007/978-3-319-44482-6_8⟩
Conference papers hal-01638585v1
Image document

Extended HTTP Digest Access Authentication

Henning Klevjer , Kent Are Varmedal , Audun Jøsang
3rd Policies and Research in Identity Management (IDMAN), Apr 2013, London, United Kingdom. pp.83-96, ⟨10.1007/978-3-642-37282-7_7⟩
Conference papers hal-01470505v1
Image document

Trust Transitivity and Conditional Belief Reasoning

Audun Josang , Tanja Ažderska , Stephen Marsh
6th International Conference on Trust Management (TM), May 2012, Surat, India. pp.68-83, ⟨10.1007/978-3-642-29852-3_5⟩
Conference papers hal-01517645v1
Image document

Threat Poker: Gamification of Secure Agile

Audun Jøsang , Viktoria Stray , Hanne Rygge
13th IFIP World Conference on Information Security Education (WISE), Sep 2020, Maribor, Slovenia. pp.142-155, ⟨10.1007/978-3-030-59291-2_10⟩
Conference papers hal-03380689v1
Image document

Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction

Rudolf Schlatte , Einar Broch Johnsen , Eduard Kamburjan , Silvia Lizeth Tapia Tarifa
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.3-19, ⟨10.1007/978-3-030-78142-2_1⟩
Conference papers hal-03387836v1
Image document

Designing for Scale: Strengthening Surveillance of Antimicrobial Resistance in Low Resource Settings

Sundeep Sahay , Gitika Arora , Yogita Thakral , Ernst Kristian Rødland , Arunima Sehgal Mukherjee
IFIP Joint Working Conference on the Future of Digital Work: The Challenge of Inequality (IFIPJWC), Dec 2020, Hyderabad, India. pp.251-264, ⟨10.1007/978-3-030-64697-4_19⟩
Conference papers hal-03450704v1
Image document

Personal Federation Control with the Identity Dashboard

Jonathan Scudder , Audun Jøsang
Second IFIP WG 11.6 Working Conference on Policies and Reseach Management (IDMAN), Nov 2010, Oslo, Norway. pp.85-99, ⟨10.1007/978-3-642-17303-5_7⟩
Conference papers hal-01054398v1
Image document

Framework for Pupil-to-Student Transition, Learning Environment and Semester Start for First-Year Students

Omid Mirmotahari , Gunnar Rye Bergersen , Yngvar Berg , Kristin Bråthen , Kristin Broch Eliassen
18th Conference on e-Business, e-Services and e-Society (I3E), Sep 2019, Trondheim, Norway. pp.128-139, ⟨10.1007/978-3-030-39634-3_12⟩
Conference papers hal-03759102v1
Image document

Visualising Actor Network for Cooperative Systems in Marine Technology

Yushan Pan , Sisse Finken
12th IFIP International Conference on Human Choice and Computers (HCC), Sep 2016, Salford, United Kingdom. pp.178-190, ⟨10.1007/978-3-319-44805-3_15⟩
Conference papers hal-01449432v1
Image document

To Rule and Be Ruled: Governance and Participation in FOSS Projects

Zegaye Seifu , Prodromos Tsiavos
6th International IFIP WG 2.13 Conference on Open Source Systems,(OSS), May 2010, Notre Dame, United States. pp.380-388, ⟨10.1007/978-3-642-13244-5_35⟩
Conference papers hal-01056037v1
Image document

MAC Layer Support for Delay Tolerant Video Transport in Disruptive MANETs

Morten Lindeberg , Stein Kristiansen , Vera Goebel , Thomas Plagemann
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.106-119, ⟨10.1007/978-3-642-20757-0_9⟩
Conference papers hal-01583420v1
Image document

Challenges for Health Indicators in Developing Countries: Misconceptions and Lack of Population Data

Flora Nah Asah , Petter Nielsen , Johan Ivar Sæbø
14th International Conference on Social Implications of Computers in Developing Countries (ICT4D), May 2017, Yogyakarta, Indonesia. pp.593-604, ⟨10.1007/978-3-319-59111-7_48⟩
Conference papers hal-01650061v1

This Changes Everything – ICT and Climate Change: What Can We Do?

David Kreps , Charles Ess , Louise Leenen , Kai Kimppa
Springer International Publishing, AICT-537, 2018, IFIP Advances in Information and Communication Technology, 978-3-319-99604-2. ⟨10.1007/978-3-319-99605-9⟩
Books hal-02001931v1
Image document

Performing Elderliness – Intra-actions with Digital Domestic Care Technologies

Sisse Finken , Christina Mörtberg
11th IFIP International Conference on Human Choice and Computers (HCC), Jul 2014, Turku, Finland. pp.307-319, ⟨10.1007/978-3-662-44208-1_25⟩
Conference papers hal-01383067v1
Image document

Information Systems Innovation Research: Between Novel Futures and Durable Presents

Margunn Aanestad
1st Working Conference Researching the Future (Future-IS), Jun 2011, Turku, Finland. pp.27-41, ⟨10.1007/978-3-642-21364-9_3⟩
Conference papers hal-01567980v1
Image document

Patchworks of Logistics Management Information Systems: Challenges or Solutions for Developing Countries?

Bjørn-Ingar Bergum , Petter Nielsen , Johan Ivar Sæbø
14th International Conference on Social Implications of Computers in Developing Countries (ICT4D), May 2017, Yogyakarta, Indonesia. pp.47-58, ⟨10.1007/978-3-319-59111-7_5⟩
Conference papers hal-01650082v1
Image document

Open Source Software Ecosystems in Health Sector: A Case Study from Sri Lanka

Roshan Hewapathirana , Pamod Amarakoon , Jørn Braa
14th International Conference on Social Implications of Computers in Developing Countries (ICT4D), May 2017, Yogyakarta, Indonesia. pp.71-80, ⟨10.1007/978-3-319-59111-7_7⟩
Conference papers hal-01650092v1
Image document

Leveraging Software Platform Capabilities to Support HIV (ART) Treatment Adherence Management: A Case from Sierra Leone

Eric Adu-Gyamfi , Petter Nielsen
14th International Conference on Social Implications of Computers in Developing Countries (ICT4D), May 2017, Yogyakarta, Indonesia. pp.35-46, ⟨10.1007/978-3-319-59111-7_4⟩
Conference papers hal-01650103v1
Image document

Bringing Visibility to Community Health Work with mHealth Systems: A Case of Malawi

Esther Namatovu , Chipo Kanjo
14th International Conference on Social Implications of Computers in Developing Countries (ICT4D), May 2017, Yogyakarta, Indonesia. pp.629-639, ⟨10.1007/978-3-319-59111-7_51⟩
Conference papers hal-01650110v1
Image document

Self-Reinforcing Linkages Between Value and Local Ownership: Rethinking Sustainability of ICT4D Project

Sundeep Sahay , Arunima Mukherjee
14th International Conference on Social Implications of Computers in Developing Countries (ICT4D), May 2017, Yogyakarta, Indonesia. pp.487-497, ⟨10.1007/978-3-319-59111-7_40⟩
Conference papers hal-01650111v1

Distributed Applications and Interoperable Systems

Frank Eliassen , Rüdiger Kapitza
Springer, LNCS-6115, 2010, Lecture Notes in Computer Science, 978-3-642-13644-3. ⟨10.1007/978-3-642-13645-0⟩
Books hal-01555327v1
Image document

Reducing the Cost of Model-Based Testing through Test Case Diversity

Hadi Hemmati , Andrea Arcuri , Lionel Briand
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.63-78, ⟨10.1007/978-3-642-16573-3_6⟩
Conference papers hal-01055243v1
Image document

ICT Enabled Peace Network: Case Study of Conflict Early Warning System in Kenya

Arunima Mukherjee , Festus Mukoya
15th International Conference on Social Implications of Computers in Developing Countries (ICT4D), May 2019, Dar es Salaam, Tanzania. pp.127-139, ⟨10.1007/978-3-030-18400-1_11⟩
Conference papers hal-02285250v1
Image document

Convergence of Technical and Policy Processes: A Study of Indonesia’s Health Information Systems

Taufiq Sitompul , Wilfred F. Senyoni , Jørn Braa , - Yudianto
15th International Conference on Social Implications of Computers in Developing Countries (ICT4D), May 2019, Dar es Salaam, Tanzania. pp.390-401, ⟨10.1007/978-3-030-18400-1_32⟩
Conference papers hal-02285256v1
Image document

Strategies for Standardizing Health Information Analysis

Olav Poppe , Johan Ivar Sæbø , Jørn Braa
15th International Conference on Social Implications of Computers in Developing Countries (ICT4D), May 2019, Dar es Salaam, Tanzania. pp.260-271, ⟨10.1007/978-3-030-18400-1_21⟩
Conference papers hal-02285278v1
Image document

Leveraging Digital Health Platforms in Developing Countries: The Role of Boundary Resources

Brown Msiska , Petter Nielsen , Jens Kaasboll
15th International Conference on Social Implications of Computers in Developing Countries (ICT4D), May 2019, Dar es Salaam, Tanzania. pp.116-126, ⟨10.1007/978-3-030-18400-1_10⟩
Conference papers hal-02285313v1
Image document

Scaling Across Functional Domains: A Case of Implementing an Electronic HIV Patient Information System in Sierra Leone

Eric Adu-Gyamfi , Petter Nielsen , Johan Ivar Sæbø , Zeferino Saugene
15th International Conference on Social Implications of Computers in Developing Countries (ICT4D), May 2019, Dar es Salaam, Tanzania. pp.331-342, ⟨10.1007/978-3-030-18400-1_27⟩
Conference papers hal-02285318v1
Image document

Reputation-Based Trust Systems for Wireless Sensor Networks: A Comprehensive Review

Hani Alzaid , Manal Alfaraj , Sebastian Ries , Audun Jøsang , Muneera Albabtain , et al.
7th Trust Management (TM), Jun 2013, Malaga, Spain. pp.66-82, ⟨10.1007/978-3-642-38323-6_5⟩
Conference papers hal-01468184v1
Image document

A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing

Lucian Bentea , Peter Csaba Ölveczky
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.77-94, ⟨10.1007/978-3-642-37635-1_5⟩
Conference papers hal-01485979v1
Image document

Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude

Peter Csaba Ölveczky , Artur Boronat , José Meseguer
Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.47-62, ⟨10.1007/978-3-642-13464-7_5⟩
Conference papers hal-01055147v1