Search - IFIP Open Digital Library Access content directly

Filter your results

2 027 results
Sub-domain level 1 : info.info-ni
Page :
sorted by
Image document

RootAsRole: Towards a Secure Alternative to sudo/su Commands for Home Users and SME Administrators

 Ahmad Samer Wazan , David Chadwick , Rémi Venant , Romain Laborde , Abdelmalek Benzekri
36th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC 2021), IFIP : International Federation for Information Processing, Jun 2021, Oslo, Norway. pp.196-209, ⟨10.1007/978-3-030-78120-0_13⟩
Conference papers hal-03345757v1
Image document

Towards Multi-layered Temporal Models: A Proposal to Integrate Instant Refinement in CCSL

 Mathieu Montin , Marc Pantel
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2021), Jun 2021, Valletta, Malta. pp.120-137, ⟨10.1007/978-3-030-78089-0_7⟩
Conference papers hal-03740259v1
Image document

Manifestly Phased Communication via Shared Session Types

 Chuta Sano , Stephanie Balzer , Frank Pfenning
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.23-40, ⟨10.1007/978-3-030-78142-2_2⟩
Conference papers hal-03387824v1
Image document

BIM as a Boundary Object in Construction Projects: A Knowledge-as-Practice Perspective

 Jing Wang , Pamela Y. Abbott , Efpraxia D. Zamani
20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.371-382, ⟨10.1007/978-3-030-85447-8_32⟩
Conference papers hal-03648167v1
Image document

Shared-Dining: Broadcasting Secret Shares Using Dining-Cryptographers Groups

 David Mödinger , Juri Dispan , Franz J. Hauck
21th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2021, Valletta, Malta. pp.83-98, ⟨10.1007/978-3-030-78198-9_6⟩
Conference papers hal-03384862v1
Image document

AI in the Workplace: Exploring Chatbot Use and Users’ Emotions

 Lorentsa Gkinko , Amany Elbanna
20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.18-28, ⟨10.1007/978-3-030-85447-8_2⟩
Conference papers hal-03648127v1
Image document

Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths

 Mark Bouwman , Bas Luttik , Tim A.C. Willemse
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.182-187, ⟨10.1007/978-3-030-78089-0_11⟩
Conference papers hal-03740262v1
Image document

Impact of COVID-19 Pandemic on E-participation of Fans in Sports Events

 Vishal Mehra , Pooja Sarin , Prabhsimran Singh , Ravinder Singh Sawhney , Arpan Kumar Kar
20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.692-703, ⟨10.1007/978-3-030-85447-8_57⟩
Conference papers hal-03648147v1
Image document

The Diffusion of Innovation Experience

 Gustav Du Plessis , Hanlie Smuts
20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.318-329, ⟨10.1007/978-3-030-85447-8_28⟩
Conference papers hal-03648114v1
Image document

Achieving Digital-Driven Patient Agility in the Era of Big Data

 Rogier van De Wetering
20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.82-93, ⟨10.1007/978-3-030-85447-8_8⟩
Conference papers hal-03648150v1
Image document

Social Exclusion in Gamified Information Systems

 Arthur Poll , Izak Van Zyl , Jan H. Kroeze
20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.774-786, ⟨10.1007/978-3-030-85447-8_65⟩
Conference papers hal-03648151v1
Image document

Data-Driven Collaborative Human-AI Decision Making

 Gregoris Mentzas , Katerina Lepenioti , Alexandros Bousdekis , Dimitris Apostolou
20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.120-131, ⟨10.1007/978-3-030-85447-8_11⟩
Conference papers hal-03648128v1
Image document

UCBFed: Using Reinforcement Learning Method to Tackle the Federated Optimization Problem

 Wanqi Chen , Xin Zhou
21th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2021, Valletta, Malta. pp.99-105, ⟨10.1007/978-3-030-78198-9_7⟩
Conference papers hal-03384857v1
Image document

Explaining the Network of Factors that Influence the Timing of and Decision to Upgrade Enterprise Systems

 Candice Petersen , Lisa F. Seymour
20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.506-518, ⟨10.1007/978-3-030-85447-8_42⟩
Conference papers hal-03648130v1
Image document

Network Federation for Inter-cloud Operations

 Johannes Köstler , Sven Gebauer , Hans P. Reiser
21th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2021, Valletta, Malta. pp.21-37, ⟨10.1007/978-3-030-78198-9_2⟩
Conference papers hal-03384865v1
Image document

Always Trust the Advice of AI in Difficulties? Perceptions Around AI in Decision Making

 Amit Kumar Kushwaha , Ruchika Pharswan , Arpan Kumar Kar
20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.132-143, ⟨10.1007/978-3-030-85447-8_12⟩
Conference papers hal-03648113v1
Image document

Stop Ordering Machine Learning Algorithms by Their Explainability! An Empirical Investigation of the Tradeoff Between Performance and Explainability

 Jonas Wanner , Lukas-Valentin Herm , Kai Heinrich , Christian Janiesch
20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.245-258, ⟨10.1007/978-3-030-85447-8_22⟩
Conference papers hal-03648118v1
Image document

Chatbots at Work: A Taxonomy of the Use of Chatbots in the Workplace

 Lorentsa Gkinko , Amany Elbanna
20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.29-39, ⟨10.1007/978-3-030-85447-8_3⟩
Conference papers hal-03648121v1
Image document

Formal Verification of HotStuff

 Leander Jehl
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.197-204, ⟨10.1007/978-3-030-78089-0_13⟩
Conference papers hal-03740260v1
Image document

Java Typestate Checker

 João Mota , Marco Giunti , António Ravara
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.121-133, ⟨10.1007/978-3-030-78142-2_8⟩
Conference papers hal-03387832v1
Image document

Safe Session-Based Asynchronous Coordination in Rust

 Zak Cutner , Nobuko Yoshida
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.80-89, ⟨10.1007/978-3-030-78142-2_5⟩
Conference papers hal-03387841v1
Image document

ICT-Based Inter-organisational Knowledge Exchange: A Narrative Literature Review Approach

 Yuzhen Zhu , Efpraxia D. Zamani , Jorge Tiago Martins , Ana Cristina Vasconcelos
20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.411-422, ⟨10.1007/978-3-030-85447-8_35⟩
Conference papers hal-03648131v1
Image document

Gender Bias in AI: Implications for Managerial Practices

 Ayesha Nadeem , Olivera Marjanovic , Babak Abedin
20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.259-270, ⟨10.1007/978-3-030-85447-8_23⟩
Conference papers hal-03648154v1
Image document

A Systematic Review of Fairness in Artificial Intelligence Algorithms

 Khensani Xivuri , Hossana Twinomurinzi
20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.271-284, ⟨10.1007/978-3-030-85447-8_24⟩
Conference papers hal-03648158v1
Image document

How EA-Driven Dynamic Capabilities Enable Agility: The Mediating Role of Digital Project Benefits

 Rogier van De Wetering
20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.397-410, ⟨10.1007/978-3-030-85447-8_34⟩
Conference papers hal-03648159v1
Image document

A Systematic Literature Review of Blockchain Consensus Protocols

 Sikho Luzipo , Aurona Gerber
20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.580-595, ⟨10.1007/978-3-030-85447-8_48⟩
Conference papers hal-03648164v1
Image document

A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks

 Mário S. Alvim , Bernardo Amorim , Sophia Knight , Santiago Quintero , Frank Valencia
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.22-41, ⟨10.1007/978-3-030-78089-0_2⟩
Conference papers hal-03740263v1
Image document

On Bidirectional Runtime Enforcement

 Luca Aceto , Ian Cassar , Adrian Francalanza , Anna Ingólfsdóttir
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.3-21, ⟨10.1007/978-3-030-78089-0_1⟩
Conference papers hal-03740261v1
Image document

$$\pi $$π with Leftovers: A Mechanisation in Agda

 Uma Zalakain , Ornela Dardha
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.157-174, ⟨10.1007/978-3-030-78089-0_9⟩
Conference papers hal-03740255v1
Image document

Influencer is the New Recommender: Insights for Enhancing Social Recommender Systems

 Ransome Epie Bawack , Emilie Bonhoure
20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.681-691, ⟨10.1007/978-3-030-85447-8_56⟩
Conference papers hal-03648136v1
Page :