Search - IFIP Open Digital Library Access content directly

Filter your results

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

Semantic Subtyping for Objects and Classes

 Ornela Dardha , Daniele Gorla , Daniele Varacca
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Firenze, Italy. pp.66-82, ⟨10.1007/978-3-642-38592-6_6⟩
Conference papers hal-00909299v1
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

Theoretical Computer Science

 Josep Diaz , Ivan Lanese , Davide Sangiorgi
Josep Diaz; Ivan Lanese; Davide Sangiorgi. Springer, LNCS-8705, 2014, Lecture Notes in Computer Science, 978-3-662-44601-0. ⟨10.1007/978-3-662-44602-7⟩
Books hal-01402084v1
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

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

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

Some Remarks on the Algebraic Properties of Group Invariant Operators in Persistent Homology

 Patrizio Frosini , Nicola Quercioli
1st International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2017, Reggio, Italy. pp.14-24, ⟨10.1007/978-3-319-66808-6_2⟩
Conference papers hal-01677132v1
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

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

Probabilistic Modular Embedding for Stochastic Coordinated Systems

 Stefano Mariani , Andrea Omicini
15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.151-165, ⟨10.1007/978-3-642-38493-6_11⟩
Conference papers hal-01486024v1
Image document

Equicontinuity and Sensitivity of Nondeterministic Cellular Automata

 Pietro Di Lena
23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.81-96, ⟨10.1007/978-3-319-58631-1_7⟩
Conference papers hal-01656361v1
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

Priority Level Planning in Kriegspiel

 Paolo Ciancarini , Andrea Gasparro
11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.333-340, ⟨10.1007/978-3-642-33542-6_29⟩
Conference papers hal-01556114v1
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

Service Oriented and Cloud Computing

 Schahram Dustdar , Frank Leymann , Massimo Villari
Springer International Publishing, LNCS-9306, 2015, Lecture Notes in Computer Science, 978-3-319-24071-8. ⟨10.1007/978-3-319-24072-5⟩
Books hal-01757566v1
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

A Calculus of Self-stabilising Computational Fields

 Mirko Viroli , Ferruccio Damiani
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.163-178, ⟨10.1007/978-3-662-43376-8_11⟩
Conference papers hal-01290075v1
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

An Efficient Management of Correlation Sets with Broadcast

 Jacopo Mauro , Maurizio Gabbrielli , Claudio Guidi , Fabrizio Montesi
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.80-94, ⟨10.1007/978-3-642-21464-6_6⟩
Conference papers hal-01582988v1
Image document

Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments

 Mirko Viroli , Danilo Pianini , Jacob Beal
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.212-229, ⟨10.1007/978-3-642-30829-1_15⟩
Conference papers hal-01529604v1
Image document

An Integrated Application of Security Testing Methodologies to e-voting Systems

 Marco Ramilli , Marco Prandini
Second IFIP WG 8.5 International Conference on Electronic Participation (EPART), Aug 2010, Lausanne, Italy. pp.225-236, ⟨10.1007/978-3-642-15158-3_19⟩
Conference papers hal-01054838v1
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

A Social Software-Based Coordination Platform

 Davide Rossi
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.17-28, ⟨10.1007/978-3-642-30829-1_2⟩
Conference papers hal-01529596v1
Image document

Urban-X: A Self-organizing Cognitive Wireless Mesh Network for Dense City Environments

 Luciano Bononi , Wooseong Kim , Andreas J. Kassler , Marco Di Felice , Mario Gerla
9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. pp.398-409, ⟨10.1007/978-3-642-21560-5_33⟩
Conference papers hal-01583638v1
Image document

Exploring Information Security Issues in Public Sector Inter-organizational Collaboration

 Anne Veenstra , Marco Ramilli
10th Electronic Government (EGOV), Aug 2011, Delft, Netherlands. pp.355-366, ⟨10.1007/978-3-642-22878-0_30⟩
Conference papers hal-01589080v1
Image document

Numerical Parameters Estimation in Models of Pollutant Transport with Chemical Reaction

 Fabiana Zama , Roberta Ciavarelli , Dario Frascari , Davide Pinelli
25th System Modeling and Optimization (CSMO), Sep 2011, Berlin, Germany. pp.547-556, ⟨10.1007/978-3-642-36062-6_55⟩
Conference papers hal-01347583v1
Image document

Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives

 Giovanni Ciatto , Stefano Mariani , Maxime Louvel , Andrea Omicini , Franco Zambonelli
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.51-80, ⟨10.1007/978-3-319-92408-3_3⟩
Conference papers hal-01821495v1
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

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

Sparsity Constrained Image Restoration: An Approach Using the Newton Projection Method

 Germana Landi
27th IFIP Conference on System Modeling and Optimization (CSMO), Jun 2015, Sophia Antipolis, France. pp.341-350, ⟨10.1007/978-3-319-55795-3_32⟩
Conference papers hal-01626912v1
Page :