Filter your results
- 69
- 6
- 68
- 7
- 72
- 6
- 3
- 1
- 7
- 8
- 8
- 9
- 3
- 7
- 9
- 4
- 6
- 6
- 5
- 2
- 75
- 14
- 10
- 5
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 16
- 11
- 8
- 6
- 6
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
Behavioural Contracts with Request-Response Operations12th 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
|
||
|
|
ScaFi-Web: A Web-Based Application for Field-Based Coordination Programming23th 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
|
||
|
|
Formal Techniques for Distributed Objects, Components, and SystemsSpringer, 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
|
||
|
|
Shortened Persistent Homology for a Biomedical Retrieval System with Relevance Feedback2nd 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
|
||
|
|
Space-Time Universality of Field Calculus20th 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
|
||
|
|
The share Operator for Field-Based Coordination21th 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
|
||
|
|
Resilient Distributed Collection Through Information Speed Thresholds22th 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
|
||
|
|
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.59-77, ⟨10.1007/978-3-319-59746-1_4⟩
Conference papers
hal-01657344v1
|
||
|
|
Microservice Dynamic Architecture-Level Deployment OrchestrationCOORDINATION 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
|
||
|
|
A Session Subtyping ToolCOORDINATION 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
|
||
|
|
Choreography AutomataCOORDINATION 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
|
||
|
|
On a Higher-Order Calculus of Computational Fields39th 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
|
||
|
|
Configurable Low-Latency Interconnect for Multi-core Clusters20th International Conference on Very Large Scale Integration (VLSI-SoC), Aug 2012, Santa Cruz, CA, United States. pp.107-124, ⟨10.1007/978-3-642-45073-0_6⟩
Conference papers
hal-01456965v1
|
||
|
|
From Close to Distant and Back: How to Read with the Help of Machines3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. pp.87-100, ⟨10.1007/978-3-319-47286-7_6⟩
Conference papers
hal-01615290v1
|
||
|
|
Urban-X: A Self-organizing Cognitive Wireless Mesh Network for Dense City Environments9th 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
|
||
|
|
Foundations of Coordination and Contracts and Their Contribution to Session Type Theory20th 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
|
||
|
|
On a New Method to Build Group Equivariant Operators by Means of Permutants2nd 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
|
||
|
|
A Decentralized Approach to Network-Aware Service Composition4th 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
|
||
|
|
Tuple-Based Coordination in Large-Scale Situated Systems23th 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
|
||
|
|
Aggregate Processes in Field Calculus21th 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
|
||
|
|
Self-organising Coordination Regions: A Pattern for Edge Computing21th 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
|
||
|
|
Modeling and Evaluation of Application-Aware Dynamic Thermal Control in HPC Nodes25th 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
|
||
Wired/Wireless Internet CommunicationsSpringer 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
|
|||
|
|
The Strategic Technical Debt Management Model: An Empirical Proposal16th 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
|
||
|
|
Priority Level Planning in Kriegspiel11th 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
|
||
|
|
An Open Source Environment for an Agile Development Model16th 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
|
||
|
|
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives20th 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
|
||
|
|
Low-Overhead Early-Stopping Policies for Efficient Random Forests Inference on Microcontrollers29th 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
|
||
|
|
Applicative Bisimulation and Quantum λ-Calculi6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.54-68, ⟨10.1007/978-3-319-24644-4_4⟩
Conference papers
hal-01231800v1
|
||
|
|
Dynamic Choreographies Safe Runtime Updates of Distributed Applications17th 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
|