Search - IFIP Open Digital Library Access content directly

Filter your results

22 results
Sub-domain level 1 : info.info-ni
labStructName_s : Inria Sophia Antipolis - Méditerranée
Page :
sorted by
Image document

No More, No Less - A Formal Model for Serverless Computing

 Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Fabrizio Montesi , Marco Peressotti , et al.
COORDINATION 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
Image document

Verification of concurrent design patterns with data

 Simon Bliudze , Ludovic Henrio , Eric Madelaine
COORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Conference papers hal-02143782v1
Image document

An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks

 Vincenzo Ciancaglini , Luigi Liquori , Giang Ngo Hoang , Petar Maksimovic
Hets-Nets. Future Heterogeneous Networks, May 2012, Prague, Czech Republic. pp.10-18, ⟨10.1007/978-3-642-30039-4_2⟩
Conference papers hal-00909486v1
Image document

Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks

 Luigi Liquori , Cédric Tedeschi , Laurent Vanni , Francesco Bongiovanni , Vincenzo Ciancaglini , et al.
Networking 2010 - 9th International IFIP TC 6 Networking Conference, May 2010, Chennai, India. pp.67-82, ⟨10.1007/978-3-642-12963-6_6⟩
Conference papers hal-00909544v1
Image document

Passive Online RTT Estimation for Flow-Aware Routers Using One-Way Traffic

 Damiano Carra , Konstantin Avrachenkov , Sara Alouf , Alberto Blanc , Philippe Nain , et al.
NETWORKING 2010, May 2010, Chennai, India. pp.109-121, ⟨10.1007/978-3-642-12963-6_9⟩
Conference papers inria-00496155v1
Image document

QoE Analysis of Media Streaming in Wireless Data Networks

 Yuedong Xu , Eitan Altman , Rachid El-Azouzi , Salah Eddine Elayoubi , Majed Haddad
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.343-354, ⟨10.1007/978-3-642-30054-7_27⟩
Conference papers hal-01531963v1
Image document

An Efficient Management of Correlation Sets with Broadcast

 Jacopo Mauro , Maurizio Gabbrielli , Claudio Guidi , Fabrizio Montesi
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.80-94, ⟨10.1007/978-3-642-21464-6_6⟩
Conference papers hal-01582988v1
Image document

Causal-Consistent Replay Debugging for Message Passing Programs

 Ivan Lanese , Adrián Palacios , Germán Vidal
FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2019, Copenhagen, Denmark. pp.167-184, ⟨10.1007/978-3-030-21759-4_10⟩
Conference papers hal-02313745v1
Image document

Estimating File-Spread in Delay Tolerant Networks under Two-Hop Routing

 Arshad Ali , Eitan Altman , Tijani Chahed , Dieter Fiems , Manoj Kumar Panda , et al.
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.277-290, ⟨10.1007/978-3-642-30054-7_22⟩
Conference papers hal-00726802v1
Image document

On the Dynamics of Locators in LISP

 Damien Saucez , Benoit Donnet
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.385-396, ⟨10.1007/978-3-642-30045-5_29⟩
Conference papers hal-01531127v1
Image document

Network Non-Neutrality Debate: An Economic Analysis

 Eitan Altman , Arnaud Legout , Yuedong Xu
10th 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
Image document

A Nash Bargaining Solution for Cooperative Network Formation Games

 Konstantin Avrachenkov , Jocelyne Elias , Fabio Martignon , Giovanni Neglia , Leon Petrosyan
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.307-318, ⟨10.1007/978-3-642-20757-0_24⟩
Conference papers hal-00648190v2
Image document

A Theory for the Composition of Concurrent Processes

 Ludovic Henrio , Eric Madelaine , Min Zhang
36th 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
Image document

Minimization of Network Power Consumption with Redundancy Elimination

 Frédéric Giroire , Joanna Moulierac , Truong Khoa Phan , Frédéric Roudaut
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.247-258, ⟨10.1007/978-3-642-30045-5_19⟩
Conference papers hal-00721855v1
Image document

In Which Content to Specialize? A Game Theoretic Analysis

 Eitan Altman
Networking Workshops (NETWORKING), May 2012, Prague, Czech Republic. pp.121-125, ⟨10.1007/978-3-642-30039-4_15⟩
Conference papers hal-01533579v1
Image document

Fault in the Future

 Einar Broch Johnsen , Ivan Lanese , Gianluigi Zavattaro
13th 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
Image document

A Local Approach to Fast Failure Recovery of LISP Ingress Tunnel Routers

 Damien Saucez , Juhoon Kim , Luigi Iannone , Olivier Bonaventure , Clarence Filsfils
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.397-408, ⟨10.1007/978-3-642-30045-5_30⟩
Conference papers hal-01531133v1
Image document

Foundations of Coordination and Contracts and Their Contribution to Session Type Theory

 Mario Bravetti , Gianluigi Zavattaro
20th 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
Image document

Multiscale Fairness and Its Application to Resource Allocation in Wireless Networks

 Eitan Altman , Konstantin Avrachenkov , Sreenath Ramanath
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.225-237, ⟨10.1007/978-3-642-20798-3_17⟩
Conference papers hal-01597970v1
Image document

Applied Choreographies

 Saverio Giallorenzo , Fabrizio Montesi , Maurizio Gabbrielli
38th 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
Image document

Adaptable Processes (Extended Abstract)

 Mario Bravetti , Cinzia Di Giusto , Jorge A. Pérez , Gianluigi Zavattaro
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
Image document

DeepRoute: Herding Elephant and Mice Flows with Reinforcement Learning

 Mariam Kiran , Bashir Mohammed , Nandini Krishnaswamy
MLN 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
Page :