Filter your results
- 55
- 6
- 54
- 7
- 58
- 5
- 3
- 7
- 5
- 7
- 8
- 3
- 2
- 9
- 4
- 4
- 5
- 5
- 2
- 61
- 13
- 10
- 3
- 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
- 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
- 1
- 1
- 1
- 1
- 1
61 results
|
Wired/Wireless Internet CommunicationsSpringer 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
|
||
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
|
|||
|
Verification of Ad Hoc Networks with Node and Communication Failures 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.235-250
Conference papers
hal-00909367v1
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
Time-Fluid Field-Based Coordination22th 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
|
||
|
Theoretical Computer ScienceJosep 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
|
||
|
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
|
||
|
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
|
||
|
Some Remarks on the Algebraic Properties of Group Invariant Operators in Persistent Homology1st 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
|
||
|
Simulation of Large Scale Computational Ecosystems with Alchemist: A Tutorial21th 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
|
||
|
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
|
||
|
Service Oriented and Cloud ComputingSpringer 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
|
||
|
Semantic Subtyping for Objects and Classes15th 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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
QoS-Based Mobility System for Autonomous Unmanned Aerial Vehicles Wireless NetworksInternational 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
|
||
|
Probabilistic Modular Embedding for Stochastic Coordinated Systems15th 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
|
||
|
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
|
||
|
Ownership Types for the Join Calculus13th 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
|
||
|
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
|
||
|
On the Integration of Automatic Deployment into the ABS Modeling Language4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.49-64, ⟨10.1007/978-3-319-24072-5_4⟩
Conference papers
hal-01757558v1
|
||
|
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
|
||
|
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
|
||
|
No More, No Less - A Formal Model for Serverless ComputingCOORDINATION 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
|
||
|
Modeling the Emergence of a New Language: Naming Game with Hybridization7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.78-89, ⟨10.1007/978-3-642-54140-7_7⟩
Conference papers
hal-01291501v1
|
||
|
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
|
||
|
Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments14th 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
|