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

Filter your results

61 results
Page :
sorted by
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

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

Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract)

 Davide Sangiorgi
Coalgebraic Methods in Computer Science, Apr 2014, Grenoble, France. pp.3 - 9, ⟨10.1007/978-3-662-44124-4_1⟩
Conference papers hal-01092815v1
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

Ownership Types for the Join Calculus

 Marco Patrignani , Dave Clarke , Davide Sangiorgi
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.289-303, ⟨10.1007/978-3-642-21461-5_19⟩
Conference papers hal-01583320v1
Image document

Applicative Bisimulation and Quantum λ-Calculi

 Ugo Dal Lago , Alessandro Rioli
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.54-68, ⟨10.1007/978-3-319-24644-4_4⟩
Conference papers hal-01231800v1
Image document

A Decentralized Approach to Network-Aware Service Composition

 Valeria Cardellini , Mirko D’angelo , Vincenzo Grassi , Moreno Marzolla , Raffaela Mirandola
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.34-48, ⟨10.1007/978-3-319-24072-5_3⟩
Conference papers hal-01757563v1
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

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

From Field-Based Coordination to Aggregate Computing

 Mirko Viroli , Jacob Beal , Ferruccio Damiani , Giorgio Audrito , Roberto Casadei , et al.
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.252-279, ⟨10.1007/978-3-319-92408-3_12⟩
Conference papers hal-01821488v1
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

Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields

 Ferruccio Damiani , Mirko Viroli , Danilo Pianini , Jacob Beal
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.113-128, ⟨10.1007/978-3-319-19195-9_8⟩
Conference papers hal-01767321v1
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

Dynamic Choreographies Safe Runtime Updates of Distributed Applications

 Mila Dalla Preda , Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.67-82, ⟨10.1007/978-3-319-19282-6_5⟩
Conference papers hal-01227612v1
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

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

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

Electronic Participation

 Efthimios Tambouris , Panos Panagiotopoulos , Øystein Sæbø , Konstantinos Tarabanis , Maria A. Wimmer , et al.
LNCS-9249, 2015, Lecture Notes in Computer Science, 978-3-319-22499-2. ⟨10.1007/978-3-319-22500-5⟩
Books hal-01587629v1

Coordination Models and Languages

 Tom Holvoet , Mirko Viroli
Springer International Publishing, LNCS-9037, 2015, Lecture Notes in Computer Science, 978-3-319-19281-9. ⟨10.1007/978-3-319-19282-6⟩
Books hal-01774946v1

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

Space-Time Universality of Field Calculus

 Giorgio Audrito , Jacob Beal , Ferruccio Damiani , Mirko Viroli
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.1-20, ⟨10.1007/978-3-319-92408-3_1⟩
Conference papers hal-01821491v1
Image document

Blending Event-Based and Multi-Agent Systems Around Coordination Abstractions

 Andrea Omicini , Giancarlo Fortino , Stefano Mariani
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.186-193, ⟨10.1007/978-3-319-19282-6_12⟩
Conference papers hal-01774947v1
Image document

Decidability Results for Dynamic Installation of Compensation Handlers

 Ivan Lanese , Gianluigi Zavattaro
15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.136-150, ⟨10.1007/978-3-642-38493-6_10⟩
Conference papers hal-01486023v1

Formal Techniques for Distributed Objects, Components, and Systems

 Elvira Albert , Ivan Lanese
Springer, LNCS-9688, 2016, Formal Techniques for Distributed Objects, Components, and Systems, 978-3-319-39569-2. ⟨10.1007/978-3-319-39570-8⟩
Books hal-01432933v1
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

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

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

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

Behavioural Contracts with Request-Response Operations

 Lucia Acciai , Michele Boreale , Gianluigi Zavattaro
12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.16-30, ⟨10.1007/978-3-642-13414-2_2⟩
Conference papers hal-01054626v1
Page :