Search - IFIP Open Digital Library Access content directly

Filter your results

75 results
Structure: Internal structure identifier : 30978
Page :
sorted by
Image document

Low-Overhead Early-Stopping Policies for Efficient Random Forests Inference on Microcontrollers

 Francesco Daghero , Alessio Burrello , Chen Xie , Luca Benini , Andrea Calimera , et al.
29th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2021, Singapore, Singapore. pp.25-47, ⟨10.1007/978-3-031-16818-5_2⟩
Conference papers hal-04419563v1
Image document

Towards a Right not to Be Deceived? An Interdisciplinary Analysis of Media Personalization in the Light of the GDPR

 Urbano Reviglio
18th Conference on e-Business, e-Services and e-Society (I3E), Sep 2019, Trondheim, Norway. pp.47-59, ⟨10.1007/978-3-030-39634-3_5⟩
Conference papers hal-03759113v1
Image document

Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves

 Roberto Gorrieri
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.80-99, ⟨10.1007/978-3-030-78089-0_5⟩
Conference papers hal-03740270v1
Image document

An Open Source Environment for an Agile Development Model

 Paolo Ciancarini , Marcello Missiroli , Francesco Poggi , Daniel Russo
16th IFIP International Conference on Open Source Systems (OSS), May 2020, Innopolis, Russia. pp.148-162, ⟨10.1007/978-3-030-47240-5_15⟩
Conference papers hal-03647279v1
Image document

The Strategic Technical Debt Management Model: An Empirical Proposal

 Paolo Ciancarini , Daniel Russo
16th IFIP International Conference on Open Source Systems (OSS), May 2020, Innopolis, Russia. pp.131-140, ⟨10.1007/978-3-030-47240-5_13⟩
Conference papers hal-03647271v1
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

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

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

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 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

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

Time-Fluid Field-Based Coordination

 Danilo Pianini , Stefano Mariani , Mirko Viroli , Franco Zambonelli
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.193-210, ⟨10.1007/978-3-030-50029-0_13⟩
Conference papers hal-03273993v1
Image document

Resilient Distributed Collection Through Information Speed Thresholds

 Giorgio Audrito , Sergio Bergamini , Ferruccio Damiani , Mirko Viroli
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.211-229, ⟨10.1007/978-3-030-50029-0_14⟩
Conference papers hal-03273987v1
Image document

Bayesian Classifiers in Intrusion Detection Systems

 Mardini-Bovea Johan , De-La-Hoz-Franco Emiro , Molina-Estren Diego , Paola Ariza-Colpas , Ortíz Andrés , et al.
2nd International Conference on Machine Learning for Networking (MLN), Dec 2019, Paris, France. pp.379-391, ⟨10.1007/978-3-030-45778-5_26⟩
Conference papers hal-03266456v1
Image document

Adaptive Function Chaining for Efficient Design of 5G Xhaul

 Bahare M. Khorsandi , Didier Colle , Wouter Tavernier , Carla Raffaelli
23th International IFIP Conference on Optical Network Design and Modeling (ONDM), May 2019, Athens, Greece. pp.94-107, ⟨10.1007/978-3-030-38085-4_9⟩
Conference papers hal-03200678v1
Image document

Choreography Automata

 Franco Barbanera , Ivan Lanese , Emilio Tuosto
COORDINATION 2020 - 22nd International Conference on Coordination Models and Languages, Jun 2020, Valletta, Malta. pp.86 - 106, ⟨10.1007/978-3-030-50029-0_6⟩
Conference papers hal-03005377v1
Image document

Wired/Wireless Internet Communications

 Marco Di Felice , Enrico Natalizio , Raffaele Bruno , Andreas Kassler
Springer International Publishing, LNCS-11618, 2019, Lecture Notes in Computer Science, 978-3-030-30522-2. ⟨10.1007/978-3-030-30523-9⟩
Books hal-02881734v1
Image document

Deploying W3C Web of Things-Based Interoperable Mash-up Applications for Industry 4.0: A Testbed

 Luca Sciullo , Angelo Trotta , Lorenzo Gigli , Marco Di Felice
17th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2019, Bologna, Italy. pp.3-14, ⟨10.1007/978-3-030-30523-9_1⟩
Conference papers hal-02881743v1
Image document

No More, No Less - A Formal Model for Serverless Computing

 Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Fabrizio Montesi , Marco Peressotti , et al.
COORDINATION 2019 - 21th International Conference on Coordination Languages and Models, Jun 2019, Kongens Lyngby, Denmark. pp.148-157, ⟨10.1007/978-3-030-22397-7_9⟩
Conference papers hal-02365509v1
Image document

Aggregate Processes in Field Calculus

 Roberto Casadei , Mirko Viroli , Giorgio Audrito , Danilo Pianini , Ferruccio Damiani
21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.200-217, ⟨10.1007/978-3-030-22397-7_12⟩
Conference papers hal-02365504v1
Image document

The share Operator for Field-Based Coordination

 Giorgio Audrito , Jacob Beal , Ferruccio Damiani , Danilo Pianini , Mirko Viroli
21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.54-71, ⟨10.1007/978-3-030-22397-7_4⟩
Conference papers hal-02365499v1
Image document

Self-organising Coordination Regions: A Pattern for Edge Computing

 Roberto Casadei , Danilo Pianini , Mirko Viroli , Antonio Natali
21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.182-199, ⟨10.1007/978-3-030-22397-7_11⟩
Conference papers hal-02365498v1
Image document

Modeling and Evaluation of Application-Aware Dynamic Thermal Control in HPC Nodes

 Daniele Cesarini , Andrea Bartolini , Luca Benini
25th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2017, Abu Dhabi, United Arab Emirates. pp.198-219, ⟨10.1007/978-3-030-15663-3_10⟩
Conference papers hal-02319789v1
Image document

On a Higher-Order Calculus of Computational Fields

 Jacob Beal , Giorgio Audrito , Mirko Viroli , Ferruccio Damiani , Danilo Pianini
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.289-292, ⟨10.1007/978-3-030-21759-4_17⟩
Conference papers hal-02313736v1
Image document

QoS-Based Mobility System for Autonomous Unmanned Aerial Vehicles Wireless Networks

 Angelo Trotta , Luca Sciullo
International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2018, Boston, MA, United States. pp.233-245, ⟨10.1007/978-3-030-02931-9_19⟩
Conference papers hal-02269724v1

Wired/Wireless Internet Communications

 Kaushik Roy Chowdhury , Marco Di Felice , Ibrahim Matta , Bo Sheng
Springer International Publishing, LNCS-10866, 2018, Lecture Notes in Computer Science, 978-3-030-02930-2. ⟨10.1007/978-3-030-02931-9⟩
Books hal-02269721v1
Image document

On a New Method to Build Group Equivariant Operators by Means of Permutants

 Francesco Camporesi , Patrizio Frosini , Nicola Quercioli
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.265-272, ⟨10.1007/978-3-319-99740-7_18⟩
Conference papers hal-02060057v1
Image document

Shortened Persistent Homology for a Biomedical Retrieval System with Relevance Feedback

 Alessia Angeli , Massimo Ferri , Eleonora Monti , Ivan Tomba
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.282-292, ⟨10.1007/978-3-319-99740-7_20⟩
Conference papers hal-02060046v1
Image document

Joint Path and Radio Resource Management for UAVs Supporting Mobile Radio Networks

 Silvia Mignardi , Roberto Verdone Dei
17th Annual Mediterranean Ad Hoc Networking Workshop (Med-Hoc-Net 2018), Jun 2018, Capri Island, Italy. pp.31-37
Conference papers hal-01832495v1
Image document

Foundations of Coordination and Contracts and Their Contribution to Session Type Theory

 Mario Bravetti , Gianluigi Zavattaro
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.21-50, ⟨10.1007/978-3-319-92408-3_2⟩
Conference papers hal-01821498v1
Page :