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

Filter your results

474 results
Deposit type : Annex
Deposit type : Fulltext
Page :
sorted by
Image document

WS-SM: Web Services - Secured Messaging Framework with Pluggable APIs

 Kanchana Rajaram , Chitra Babu
3rd International Conference on Computational Intelligence in Data Science (ICCIDS), Feb 2020, Chennai, India. pp.233-247, ⟨10.1007/978-3-030-63467-4_19⟩
Conference papers hal-03434801v1
Image document

What to Be Disclosed? Attributes of Online Games for the Market Transparency Policy

 Changwoo Suh , Byungtae Lee , Habin Lee , Youngseok Choi , Sunghan Ryu
12th International Conference on Electronic Participation (ePart), Aug 2020, Linköping, Sweden. pp.81-92, ⟨10.1007/978-3-030-58141-1_7⟩
Conference papers hal-03201957v1
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

Weight Analysis of the Factors Affecting eWOM Providing Behavior

 Elvira Ismagilova , Yogesh K. Dwivedi , Nripendra P. Rana , Uthayasankar Sivarajah , Vishanth Weerakkody
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.266-275, ⟨10.1007/978-3-030-44999-5_22⟩
Conference papers hal-03222818v1
Image document

Web Portal to Support Remote Island for Sightseeing and Disaster Management

 Kayoko Yamamoto , Yuko Murayama
5th International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Dec 2020, Sofia, Bulgaria. pp.1-13, ⟨10.1007/978-3-030-81469-4_1⟩
Conference papers hal-03761622v1
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

Walking a Mile in Their Shoes—A Citizen Journey to Explore Public Service Delivery from the Citizen Perspective

 Hendrik Scholta , Sebastian Halsbenning , Bettina Distel , Jörg Becker
19th International Conference on Electronic Government (EGOV), Aug 2020, Linköping, Sweden. pp.164-178, ⟨10.1007/978-3-030-57599-1_13⟩
Conference papers hal-03282786v1
Image document

Vulsploit: A Module for Semi-automatic Exploitation of Vulnerabilities

 Arcangelo Castiglione , Francesco Palmieri , Mariangela Petraglia , Raffaele Pizzolante
32th 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
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

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

Virtual Reality Games for Stroke Rehabilitation: A Feasibility Study

 Supara Grudpan , Sirprapa Wattanakul , Noppon Choosri , Patison Palee , Noppon Wongta , et al.
19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.163-175, ⟨10.1007/978-3-030-65736-9_15⟩
Conference papers hal-03686037v1
Image document

Utilizing an Investment Instrument for Digital Transformation: A Case Study of a Large Swedish Municipality

 Jwan Khisro
19th International Conference on Electronic Government (EGOV), Aug 2020, Linköping, Sweden. pp.71-81, ⟨10.1007/978-3-030-57599-1_6⟩
Conference papers hal-03282765v1
Image document

Using Theories to Design a Value Alignment Model for Smart City Initiatives

 Anthea van Der Hoogen , Brenda Scholtz , Andre P. Calitz
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.55-66, ⟨10.1007/978-3-030-44999-5_5⟩
Conference papers hal-03222844v1
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

Using Government Data and Machine Learning for Predicting Firms’ Vulnerability to Economic Crisis

 Euripidis Loukis , Niki Kyriakou , Manolis Maragoudakis
19th International Conference on Electronic Government (EGOV), Aug 2020, Linköping, Sweden. pp.345-358, ⟨10.1007/978-3-030-57599-1_26⟩
Conference papers hal-03282760v1
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

Unsupervised Anomaly Detection of Healthcare Providers Using Generative Adversarial Networks

 Krishnan Naidoo , Vukosi Marivate
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.419-430, ⟨10.1007/978-3-030-44999-5_35⟩
Conference papers hal-03222815v1
Image document

Understanding Rural Parents’ Behavioral Intention to Allow Their Children to Use Mobile Learning

 David Mutambara , Anass Bayaga
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.520-531, ⟨10.1007/978-3-030-44999-5_43⟩
Conference papers hal-03222864v1
Image document

Typechecking Java Protocols with [St]Mungo

 A. Laura Voinea , Ornela Dardha , Simon J. Gay
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.208-224, ⟨10.1007/978-3-030-50086-3_12⟩
Conference papers hal-03283241v1
Image document

Tutorial: Parameterized Verification with Byzantine Model Checker

 Igor Konnov , Marijana Lazić , Ilina Stoilkovska , Josef Widder
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.189-207, ⟨10.1007/978-3-030-50086-3_11⟩
Conference papers hal-03283235v1
Image document

Trustworthy User Recommendation Using Boosted Vector Similarity Measure

 Dhanalakshmi Teekaraman , Sendhilkumar Selvaraju , Mahalakshmi Guruvayur Suryanarayanan
3rd International Conference on Computational Intelligence in Data Science (ICCIDS), Feb 2020, Chennai, India. pp.43-58, ⟨10.1007/978-3-030-63467-4_4⟩
Conference papers hal-03434778v1
Image document

Trust Is in the Air: A New Adaptive Method to Evaluate Mobile Wireless Networks

 Alexandra-Elena Mocanu (mihaita) , Bogdan-Costel Mocanu , Christian Esposito , Florin Pop
32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.135-149, ⟨10.1007/978-3-030-64881-7_9⟩
Conference papers hal-03239830v1
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

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

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

TPL: A Novel Analysis and Optimization Model for RDMA P2P Communication

 Zhen Du , Zhongqi An , Jing Xing
17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.395-406, ⟨10.1007/978-3-030-79478-1_34⟩
Conference papers hal-03768727v1
Image document

Towards Super User-Centred Continuous Delivery: A Case Study

 Joakim Klemets , Tore Storholmen
8th International Conference on Human-Centred Software Engineering (HCSE), Nov 2020, Eindhoven, Netherlands. pp.152-165, ⟨10.1007/978-3-030-64266-2_9⟩
Conference papers hal-03250489v1
Image document

Towards Single Value Coordinate System (SVCS) for Earthquake Forecasting Using Single Layer Hierarchical Graph Neuron (SLHGN)

 Benny Benyamin Nasution , Rahmat Widia Sembiring , Indra Siregar , Ermyna Seri , Rina Walmiaty Mardi
5th International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Dec 2020, Sofia, Bulgaria. pp.73-89, ⟨10.1007/978-3-030-81469-4_7⟩
Conference papers hal-03761630v1
Image document

Towards Safety and Security-Related Testing of Crisis Management Solutions

 Todor Tagarev , Petya Ivanova , Laurent Dubost , Cyril Dangerville
5th International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Dec 2020, Sofia, Bulgaria. pp.216-234, ⟨10.1007/978-3-030-81469-4_18⟩
Conference papers hal-03761639v1
Image document

Towards Real-Time Monitoring of Data Centers Using Edge Computing

 Brian Setz , Marco Aiello
8th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2020, Heraklion, Crete, Greece. pp.141-148, ⟨10.1007/978-3-030-44769-4_11⟩
Conference papers hal-03203274v1
Page :