Filter your results
- 49
- 46
- 1
- 1
- 1
- 1
- 46
- 3
- 3
- 3
- 5
- 3
- 3
- 2
- 2
- 4
- 1
- 3
- 12
- 6
- 4
- 1
- 49
- 49
- 12
- 5
- 3
- 3
- 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
- 7
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 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
- 1
- 1
- 1
49 results
|
|
sorted by
|
|
A Decidable Subtyping Logic for Intersection and Union TypesTTCS 2017 - 2nd International Conference on Topics in Theoretical Computer Science, Sep 2017, Tehran, Iran. pp.74-90, ⟨10.1007/978-3-319-68953-1_7⟩
Conference papers
hal-01760641v1
|
||
|
In Which Content to Specialize? A Game Theoretic AnalysisNetworking Workshops (NETWORKING), May 2012, Prague, Czech Republic. pp.121-125, ⟨10.1007/978-3-642-30039-4_15⟩
Conference papers
hal-01533579v1
|
||
|
Fault in the Future13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.1-15, ⟨10.1007/978-3-642-21464-6_1⟩
Conference papers
hal-01582997v1
|
||
|
A Behavioural Theory for a π-calculus with Preorders6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.143-158, ⟨10.1007/978-3-319-24644-4_10⟩
Conference papers
hal-01246094v2
|
||
|
A Local Approach to Fast Failure Recovery of LISP Ingress Tunnel Routers11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.397-408, ⟨10.1007/978-3-642-30045-5_30⟩
Conference papers
hal-01531133v1
|
||
|
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
|
||
|
Passive Online RTT Estimation for Flow-Aware Routers using One-Way Traffic[Research Report] RR-7124, 2009
Reports
inria-00436444v1
|
||
|
Human-Computer Interaction –INTERACT 2013 Proceedings, Part IVLecture Notes in Computer Science, LNCS-8120 (Part IV), Springer, 2013, Human-Computer Interaction – INTERACT 2013
Proceedings
hal-04149510v1
|
||
|
Beyond InteractionsSpringer, 11930, 2020, Lecture Notes in Computer Science book series (LNCS), ⟨10.1007/978-3-030-46540-7⟩
Books
hal-03138795v1
|
||
|
Application Composition Driven by UI CompositionThird IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.198-205, ⟨10.1007/978-3-642-16488-0_17⟩
Conference papers
hal-01302948v1
|
||
|
Multiscale Fairness and Its Application to Resource Allocation in Wireless Networks10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.225-237, ⟨10.1007/978-3-642-20798-3_17⟩
Conference papers
hal-01597970v1
|
||
|
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
|
||
|
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
|
||
|
A Reversible Abstract Machine and Its Space Overhead14th 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.1-17, ⟨10.1007/978-3-642-30793-5_1⟩
Conference papers
hal-00909384v1
|
||
|
Competition in Access to Content11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.211-222, ⟨10.1007/978-3-642-30054-7_17⟩
Conference papers
hal-01327908v1
|
||
|
Network Non-Neutrality Debate: An Economic Analysis10th IFIP Networking Conference (NETWORKING), IFIP Technical Committee on Communication Systems (TC 6), May 2011, Valencia, Spain. pp.68-81, ⟨10.1007/978-3-642-20798-3_6⟩
Conference papers
inria-00568922v2
|
||
|
Declarative Elasticity in ABS5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.118-134, ⟨10.1007/978-3-319-44482-6_8⟩
Conference papers
hal-01638585v1
|
||
|
Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract)Coalgebraic Methods in Computer Science, Apr 2014, Grenoble, France. pp.3 - 9, ⟨10.1007/978-3-662-44124-4_1⟩
Conference papers
hal-01092815v1
|
||
|
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
|
||
|
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on MicroservicesOORDINATION 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
|
||
|
A Nash Bargaining Solution for Cooperative Network Formation Games10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.307-318, ⟨10.1007/978-3-642-20757-0_24⟩
Conference papers
hal-00648190v2
|
||
|
A Theory for the Composition of Concurrent Processes36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.175-194, ⟨10.1007/978-3-319-39570-8_12⟩
Conference papers
hal-01432917v1
|
||
|
Storytelling in Visual Analytics Tools for Business Intelligence14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.280-297, ⟨10.1007/978-3-642-40477-1_18⟩
Conference papers
hal-00817732v2
|
||
|
Minimization of Network Power Consumption with Redundancy Elimination11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.247-258, ⟨10.1007/978-3-642-30045-5_19⟩
Conference papers
hal-00721855v1
|
||
|
Explainable AI: the new 42?2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.295-303, ⟨10.1007/978-3-319-99740-7_21⟩
Conference papers
hal-01934928v1
|
||
|
Applied Choreographies38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.21-40, ⟨10.1007/978-3-319-92612-4_2⟩
Conference papers
hal-01824812v1
|
||
|
Adaptable Processes (Extended Abstract)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.90-105, ⟨10.1007/978-3-642-21461-5_6⟩
Conference papers
hal-01583325v1
|
||
|
DeepRoute: Herding Elephant and Mice Flows with Reinforcement LearningMLN 2019 - 2nd International Conference on Machine Learning for Networking, Dec 2019, Paris, France. pp.296-314, ⟨10.1007/978-3-030-45778-5_20⟩
Conference papers
hal-03266462v1
|
||
|
Pay-As-You-Go Data Integration Using Functional DependenciesInternational Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.375-389, ⟨10.1007/978-3-642-32498-7_28⟩
Conference papers
hal-01542460v1
|
||
|
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
|
- 1
- 2