Filter your results
- 469
- 4
- 5
- 453
- 17
- 3
- 473
- 72
- 1
- 1
- 27
- 63
- 410
- 473
- 11
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
|
A Hierarchical Model of Control Logic for Simplifying Complex Networks Protocol Design17th 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
|
||
|
Wearable Touchscreens to Integrate Augmented Reality and Tablets for Work Instructions?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
|
||
|
Property-Based Testing for Parameter Learning of Probabilistic Graphical Models4th 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
|
||
|
Applying and Facilitating Serious Location-Based Games19th 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
|
||
|
A Methodology for Retrieving Datasets from Open Government Data Portals Using Information Retrieval and Question and Answering Techniques19th 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
|
||
|
VR-DLR: A Serious Game of Somatosensory Driving Applied to Limb Rehabilitation Training19th 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
|
||
|
Digital Transformation in the Context of the Open Government Partnership12th 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
|
||
|
A Formal Framework for Consent Management40th 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
|
||
|
Trust in Citizens and Forms of Political Participation: The View of Public Managers12th 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
|
||
|
Cycle Based Clustering Using Reversible Cellular Automata26th 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
|
||
|
Using an SMT Solver for Checking the Completeness of FSM-Based Tests32th 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
|
||
|
Weighted PCL over Product Valuation Monoids22th 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
|
||
|
Exploring the Determinants of Internet Usage in Nigeria: A Micro-spatial Approach19th 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
|
||
|
Online Identity Theft on Consumer Purchase Intention: A Mediating Role of Online Security and Privacy Concern19th 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
|
||
|
Sentiment Analysis of Bengali Tweets Using Deep Learning3rd 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
|
||
|
Information Technology Based on Qualitative Methods in Cyber-Physical Systems of Situational Disaster Risk Management5th 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
|
||
|
Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego40th 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
|
||
|
Using Model Learning for the Generation of Mock ComponentsTesting 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
|
||
|
Applying AI in Practice: Key Challenges and Lessons Learned4th 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
|
||
|
A Study on the Fusion of Pixels and Patient Metadata in CNN-Based Classification of Skin Lesion Images4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.191-208, ⟨10.1007/978-3-030-57321-8_11⟩
Conference papers
hal-03414735v1
|
||
|
The Ianos Cyclone (September 2020, Greece) from Perspective of Utilizing Social Networks for DM5th International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Dec 2020, Sofia, Bulgaria. pp.160-169, ⟨10.1007/978-3-030-81469-4_13⟩
Conference papers
hal-03761642v1
|
||
|
A Knowledge Asset Management Implementation Framework for Information Systems Outsourcing Projects19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.274-286, ⟨10.1007/978-3-030-45002-1_23⟩
Conference papers
hal-03774181v1
|
||
|
A Methodology to Compare the Usability of Information Systems19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.452-463, ⟨10.1007/978-3-030-45002-1_39⟩
Conference papers
hal-03774188v1
|
||
|
ML-Supported Identification and Prioritization of Threats in the OVVL Threat Modelling Tool34th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jun 2020, Regensburg, Germany. pp.274-285, ⟨10.1007/978-3-030-49669-2_16⟩
Conference papers
hal-03243644v1
|
||
|
A Technique for Parallel GUI Testing of Android Applications32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.169-185, ⟨10.1007/978-3-030-64881-7_11⟩
Conference papers
hal-03239817v1
|
||
|
Vulsploit: A Module for Semi-automatic Exploitation of Vulnerabilities32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.89-103, ⟨10.1007/978-3-030-64881-7_6⟩
Conference papers
hal-03239821v1
|
||
|
About the Robustness and Looseness of Yara Rules32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.104-120, ⟨10.1007/978-3-030-64881-7_7⟩
Conference papers
hal-03239822v1
|
||
|
An Intelligent Marketspace Mobile Application for Marketing Organic Products19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.276-287, ⟨10.1007/978-3-030-44999-5_23⟩
Conference papers
hal-03222827v1
|
||
|
Clas-Maze: An Edutainment Tool Combining Tangible Programming and Living Knowledge19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.353-368, ⟨10.1007/978-3-030-65736-9_32⟩
Conference papers
hal-03686018v1
|
||
|
Application of Disaster Management Information for the COVID-19 Pandemic5th International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Dec 2020, Sofia, Bulgaria. pp.49-56, ⟨10.1007/978-3-030-81469-4_5⟩
Conference papers
hal-03761634v1
|