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

Filter your results

478 results
Page :
sorted by
Image document

Business Process Re-engineering and Agile Software Development: Applying the Story-Card Method

 Elijah Djan , Marné De Vries
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.370-382, ⟨10.1007/978-3-030-44999-5_31⟩
Conference papers hal-03222838v1
Image document

GoPi: Compiling Linear and Static Channels in Go

 Marco Giunti
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.137-152, ⟨10.1007/978-3-030-50029-0_9⟩
Conference papers hal-03273983v1
Image document

CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems

 Marco Autili , Amleto Di Salle , Claudio Pompilio , Massimo Tivoli
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.3-19, ⟨10.1007/978-3-030-50029-0_1⟩
Conference papers hal-03273994v1
Image document

Exploring Millions of 6-State FSSP Solutions: the Formal Notion of Local CA Simulation

 Tien Thao Nguyen , Luidnel Maignan
26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Aug 2020, Stockholm, Sweden. pp.1-13, ⟨10.1007/978-3-030-61588-8_1⟩
Conference papers hal-02605712v1
Image document

Complementary Partnerships for SMEs: A Relational Capability Maturity Model from an Ecosystem Perspective

 Caro Els , Sara Grobbelaar , Denzil Kennon
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.67-78, ⟨10.1007/978-3-030-44999-5_6⟩
Conference papers hal-03222839v1
Image document

Preliminary Insights into the Nature of Graduate IS Programmes in Sub-Saharan Africa

 Mark-Oliver Kevor , Richard Boateng , Emmanuel Awuni Kolog , Acheampong Owusu , Anthony Afful-Dadzie
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.545-556, ⟨10.1007/978-3-030-44999-5_45⟩
Conference papers hal-03222840v1
Image document

3D Modeling and 3D Materialization of Fluid Art that Occurs in Very Short Time

 Naoko Tosa , Pan Yunian , Ryohei Nakatsu , Akihiro Yamada , Takashi Suzuki , et al.
19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.409-421, ⟨10.1007/978-3-030-65736-9_37⟩
Conference papers hal-03686045v1
Image document

Learning of Art Style Using AI and Its Evaluation Based on Psychological Experiments

 Cong Hung Mai , Ryohei Nakatsu , Naoko Tosa , Takashi Kusumi , Koji Koyamada
19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.308-316, ⟨10.1007/978-3-030-65736-9_28⟩
Conference papers hal-03686030v1
Image document

Trigger Alarm: A Smart NFC Sniffer for High-Precision Measurements

 Martin Erb , Christian Steger , Martin Troyer , Josef Preishuber-Pflügl
32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.186-200, ⟨10.1007/978-3-030-64881-7_12⟩
Conference papers hal-03239810v1
Image document

Subverting Network Intrusion Detection: Crafting Adversarial Examples Accounting for Domain-Specific Constraints

 Martin Teuffenbach , Ewa Piatkowska , Paul Smith
4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.301-320, ⟨10.1007/978-3-030-57321-8_17⟩
Conference papers hal-03414751v1
Image document

A Medical Support System for Prostate Cancer Based on Ensemble Method in Developing Countries

 Qinghe Zhuang , Jia Wu , Genghua Yu
17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.361-372, ⟨10.1007/978-3-030-79478-1_31⟩
Conference papers hal-03768755v1
Image document

A Hierarchical Model of Control Logic for Simplifying Complex Networks Protocol Design

 Yi Yang , Wei Quan , Jinli Yan , Lu Tang , Zhigang Sun
17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.182-187, ⟨10.1007/978-3-030-79478-1_16⟩
Conference papers hal-03768758v1
Image document

Wearable Touchscreens to Integrate Augmented Reality and Tablets for Work Instructions?

 Jan Van den Bergh , Florian Heller
8th International Conference on Human-Centred Software Engineering (HCSE), Nov 2020, Eindhoven, Netherlands. pp.199-206, ⟨10.1007/978-3-030-64266-2_13⟩
Conference papers hal-03250499v1
Image document

Property-Based Testing for Parameter Learning of Probabilistic Graphical Models

 Anna Saranti , Behnam Taraghi , Martin Ebner , Andreas Holzinger
4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.499-515, ⟨10.1007/978-3-030-57321-8_28⟩
Conference papers hal-03414744v1
Image document

Applying and Facilitating Serious Location-Based Games

 Jannicke Baalsrud Hauge , Heinrich Söbke , Ioana A. Stefan , Antoniu Stefan
19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.104-109, ⟨10.1007/978-3-030-65736-9_8⟩
Conference papers hal-03686001v1
Image document

A Methodology for Retrieving Datasets from Open Government Data Portals Using Information Retrieval and Question and Answering Techniques

 Raissa Barcellos , Flavia Bernardini , Jose Viterbo
19th International Conference on Electronic Government (EGOV), Aug 2020, Linköping, Sweden. pp.239-249, ⟨10.1007/978-3-030-57599-1_18⟩
Conference papers hal-03282773v1
Image document

VR-DLR: A Serious Game of Somatosensory Driving Applied to Limb Rehabilitation Training

 Tianren Luo , Ning Cai , Zheng Li , Zhigeng Pan , Qingshu Yuan
19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.51-64, ⟨10.1007/978-3-030-65736-9_4⟩
Conference papers hal-03686027v1
Image document

Digital Transformation in the Context of the Open Government Partnership

 Noella Edelmann , Mary Francoli
12th International Conference on Electronic Participation (ePart), Aug 2020, Linköping, Sweden. pp.69-80, ⟨10.1007/978-3-030-58141-1_6⟩
Conference papers hal-03201955v1
Image document

A Formal Framework for Consent Management

 Shukun Tokas , Olaf Owe
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.169-186, ⟨10.1007/978-3-030-50086-3_10⟩
Conference papers hal-03283231v1
Image document

Trust in Citizens and Forms of Political Participation: The View of Public Managers

 Joachim Åström , Martin Karlsson
12th International Conference on Electronic Participation (ePart), Aug 2020, Linköping, Sweden. pp.15-25, ⟨10.1007/978-3-030-58141-1_2⟩
Conference papers hal-03201960v1
Image document

Cycle Based Clustering Using Reversible Cellular Automata

 Sukanya Mukherjee , Kamalika Bhattacharjee , Sukanta Das
26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Aug 2020, Stockholm, Sweden. pp.29-42, ⟨10.1007/978-3-030-61588-8_3⟩
Conference papers hal-03659463v1
Image document

Using an SMT Solver for Checking the Completeness of FSM-Based Tests

 Evgenii Vinarskii , Andrey Laputenko , Nina Yevtushenko
32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.289-295, ⟨10.1007/978-3-030-64881-7_18⟩
Conference papers hal-03239812v1
Image document

Weighted PCL over Product Valuation Monoids

 Vagia Karyoti , Paulina Paraponiari
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.301-319, ⟨10.1007/978-3-030-50029-0_19⟩
Conference papers hal-03273981v1
Image document

Exploring the Determinants of Internet Usage in Nigeria: A Micro-spatial Approach

 Kayode Odusanya , Morakinyo Adetutu
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.307-318, ⟨10.1007/978-3-030-45002-1_26⟩
Conference papers hal-03774175v1
Image document

Online Identity Theft on Consumer Purchase Intention: A Mediating Role of Online Security and Privacy Concern

 Abdul Bashiru Jibril , Michael Adu Kwarteng , Fortune Nwaiwu , Christina Appiah-Nimo , Michal Pilik , et al.
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.147-158, ⟨10.1007/978-3-030-45002-1_13⟩
Conference papers hal-03774189v1
Image document

Sentiment Analysis of Bengali Tweets Using Deep Learning

 Kamal Sarkar
3rd International Conference on Computational Intelligence in Data Science (ICCIDS), Feb 2020, Chennai, India. pp.71-84, ⟨10.1007/978-3-030-63467-4_6⟩
Conference papers hal-03434785v1
Image document

Information Technology Based on Qualitative Methods in Cyber-Physical Systems of Situational Disaster Risk Management

 Igor Grebennik , Oleh Hutsa , Roksana Petrova , Dmytro Yelchaninov , Anna Morozova
5th International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Dec 2020, Sofia, Bulgaria. pp.132-143, ⟨10.1007/978-3-030-81469-4_11⟩
Conference papers hal-03761618v1
Image document

Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego

 Davide Basile , Maurice Beek , Axel Legay
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.3-21, ⟨10.1007/978-3-030-50086-3_1⟩
Conference papers hal-03283240v1
Image document

Using Model Learning for the Generation of Mock Components

 Sébastien Salva , Elliott Blot
Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp.3-19, 2020, ⟨10.1007/978-3-030-64881-7_1⟩
Book sections hal-03048336v1
Image document

Applying AI in Practice: Key Challenges and Lessons Learned

 Lukas Fischer , Lisa Ehrlinger , Verena Geist , Rudolf Ramler , Florian Sobieczky , et al.
4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.451-471, ⟨10.1007/978-3-030-57321-8_25⟩
Conference papers hal-03414730v1
Page :