Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

469 results
Deposit type : Fulltext
Image document

Blockchain- and IPFS-Based Data Distribution for the Internet of Things

Simon Krejci , Marten Sigwart , Stefan Schulte
8th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2020, Heraklion, Crete, Greece. pp.177-191, ⟨10.1007/978-3-030-44769-4_14⟩
Conference papers hal-03203293v1
Image document

SFJ: An Implementation of Semantic Featherweight Java

Artem Usov , Ornela Dardha
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.153-168, ⟨10.1007/978-3-030-50029-0_10⟩
Conference papers hal-03274001v1
Image document

A Scrum-Based Development Process to Support Co-creation with Elders in the eHealth Domain

Jose Barambones , Cristian Moral , Xavier Ferre , Elena Villalba-Mora
8th International Conference on Human-Centred Software Engineering (HCSE), Nov 2020, Eindhoven, Netherlands. pp.105-117, ⟨10.1007/978-3-030-64266-2_6⟩
Conference papers hal-03250493v1
Image document

On Implementable Timed Automata

Sergio Feo-Arenis , Milan Vujinović , Bernd Westphal
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.78-95, ⟨10.1007/978-3-030-50086-3_5⟩
Conference papers hal-03283229v1
Image document

Open Government Data Systems: Learning from a Public Utility Perspective

Jonathan Crusoe , Anneke Zuiderwijk , Ulf Melin
19th International Conference on Electronic Government (EGOV), Aug 2020, Linköping, Sweden. pp.275-289, ⟨10.1007/978-3-030-57599-1_21⟩
Conference papers hal-03282790v1
Image document

Automated Transition Coverage in Behavioural Conformance Testing

Lina Marsso , Radu Mateescu , Wendelin Serwe
ICTSS 2020 - 32nd IFIP International Conference on Testing Software and Systems, Dec 2020, Napoli, Italy. pp.219-235, ⟨10.1007/978-3-030-64881-7_14⟩
Conference papers hal-03038050v1
Image document

Exploring the Disruptiveness of Cryptocurrencies: A Causal Layered Analysis-Based Approach

Matti Mäntymäki , Milla Wirén , A. Najmul Islam
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.27-38, ⟨10.1007/978-3-030-44999-5_3⟩
Conference papers hal-03222829v1
Image document

Implementation Considerations for Big Data Analytics (BDA): A Benefit Dependency Network Approach

Juane Maritz , Sunet Eybers , Marié Hattingh
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.481-492, ⟨10.1007/978-3-030-44999-5_40⟩
Conference papers hal-03222853v1
Image document

Kollaps/Thunderstorm: Reproducible Evaluation of Distributed Systems

Miguel Matos
20th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2020, Valletta, Malta. pp.121-128, ⟨10.1007/978-3-030-50323-9_8⟩
Conference papers hal-03223255v1
Image document

How to Measure Digitalization? A Critical Evaluation of Digital Maturity Models

Tristan Thordsen , Matthias Murawski , Markus Bick
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.358-369, ⟨10.1007/978-3-030-44999-5_30⟩
Conference papers hal-03222863v1
Image document

Approximate Coalgebra Homomorphisms and Approximate Solutions

Jiří Adámek
15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.11-31, ⟨10.1007/978-3-030-57201-3_2⟩
Conference papers hal-03232353v1
Image document

Measurement-Based Analysis of a DoS Defense Module for an Open Source Web Server

Marta Catillo , Antonio Pecchia , Umberto Villano
32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.121-134, ⟨10.1007/978-3-030-64881-7_8⟩
Conference papers hal-03239811v1
Image document

Inspecting Code Churns to Prioritize Test Cases

Francesco Altiero , Anna Corazza , Sergio Di Martino , Adriano Peron , Luigi Starace
32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.272-285, ⟨10.1007/978-3-030-64881-7_17⟩
Conference papers hal-03239823v1
Image document

Crowdsourcing Under Data Poisoning Attacks: A Comparative Study

Farnaz Tahmasebian , Li Xiong , Mani Sotoodeh , Vaidy Sunderam
34th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jun 2020, Regensburg, Germany. pp.310-332, ⟨10.1007/978-3-030-49669-2_18⟩
Conference papers hal-03243634v1
Image document

Explainable Artificial Intelligence: Concepts, Applications, Research Challenges and Visions

Luca Longo , Randy Goebel , Freddy Lecue , Peter Kieseberg , Andreas Holzinger
4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.1-16, ⟨10.1007/978-3-030-57321-8_1⟩
Conference papers hal-03414756v1
Image document

Visualization of Tweets and Related Images Posted During Disasters

Sanetoshi Yamada , Keisuke Utsu , Osamu Uchida
5th International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Dec 2020, Sofia, Bulgaria. pp.26-35, ⟨10.1007/978-3-030-81469-4_3⟩
Conference papers hal-03761638v1
Image document

Analysis of Optical Brain Signals Using Connectivity Graph Networks

Marco Antonio Pinto-Orellana , Hugo L. Hammer
4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.485-497, ⟨10.1007/978-3-030-57321-8_27⟩
Conference papers hal-03414723v1
Image document

Complexity of Generic Limit Sets of Cellular Automata

Ilkka Törmä
26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Aug 2020, Stockholm, Sweden. pp.126-138, ⟨10.1007/978-3-030-61588-8_10⟩
Conference papers hal-03659465v1
Image document

Gamification in Healthcare: Motivating South Africans to Exercise

Thaverson Devar , Marié Hattingh
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.108-119, ⟨10.1007/978-3-030-45002-1_10⟩
Conference papers hal-03774172v1
Image document

Exploring Digital Competence Requirements for Junior Financial Analysts in the UK Banking Industry

Matthias Murawski , Mahdieh Darvish , Charlotte Marie Prinz , Markus Bick
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.358-369, ⟨10.1007/978-3-030-45002-1_31⟩
Conference papers hal-03774174v1
Image document

The Use of Critical Thinking to Identify Fake News: A Systematic Literature Review

Paul Machete , Marita Turpin
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.235-246, ⟨10.1007/978-3-030-45002-1_20⟩
Conference papers hal-03774184v1
Image document

Quality of Service Ranking by Quantifying Partial Compliance of Requirements

Agustín Eloy Martinez Suñé , Carlos Gustavo Lopez Pombo
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.181-189, ⟨10.1007/978-3-030-50029-0_12⟩
Conference papers hal-03273990v1
Image document

A Conceptual Model of the Challenges of Social Media Big Data for Citizen e-Participation: A Systematic Review

Khulekani Yakobi , Brenda Scholtz , Benjamin Vom Berg
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.247-259, ⟨10.1007/978-3-030-45002-1_21⟩
Conference papers hal-03774201v1
Image document

Monitoring Memory Behaviors and Mitigating NUMA Drawbacks on Tiered NVM Systems

Shengjie Yang , Xinyu Li , Xinglei Dou , Xiaoli Gong , Hao Liu , et al.
17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.386-391, ⟨10.1007/978-3-030-79478-1_33⟩
Conference papers hal-03768756v1
Image document

Security Situation Prediction of Network Based on Lstm Neural Network

Liqiong Chen , Guoqing Fan , Kun Guo , Junyan Zhao
17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.140-144, ⟨10.1007/978-3-030-79478-1_12⟩
Conference papers hal-03768740v1
Image document

Discussion on the Art of Embryonic Form of Computer Animation—the Peepshow

Cheng Liang Chen , Wen Lan Jiang
19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.459-467, ⟨10.1007/978-3-030-65736-9_41⟩
Conference papers hal-03686029v1
Image document

Preliminary Evaluation of Information Sharing in COACHES

Chihiro Takada , Yurika Takeuchi , Mari Kinoshita , Mikifumi Shikida
5th International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Dec 2020, Sofia, Bulgaria. pp.36-48, ⟨10.1007/978-3-030-81469-4_4⟩
Conference papers hal-03761628v1
Image document

Trace Equivalence and Epistemic Logic to Express Security Properties

Kiraku Minami
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.115-132, ⟨10.1007/978-3-030-50086-3_7⟩
Conference papers hal-03283228v1
Image document

Cybersecurity Readiness of E-tail Organisations: A Technical Perspective

Mahmood Hussain Shah , Raza Muhammad , Nisreen Ameen
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.153-160, ⟨10.1007/978-3-030-44999-5_13⟩
Conference papers hal-03222876v1
Image document

Serious Violence: The Effects of Violent Elements in Serious Games

Nat Sararit , Rainer Malaka
19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.3-17, ⟨10.1007/978-3-030-65736-9_1⟩
Conference papers hal-03686026v1