Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

8 results
language_s : English
Page :
sorted by
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

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

A Decidable Subtyping Logic for Intersection and Union Types

 Luigi Liquori , Claude Stolze
TTCS 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
Image document

From Modelling to Systematic Deployment of Distributed Active Objects

 Ludovic Henrio , Justine Rochas
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.208-226, ⟨10.1007/978-3-319-39519-7_13⟩
Conference papers hal-01305474v1
Image document

Painless Support for Static and Runtime Verification of Component-Based Applications

 Nuno Gaspar , Ludovic Henrio , Eric Madelaine
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.259-274, ⟨10.1007/978-3-319-24644-4_18⟩
Conference papers hal-01168757v2
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

EFD: An efficient low-overhead scheduler

 Jinbang Chen , Martin Heusse , Guillaume Urvoy-Keller
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.150-163, ⟨10.1007/978-3-642-20798-3_12⟩
Conference papers hal-00930973v1
Page :