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

Filter your results

530 results
Deposit type : Fulltext
Page :
sorted by
Image document

Promise Plus: Flexible Synchronization for Parallel Computations on Arrays

 Amaury Maillé , Ludovic Henrio , Matthieu Moy
FSEN 2021 - 9th IPM International Conference on Fundamentals of Software Engineering, May 2021, Tehran, Iran. pp.1-7, ⟨10.1007/978-3-030-89247-0_13⟩
Conference papers hal-03143269v1
Image document

SpecK: Composition of Stream Processing Applications over Fog Environments

 Davaadorj Battulga , Daniele Miorandi , Cédric Tedeschi
DAIS 2021 - 21st International Conference on Distributed Applications and Interoperable Systems, Jun 2021, Valetta, Malta. pp.38-54, ⟨10.1007/978-3-030-78198-9_3⟩
Conference papers hal-03259975v1
Image document

HyperBrush: Exploring the Influence of Flexural Stiffness on the Performance and Preference for Bendable Stylus Interfaces

 Alfrancis Guerrero , Thomas Pietrzak , Audrey Girouard
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.51-71, ⟨10.1007/978-3-030-85610-6_4⟩
Conference papers hal-03272580v1
Image document

A Trajectory Model for Desktop-Scale Hand Redirection in Virtual Reality

 Flavien Lebrun , Sinan Haliyo , Gilles Bailly
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.105-124, ⟨10.1007/978-3-030-85607-6_8⟩
Conference papers hal-03330566v1
Image document

The Effect of Rhythm in Mid-air Gestures on the User Experience in Virtual Reality

 Vincent Reynaert , Florent Berthaut , Yosra Rekik , Laurent Grisoni
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.182-191, ⟨10.1007/978-3-030-85613-7_13⟩
Conference papers hal-03338088v1
Image document

Microservice Dynamic Architecture-Level Deployment Orchestration

 Lorenzo Bacchiani , Mario Bravetti , Saverio Giallorenzo , Jacopo Mauro , Iacopo Talevi , et al.
COORDINATION 2021 - 23rd IFIP WG 6.1 International Conference Coordination Models and Languages, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, Jun 2021, Valletta / Virtual, Malta. pp.257-275, ⟨10.1007/978-3-030-78142-2_16⟩
Conference papers hal-03338602v1
Image document

A Session Subtyping Tool

 Lorenzo Bacchiani , Mario Bravetti , Julien Lange , Gianluigi Zavattaro
COORDINATION 2021 - 23rd IFIP WG 6.1 International Conference Coordination Models and Languages, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, Jun 2021, Valletta / Virtual, Malta. pp.90-105, ⟨10.1007/978-3-030-78142-2_6⟩
Conference papers hal-03340750v1
Image document

Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices

 Saverio Giallorenzo , Fabrizio Montesi , Marco Peressotti , Florian Rademacher , Sabine Sachweh
OORDINATION 2021 - 23th International Conference on Coordination Languages and Models, Jun 2021, Valletta, Malta. pp.276 - 284, ⟨10.1007/978-3-030-78142-2_17⟩
Conference papers hal-03347326v1
Image document

A methodology for tenant migration in legacy shared-table multi-tenant applications

 Guillaume Rosinosky , Samir Youcef , François Charoy , Etienne Rivière
DAIS 2021 - 21th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2021, Valetta, Malta. pp.3-20
Conference papers hal-03381116v1
Image document

Simulation of Large Scale Computational Ecosystems with Alchemist: A Tutorial

 Danilo Pianini
21th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2021, Valletta, Malta. pp.145-161, ⟨10.1007/978-3-030-78198-9_10⟩
Conference papers hal-03384853v1
Image document

KeVlar-Tz: A Secure Cache for Arm TrustZone

 Oscar Benedito , Ricard Delgado-Gonzalo , Valerio Schiavoni
21th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2021, Valletta, Malta. pp.109-124, ⟨10.1007/978-3-030-78198-9_8⟩
Conference papers hal-03384854v1
Image document

Analysis and Improvement of Heterogeneous Hardware Support in Docker Images

 Panagiotis Gkikopoulos , Valerio Schiavoni , Josef Spillner
21th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2021, Valletta, Malta. pp.125-142, ⟨10.1007/978-3-030-78198-9_9⟩
Conference papers hal-03384856v1
Image document

UCBFed: Using Reinforcement Learning Method to Tackle the Federated Optimization Problem

 Wanqi Chen , Xin Zhou
21th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2021, Valletta, Malta. pp.99-105, ⟨10.1007/978-3-030-78198-9_7⟩
Conference papers hal-03384857v1
Image document

Portable Intermediate Representation for Efficient Big Data Analytics

 Giannis Tzouros , Michail Tsenos , Vana Kalogeraki
21th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2021, Valletta, Malta. pp.74-80, ⟨10.1007/978-3-030-78198-9_5⟩
Conference papers hal-03384860v1
Image document

Shared-Dining: Broadcasting Secret Shares Using Dining-Cryptographers Groups

 David Mödinger , Juri Dispan , Franz J. Hauck
21th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2021, Valletta, Malta. pp.83-98, ⟨10.1007/978-3-030-78198-9_6⟩
Conference papers hal-03384862v1
Image document

ASPAS: As Secure as Possible Available Systems

 Houssam Yactine , Ali Shoker , Georges Younes
21th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2021, Valletta, Malta. pp.57-73, ⟨10.1007/978-3-030-78198-9_4⟩
Conference papers hal-03384864v1
Image document

Network Federation for Inter-cloud Operations

 Johannes Köstler , Sven Gebauer , Hans P. Reiser
21th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2021, Valletta, Malta. pp.21-37, ⟨10.1007/978-3-030-78198-9_2⟩
Conference papers hal-03384865v1
Image document

Distributed Applications and Interoperable Systems

 Miguel Matos , Fabíola Greve
Springer International Publishing, LNCS-12718, 2021, Lecture Notes in Computer Science, 978-3-030-78197-2. ⟨10.1007/978-3-030-78198-9⟩
Books hal-03384850v1
Image document

Manifestly Phased Communication via Shared Session Types

 Chuta Sano , Stephanie Balzer , Frank Pfenning
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.23-40, ⟨10.1007/978-3-030-78142-2_2⟩
Conference papers hal-03387824v1
Image document

Asynchronous Global Types in Co-logic Programming

 Riccardo Bianchini , Francesco Dagnino
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.134-146, ⟨10.1007/978-3-030-78142-2_9⟩
Conference papers hal-03387826v1
Image document

A Theory of Automated Market Makers in DeFi

 Massimo Bartoletti , James Hsin-Yu Chiang , Alberto Lluch-Lafuente
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.168-187, ⟨10.1007/978-3-030-78142-2_11⟩
Conference papers hal-03387829v1
Image document

ReGraDa: Reactive Graph Data

 Leandro Galrinho , João Costa Seco , Søren Debois , Thomas Hildebrandt , Håkon Norman , et al.
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.188-205, ⟨10.1007/978-3-030-78142-2_12⟩
Conference papers hal-03387831v1
Image document

Java Typestate Checker

 João Mota , Marco Giunti , António Ravara
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.121-133, ⟨10.1007/978-3-030-78142-2_8⟩
Conference papers hal-03387832v1
Image document

ScaFi-Web: A Web-Based Application for Field-Based Coordination Programming

 Gianluca Aguzzi , Roberto Casadei , Niccolò Maltoni , Danilo Pianini , Mirko Viroli
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.285-299, ⟨10.1007/978-3-030-78142-2_18⟩
Conference papers hal-03387835v1
Image document

Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction

 Rudolf Schlatte , Einar Broch Johnsen , Eduard Kamburjan , Silvia Lizeth Tapia Tarifa
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.3-19, ⟨10.1007/978-3-030-78142-2_1⟩
Conference papers hal-03387836v1
Image document

Tuple-Based Coordination in Large-Scale Situated Systems

 Roberto Casadei , Mirko Viroli , Alessandro Ricci , Giorgio Audrito
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.149-167, ⟨10.1007/978-3-030-78142-2_10⟩
Conference papers hal-03387837v1
Image document

Deconfined Global Types for Asynchronous Sessions

 Francesco Dagnino , Paola Giannini , Mariangiola Dezani-Ciancaglini
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.41-60, ⟨10.1007/978-3-030-78142-2_3⟩
Conference papers hal-03387838v1
Image document

Relating Functional and Imperative Session Types

 Hannes Saffrich , Peter Thiemann
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.61-79, ⟨10.1007/978-3-030-78142-2_4⟩
Conference papers hal-03387840v1
Image document

Safe Session-Based Asynchronous Coordination in Rust

 Zak Cutner , Nobuko Yoshida
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.80-89, ⟨10.1007/978-3-030-78142-2_5⟩
Conference papers hal-03387841v1
Image document

The Structure of Concurrent Process Histories

 Chad Nester
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.209-224, ⟨10.1007/978-3-030-78142-2_13⟩
Conference papers hal-03387843v1
Page :