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

Filter your results

557 results
Deposit type : Fulltext
Deposit type : Annex
Page :
sorted by
Image document

Two-dimensional traffic rules and the density classification problem

 Nazim Fatès , Irène Marcovici , Siamak Taati
22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2016, Zürich, France. pp.135-148, ⟨10.1007/978-3-319-39300-1_11⟩
Conference papers hal-01290290v1
Image document

Mignon: A Fast Decentralized Content Consumption Estimation in Large-Scale Distributed Systems

 Stéphane Delbruel , Davide Frey , François Taïani
16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Greece. pp.32-46, ⟨10.1007/978-3-319-39577-7_3⟩
Conference papers hal-01301230v1
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

Self-Balancing Job Parallelism and Throughput in Hadoop

 Bo Zhang , Filip Křikava , Romain Rouvoy , Lionel Seinturier
16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.129-143, ⟨10.1007/978-3-319-39577-7_11⟩
Conference papers hal-01294834v1
Image document

Novel lightweight signcryption-based key distribution mechanisms for MIKEY

 Kim Thuat Nguyen , Nouha Ouahla , Maryline Laurent
10th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2016, Heraklion, Greece. pp.19-34, ⟨10.1007/978-3-319-45931-8_2⟩
Conference papers hal-01391308v1
Image document

Runtime Code Polymorphism as a Protection Against Side Channel Attacks

 Damien Couroussé , Thierno Barry , Bruno Robisson , Philippe Jaillon , Olivier Potin , et al.
10th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2016, Heraklion, Greece. pp.136-152, ⟨10.1007/978-3-319-45931-8_9⟩
Conference papers emse-01372223v1
Image document

Branching Bisimulation Games

 David De Frutos Escrig , Jeroen A. Keiren , Tim C. Willemse
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.142-157, ⟨10.1007/978-3-319-39570-8_10⟩
Conference papers hal-01432915v1
Image document

A Configurable CEGAR Framework with Interpolation-Based Refinements

 Ákos Hajdu , Tamás Tóth , András Vörös , István Majzik
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.158-174, ⟨10.1007/978-3-319-39570-8_11⟩
Conference papers hal-01432916v1
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

Enforcing Availability in Failure-Aware Communicating Systems

 Hugo A. López , Flemming Nielson , Hanne Riis Nielson
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.195-211, ⟨10.1007/978-3-319-39570-8_13⟩
Conference papers hal-01432918v1
Image document

Ransomware Steals Your Phone. Formal Methods Rescue It

 Francesco Mercaldo , Vittoria Nardone , Antonella Santone , Corrado Aaron Visaggio
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.212-221, ⟨10.1007/978-3-319-39570-8_14⟩
Conference papers hal-01432919v1
Image document

Multiple Mutation Testing from FSM

 Alexandre Petrenko , Omer Nguena Timo , S. Ramesh
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.222-238, ⟨10.1007/978-3-319-39570-8_15⟩
Conference papers hal-01432920v1
Image document

The Challenge of Typed Expressiveness in Concurrency

 Jorge A. Pérez
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.239-247, ⟨10.1007/978-3-319-39570-8_16⟩
Conference papers hal-01432921v1
Image document

Type-Based Analysis for Session Inference (Extended Abstract)

 Carlo Spaccasassi , Vasileios Koutavas
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.248-266, ⟨10.1007/978-3-319-39570-8_17⟩
Conference papers hal-01432922v1
Image document

SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink Models

 Manel Tekaya , Mohamed Taha Bennani , Nedra Ebdelli , Samir Ben Ahmed
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.267-274, ⟨10.1007/978-3-319-39570-8_18⟩
Conference papers hal-01432923v1
Image document

On the Power of Attribute-Based Communication

 Yehia Abd Alrahman , Rocco de Nicola , Michele Loreti
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.1-18, ⟨10.1007/978-3-319-39570-8_1⟩
Conference papers hal-01432924v1
Image document

Fencing Programs with Self-Invalidation and Self-Downgrade

 Parosh Aziz Abdulla , Mohamed Faouzi Atig , Stefanos Kaxiras , Carl Leonardsson , Alberto Ros , et al.
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.19-35, ⟨10.1007/978-3-319-39570-8_2⟩
Conference papers hal-01432925v1
Image document

A Framework for Certified Self-Stabilization

 Karine Altisen , Pierre Corbineau , Stéphane Devismes
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.36-51, ⟨10.1007/978-3-319-39570-8_3⟩
Conference papers hal-01432926v1
Image document

Developing Honest Java Programs with Diogenes

 Nicola Atzei , Massimo Bartoletti
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.52-61, ⟨10.1007/978-3-319-39570-8_4⟩
Conference papers hal-01432927v1
Image document

Playing with Our CAT and Communication-Centric Applications

 Davide Basile , Pierpaolo Degano , Gian-Luigi Ferrari , Emilio Tuosto
36th 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
Image document

Multiparty Session Types Within a Canonical Binary Theory, and Beyond

 Luís Caires , Jorge A. Pérez
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.74-95, ⟨10.1007/978-3-319-39570-8_6⟩
Conference papers hal-01432929v1
Image document

A Type Theory for Robust Failure Handling in Distributed Systems

 Tzu-Chun Chen , Malte Viering , Andi Bejleri , Lukasz Ziarek , Patrick Eugster
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.96-113, ⟨10.1007/978-3-319-39570-8_7⟩
Conference papers hal-01432930v1
Image document

Choreographies in Practice

 Luís Cruz-Filipe , Fabrizio Montesi
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.114-123, ⟨10.1007/978-3-319-39570-8_8⟩
Conference papers hal-01432931v1
Image document

Specification-Based Synthesis of Distributed Self-Stabilizing Protocols

 Fathiyeh Faghih , Borzoo Bonakdarpour , Sébastien Tixeuil , Sandeep Kulkarni
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.124-141, ⟨10.1007/978-3-319-39570-8_9⟩
Conference papers hal-01432932v1

Formal Techniques for Distributed Objects, Components, and Systems

 Elvira Albert , Ivan Lanese
Springer, LNCS-9688, 2016, Formal Techniques for Distributed Objects, Components, and Systems, 978-3-319-39569-2. ⟨10.1007/978-3-319-39570-8⟩
Books hal-01432933v1
Image document

Resource Usage Prediction in Distributed Key-Value Datastores

 Francisco Cruz , Francisco Maia , Miguel Matos , Rui Oliveira , João Paulo , et al.
16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.144-159, ⟨10.1007/978-3-319-39577-7_12⟩
Conference papers hal-01434791v1
Image document

A Performance Evaluation of Erasure Coding Libraries for Cloud-Based Data Stores

 Dorian Burihabwa , Pascal Felber , Hugues Mercier , Valerio Schiavoni
16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.160-173, ⟨10.1007/978-3-319-39577-7_13⟩
Conference papers hal-01434792v1
Image document

Dynamic Load Balancing Techniques for Distributed Complex Event Processing Systems

 Nikos Zacheilas , Nikolas Zygouras , Nikolaos Panagiotou , Vana Kalogeraki , Dimitrios Gunopulos
16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.174-188, ⟨10.1007/978-3-319-39577-7_14⟩
Conference papers hal-01434793v1
Image document

PAN – Distributed Real-Time Complex Event Detection in Multiple Data Streams

 Lukas Probst , Ivan Giangreco , Heiko Schuldt
16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.189-195, ⟨10.1007/978-3-319-39577-7_15⟩
Conference papers hal-01434794v1
Image document

Bringing Complex Event Processing into Multitree Modelling of Sensors

 Alexandre Garnier , Jean-Marc Menaud , Nicolas Montavont
16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.196-210, ⟨10.1007/978-3-319-39577-7_16⟩
Conference papers hal-01434795v1
Page :