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

Filter your results

473 results
Deposit type : Notice
Deposit type : Fulltext
Page :
sorted by
Image document

Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas

 Barbara König , Christina Mika-Michalski , Lutz Schröder
15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.133-154, ⟨10.1007/978-3-030-57201-3_8⟩
Conference papers hal-03232346v1
Image document

Effective Access Control in Shared-Operator Multi-tenant Data Stream Management Systems

 Marian Zaki , Adam J. Lee , Panos K. Chrysanthis
34th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jun 2020, Regensburg, Germany. pp.118-136, ⟨10.1007/978-3-030-49669-2_7⟩
Conference papers hal-03243646v1
Image document

Augmented and Virtual Reality Object Repository for Rapid Prototyping

 Ivan Jovanovikj , Enes Yigitbas , Stefan Sauer , Gregor Engels
8th International Conference on Human-Centred Software Engineering (HCSE), Nov 2020, Eindhoven, Netherlands. pp.216-224, ⟨10.1007/978-3-030-64266-2_15⟩
Conference papers hal-03250500v1
Image document

Provably Privacy-Preserving Distributed Data Aggregation in Smart Grids

 Marius Stübs , Tobias Mueller , Kai Bavendiek , Manuel Loesch , Sibylle Schupp , et al.
34th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jun 2020, Regensburg, Germany. pp.153-173, ⟨10.1007/978-3-030-49669-2_9⟩
Conference papers hal-03243622v1
Image document

A Systematic Review of Implementation Challenges in Public E-Procurement

 Idah Mohungoo , Irwin Brown , Salah Kabanda
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.46-58, ⟨10.1007/978-3-030-45002-1_5⟩
Conference papers hal-03774187v1
Image document

De Finetti’s Construction as a Categorical Limit

 Bart Jacobs , Sam Staton
15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.90-111, ⟨10.1007/978-3-030-57201-3_6⟩
Conference papers hal-03232351v1
Image document

Probabilistic Verification of Outsourced Computation Based on Novel Reversible PUFs

 Hala Hamadeh , Abdallah Almomani , Akhilesh Tyagi
8th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2020, Heraklion, Crete, Greece. pp.30-37, ⟨10.1007/978-3-030-44769-4_3⟩
Conference papers hal-03203227v1
Image document

Conceptualizations of E-recruitment: A Literature Review and Analysis

 Mike Abia , Irwin Brown
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.370-379, ⟨10.1007/978-3-030-45002-1_32⟩
Conference papers hal-03774197v1
Image document

Cyber-Harassment Victimization Among South African LGBTQIA+ Youth

 Kayla Hendricks , Pitso Tsibolane , Jean-Paul Van Belle
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.135-146, ⟨10.1007/978-3-030-45002-1_12⟩
Conference papers hal-03774210v1
Image document

Fed-DIC: Diagonally Interleaved Coding in a Federated Cloud Environment

 Giannis Tzouros , Vana Kalogeraki
20th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2020, Valletta, Malta. pp.55-72, ⟨10.1007/978-3-030-50323-9_4⟩
Conference papers hal-03223256v1
Image document

Electronic Government

 Gabriela Viale Pereira , Marijn Janssen , Habin Lee , Ida Lindgren , Manuel Pedro Rodríguez Bolívar , et al.
Springer International Publishing, LNCS-12219, 2020, Lecture Notes in Computer Science, 978-3-030-57598-4. ⟨10.1007/978-3-030-57599-1⟩
Books hal-03282761v1
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

Everywhere Zero Pointwise Lyapunov Exponents for Sensitive Cellular Automata

 Toni Hotanen
26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Aug 2020, Stockholm, Sweden. pp.71-85, ⟨10.1007/978-3-030-61588-8_6⟩
Conference papers hal-03659469v1
Image document

Building a Polyglot Data Access Layer for a Low-Code Application Development Platform

 Ana Nunes Alonso , João Abreu , David Nunes , André Vieira , Luiz Santos , et al.
20th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2020, Valletta, Malta. pp.95-103, ⟨10.1007/978-3-030-50323-9_6⟩
Conference papers hal-03223257v1
Image document

Agile Development of a Flipped Classroom Course

 Linda Blömer , Christin Voigt , Alena Droit , Uwe Hoppe
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.581-592, ⟨10.1007/978-3-030-44999-5_48⟩
Conference papers hal-03222823v1
Image document

SMME Readiness for Smart Manufacturing (4IR) Adoption: A Systematic Review

 Lucas Gumbi , Hossana Twinomurinzi
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.41-54, ⟨10.1007/978-3-030-44999-5_4⟩
Conference papers hal-03222825v1
Image document

Measure What Matters: A Dual Outcome Service Quality Model for Government Service Delivery

 Willem Pieterson , Cindy Weng
19th International Conference on Electronic Government (EGOV), Aug 2020, Linköping, Sweden. pp.138-150, ⟨10.1007/978-3-030-57599-1_11⟩
Conference papers hal-03282778v1
Image document

Towards Bridging Time and Causal Reversibility

 Marco Bernardo , Claudio Antares Mezzina
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.22-38, ⟨10.1007/978-3-030-50086-3_2⟩
Conference papers hal-03283233v1
Image document

Choreographic Development of Message-Passing Applications

 Alex Coto , Roberto Guanciale , Emilio Tuosto
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.20-36, ⟨10.1007/978-3-030-50029-0_2⟩
Conference papers hal-03273982v1
Image document

A True Concurrent Model of Smart Contracts Executions

 Massimo Bartoletti , Letterio Galletta , Maurizio Murgia
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.243-260, ⟨10.1007/978-3-030-50029-0_16⟩
Conference papers hal-03273986v1
Image document

Reducing the Time of Live Container Migration in a Workflow

 Zhanyuan Di , En Shao , Mujun He
17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.263-275, ⟨10.1007/978-3-030-79478-1_23⟩
Conference papers hal-03768738v1
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
Page :