Filter your results
- 38
- 6
- 36
- 8
- 44
- 8
- 3
- 2
- 2
- 3
- 4
- 4
- 3
- 4
- 6
- 3
- 2
- 44
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 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
- 1
- 1
|
|
sorted by
|
|
A Compositional Model for Gesture Definition4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.34-52, ⟨10.1007/978-3-642-34347-6_3⟩
Conference papers
hal-01556826v1
|
||
|
Playing with Our CAT and Communication-Centric Applications36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.62-73, ⟨10.1007/978-3-319-39570-8_5⟩
Conference papers
hal-01432928v1
|
||
|
Fault-Aware Application Management Protocols5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.219-234, ⟨10.1007/978-3-319-44482-6_14⟩
Conference papers
hal-01638591v1
|
||
|
Open Multiparty Interaction21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.1-23, ⟨10.1007/978-3-642-37635-1_1⟩
Conference papers
hal-01485975v1
|
||
|
Human-Computer Interaction – INTERACT 2021Springer International Publishing, LNCS-12935, 2021, Lecture Notes in Computer Science, 978-3-030-85609-0. ⟨10.1007/978-3-030-85610-6⟩
Books
hal-04215530v1
|
||
|
Human-Computer Interaction – INTERACT 2021Springer International Publishing, LNCS-12934, 2021, Lecture Notes in Computer Science, 978-3-030-85612-0. ⟨10.1007/978-3-030-85613-7⟩
Books
hal-04292364v1
|
||
|
Encoding Synchronous Interactions Using Labelled Petri Nets16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.1-16, ⟨10.1007/978-3-662-43376-8_1⟩
Conference papers
hal-01290063v1
|
||
|
Modelling the Dynamic Reconfiguration of Application Topologies, Faults Included19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.178-196, ⟨10.1007/978-3-319-59746-1_10⟩
Conference papers
hal-01657338v1
|
||
|
Blockchain Based Access Control17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.206-220, ⟨10.1007/978-3-319-59665-5_15⟩
Conference papers
hal-01800124v1
|
||
|
TOSCA in a Nutshell: Promises and Perspectives3rd Service-Oriented and Cloud Computing (ESOCC), Sep 2014, Manchester, United Kingdom. pp.171-186, ⟨10.1007/978-3-662-44879-3_13⟩
Conference papers
hal-01318292v1
|
||
|
Testing Conformance in Multi-component Enterprise Application Management8th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2020, Heraklion, Crete, Greece. pp.3-18, ⟨10.1007/978-3-030-44769-4_1⟩
Conference papers
hal-03203225v1
|
||
|
Technology-Agnostic Declarative Deployment Automation of Cloud Applications8th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2020, Heraklion, Crete, Greece. pp.97-112, ⟨10.1007/978-3-030-44769-4_8⟩
Conference papers
hal-03203261v1
|
||
|
SONIC-MAN: A Distributed Protocol for Dynamic Community Detection and Management18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.93-109, ⟨10.1007/978-3-319-93767-0_7⟩
Conference papers
hal-01824639v1
|
||
|
BGP and Inter-AS Economic Relationships10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.54-67, ⟨10.1007/978-3-642-20798-3_5⟩
Conference papers
hal-01597984v1
|
||
|
A Multi-planar Approach to Encoding Story Worlds for Dynamic Narrative Generation18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.355-358, ⟨10.1007/978-3-030-85607-6_36⟩
Conference papers
hal-04291220v1
|
||
|
Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.1-12, ⟨10.1007/978-3-662-44602-7_1⟩
Conference papers
hal-01402013v1
|
||
|
Human-Computer Interaction – INTERACT 2021Springer International Publishing, LNCS-12933, 2021, Lecture Notes in Computer Science, 978-3-030-85615-1. ⟨10.1007/978-3-030-85616-8⟩
Books
hal-04196866v1
|
||
|
A Labelled Semantics for Soft Concurrent Constraint Programming17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.133-149, ⟨10.1007/978-3-319-19282-6_9⟩
Conference papers
hal-01149227v1
|
||
|
A Formal Approach to the Engineering of Domain-Specific Distributed Systems20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.110-141, ⟨10.1007/978-3-319-92408-3_5⟩
Conference papers
hal-01821499v1
|
||
|
Service-Oriented and Cloud ComputingSpringer International Publishing, LNCS-12054, 2020, Lecture Notes in Computer Science, 978-3-030-44768-7. ⟨10.1007/978-3-030-44769-4⟩
Books
hal-03203229v1
|
||
|
First-Order Dynamic Logic for Compensable Processes14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.104-121, ⟨10.1007/978-3-642-30829-1_8⟩
Conference papers
hal-01529601v1
|
||
|
Modelling and Analysing Cloud Application Management4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.19-33, ⟨10.1007/978-3-319-24072-5_2⟩
Conference papers
hal-01757559v1
|
||
|
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.177-181, ⟨10.1007/978-3-030-78089-0_10⟩
Conference papers
hal-03740267v1
|
||
|
Distributed Applications and Interoperable SystemsSpringer International Publishing, LNCS-11534, 2019, Lecture Notes in Computer Science, 978-3-030-22495-0. ⟨10.1007/978-3-030-22496-7⟩
Books
hal-02319571v1
|
||
|
Application-Level Traceroute: Adopting Mimetic Mechanisms to Increase Discovery Capabilities17th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2019, Bologna, Italy. pp.66-77, ⟨10.1007/978-3-030-30523-9_6⟩
Conference papers
hal-02881737v1
|
||
|
Privacy-Preserving Data Allocation in Decentralized Online Social Networks16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.47-60, ⟨10.1007/978-3-319-39577-7_4⟩
Conference papers
hal-01434799v1
|
||
|
Transformation Systems with Incremental Negative Application Conditions21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.127-142, ⟨10.1007/978-3-642-37635-1_8⟩
Conference papers
hal-01485982v1
|
||
|
Where Do Your IoT Ingredients Come From?18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.35-50, ⟨10.1007/978-3-319-39519-7_3⟩
Conference papers
hal-01631717v1
|
||
|
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.101-116, ⟨10.1007/978-3-319-19282-6_7⟩
Conference papers
hal-01774933v1
|
||
|
Formal Analysis of Security Metrics and Risk5th Workshop on Information Security Theory and Practices (WISTP), Jun 2011, Heraklion, Crete, Greece. pp.304-319, ⟨10.1007/978-3-642-21040-2_22⟩
Conference papers
hal-01573302v1
|
- 1
- 2