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

Filter your results

478 results
Page :
sorted by

Semantics for First-Order Affine Inductive Data Types via Slice Categories

 Vladimir Zamdzhiev
International Workshop on Coalgebraic Methods in Computer Science, Sep 2020, Virtual, France. ⟨10.1007/978-3-030-57201-3_10⟩
Conference papers hal-03018418v1
Image document

Tell a Tail: Leveraging XR for a Transmedia on Animal Welfare

 Paulo Bala , Mara Dionisio , Sarah Oliveira , Tânia Andrade , Valentina Nisi
19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.223-239, ⟨10.1007/978-3-030-65736-9_19⟩
Conference papers hal-03686035v1
Image document

Provchastic: Understanding and Predicting Game Events Using Provenance

 Troy C. Kohwalter , Leonardo Murta , Esteban Clua
19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.90-103, ⟨10.1007/978-3-030-65736-9_7⟩
Conference papers hal-03686028v1
Image document

Towards a Formally Verified EVM in Production Environment

 Xiyue Zhang , Yi Li , Meng Sun
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.341-349, ⟨10.1007/978-3-030-50029-0_21⟩
Conference papers hal-03273991v1
Image document

Automatization of Cross-Border Customs Declaration: Potential and Challenges

 Markko Liutkevičius , Karl Ivory Pappel , Sidra Azmat Butt , Ingrid Pappel
19th International Conference on Electronic Government (EGOV), Aug 2020, Linköping, Sweden. pp.96-109, ⟨10.1007/978-3-030-57599-1_8⟩
Conference papers hal-03282785v1
Image document

A Configurable Hardware Architecture for Runtime Application of Network Calculus

 Xiao Hu , Zhonghai Lu
17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.203-216, ⟨10.1007/978-3-030-79478-1_18⟩
Conference papers hal-03768725v1
Image document

An Ordinance-Tweet Mining App to Disseminate Urban Policy Knowledge for Smart Governance

 Christina Varghese , Aparna S. Varde , Xu Du
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.389-401, ⟨10.1007/978-3-030-45002-1_34⟩
Conference papers hal-03774182v1
Image document

Assessing the Role of Trust in Merchant Adoption of Mobile Payments in Ghana

 Eunice Yeboah , Richard Boateng , Acheampong Owusu , Eric Afful-Dadzie , Joshua Ofori-Amanfo
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.204-215, ⟨10.1007/978-3-030-44999-5_17⟩
Conference papers hal-03222820v1
Image document

Developing Japanese Ikebana as a Digital Painting Tool via AI

 Cong Hung Mai , Ryohei Nakatsu , Naoko Tosa
19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.297-307, ⟨10.1007/978-3-030-65736-9_27⟩
Conference papers hal-03686042v1
Image document

NUMA-Aware Optimization of Sparse Matrix-Vector Multiplication on ARMv8-Based Many-Core Architectures

 Xiaosong Yu , Huihui Ma , Zhengyu Qu , Jianbin Fang , Weifeng Liu
17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.231-242, ⟨10.1007/978-3-030-79478-1_20⟩
Conference papers hal-03768726v1
Image document

CompressedCache: Enabling Storage Compression on Neuromorphic Processor for Liquid State Machine

 Zhijie Yang , Rui Gong , Lianhua Qu , Ziyang Kang , Li Luo , et al.
17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.437-451, ⟨10.1007/978-3-030-79478-1_37⟩
Conference papers hal-03768733v1
Image document

A Dynamic Mapping Model for General CNN Accelerator Based on FPGA

 Xiaoqiang Zhao , Jingfei Jiang , Zhe Han , Jinwei Xu , Zhiqiang Liu
17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.17-29, ⟨10.1007/978-3-030-79478-1_2⟩
Conference papers hal-03768741v1
Image document

Optimization of RDMA-Based HDFS Data Distribution Mechanism

 Xiao Zhang , Binbin Liu , Junhao Zhao , Cong Dong
17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.251-262, ⟨10.1007/978-3-030-79478-1_22⟩
Conference papers hal-03768747v1
Image document

A Novel Approach for Generating Synthetic Datasets for Digital Forensics

 Thomas Göbel , Thomas Schäfer , Julien Hachenberger , Jan Türr , Harald Baier
16th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2020, New Delhi, India. pp.73-93, ⟨10.1007/978-3-030-56223-6_5⟩
Conference papers hal-03657236v1
Image document

A Multistakeholder-Centric Data Analytics Governance Framework for Medication Adherence and Improvement in Rural Settings

 Olawande Daramola , Peter Nyasulu
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.402-413, ⟨10.1007/978-3-030-45002-1_35⟩
Conference papers hal-03774192v1
Image document

Towards Optimizing Deduplication on Persistent Memory

 Yichen Li , Kewen He , Gang Wang , Xiaoguang Liu
17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.465-477, ⟨10.1007/978-3-030-79478-1_39⟩
Conference papers hal-03768757v1
Image document

Cooperation Between Data Analysts and Medical Experts: A Case Study

 Judita Rokošná , František Babič , Ljiljana Trtica Majnarić , Ľudmila Pusztová
4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.173-190, ⟨10.1007/978-3-030-57321-8_10⟩
Conference papers hal-03414736v1

Responsible Design, Implementation and Use of Information and Communication Technology

 Marié Hattingh , Machdel Matthee , Hanlie Smuts , Ilias Pappas , Yogesh K. Dwivedi , et al.
Springer International Publishing, LNCS-12067, 2020, Lecture Notes in Computer Science, 978-3-030-45001-4. ⟨10.1007/978-3-030-45002-1⟩
Books hal-03774173v1
Image document

A resource usage efficient distributed allocation algorithm for 5G Service Function Chains

 Guillaume Fraysse , Jonathan Lejeune , Julien Sopena , Pierre Sens
DAIS 2020 - 20th IFIP WG 6.1 International Conference Distributed Applications and Interoperable Systems, Jun 2020, Valetta, Malta. pp.169-185, ⟨10.1007/978-3-030-50323-9_11⟩
Conference papers hal-02975998v1
Image document

Multi-source Distributed System Data for AI-Powered Analytics

 Sasho Nedelkoski , Jasmin Bogatinovski , Ajay Kumar Mandapati , Soeren Becker , Jorge Cardoso , et al.
8th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2020, Heraklion, Crete, Greece. pp.161-176, ⟨10.1007/978-3-030-44769-4_13⟩
Conference papers hal-03203288v1
Image document

How Corporates in South Africa Are Using Serious Games in Business

 Shiraz Amod , Sumarie Roodt
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.288-298, ⟨10.1007/978-3-030-44999-5_24⟩
Conference papers hal-03222836v1

Entertainment Computing – ICEC 2020

 Nuno Jardim Nunes , Lizhuang Ma , Meili Wang , Nuno Correia , Zhigeng Pan
Springer International Publishing, LNCS-12523, 2020, Lecture Notes in Computer Science, 978-3-030-65735-2. ⟨10.1007/978-3-030-65736-9⟩
Books hal-03686002v1
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
Page :