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

Filter your results

443 results
Deposit type : Fulltext
Page :
sorted by
Image document

Boolean Networks: Beyond Generalized Asynchronicity

 Thomas Chatain , Stefan Haar , Loïc Paulevé
AUTOMATA 2018 - 24th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, Jun 2018, Ghent, Belgium. pp.29-42, ⟨10.1007/978-3-319-92675-9_3⟩
Conference papers hal-01768359v2
Image document

Active Objects for Coordinating BSP Computations (Short Paper)

 Gaetan Hains , Ludovic Henrio , Pierre Leca , Wijnand Suijlen
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.220-230, ⟨10.1007/978-3-319-92408-3_10⟩
Conference papers hal-01821487v1
Image document

From Field-Based Coordination to Aggregate Computing

 Mirko Viroli , Jacob Beal , Ferruccio Damiani , Giorgio Audrito , Roberto Casadei , et al.
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.252-279, ⟨10.1007/978-3-319-92408-3_12⟩
Conference papers hal-01821488v1
Image document

Rule-Based Form for Stream Constraints

 Kasper Dokter , Farhad Arbab
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.142-161, ⟨10.1007/978-3-319-92408-3_6⟩
Conference papers hal-01821489v1
Image document

Forward to a Promising Future

 Kiko Fernandez-Reyes , Dave Clarke , Elias Castegren , Huu-Phuc Vo
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.162-180, ⟨10.1007/978-3-319-92408-3_7⟩
Conference papers hal-01821490v1
Image document

Space-Time Universality of Field Calculus

 Giorgio Audrito , Jacob Beal , Ferruccio Damiani , Mirko Viroli
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.1-20, ⟨10.1007/978-3-319-92408-3_1⟩
Conference papers hal-01821491v1
Image document

On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study

 Denis Darquennes , Jean-Marie Jacquet , Isabelle Linden
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.81-109, ⟨10.1007/978-3-319-92408-3_4⟩
Conference papers hal-01821492v1
Image document

Aggregation Policies for Tuple Spaces

 Linas Kaminskas , Alberto Lluch Lafuente
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.181-199, ⟨10.1007/978-3-319-92408-3_8⟩
Conference papers hal-01821494v1
Image document

Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives

 Giovanni Ciatto , Stefano Mariani , Maxime Louvel , Andrea Omicini , Franco Zambonelli
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.51-80, ⟨10.1007/978-3-319-92408-3_3⟩
Conference papers hal-01821495v1
Image document

Distributed Coordination Runtime Assertions for the Peer Model

 Eva Kühn , Sophie Therese Radschek , Nahla Elaraby
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.200-219, ⟨10.1007/978-3-319-92408-3_9⟩
Conference papers hal-01821497v1
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

A Formal Approach to the Engineering of Domain-Specific Distributed Systems

 Rocco De Nicola , Gianluigi Ferrari , Rosario Pugliese , Francesco Tiezzi
20th 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
Image document

Boosting transactional memory with stricter serializability

 Pierre Sutra , Patrick Marlier , Valerio Schiavoni , François Trahay
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.231-251, ⟨10.1007/978-3-319-92408-3_11⟩
Conference papers hal-01821500v1
Image document

Improving the Performance of Actor-Based Programs Using a New Actor to Thread Association Technique

 Fahimeh Rahemi , Ehsan Khamespanah , Ramtin Khosravi
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.122-136, ⟨10.1007/978-3-319-93767-0_9⟩
Conference papers hal-01824630v1
Image document

Strome: Energy-Aware Data-Stream Processing

 Christopher Eibel , Christian Gulden , Wolfgang Schröder-Preikschat , Tobias Distler
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.40-57, ⟨10.1007/978-3-319-93767-0_4⟩
Conference papers hal-01824631v1
Image document

Totally Ordered Replication for Massive Scale Key-Value Stores

 José Ribeiro , Nuno Machado , Francisco Maia , Miguel Matos
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.58-74, ⟨10.1007/978-3-319-93767-0_5⟩
Conference papers hal-01824632v1
Image document

Autonomic Adaptation of Multimedia Content Adhering to Application Mobility

 Francisco Javier Velázquez-García , Pal Halvorsen , Håkon Kvale Stensland , Frank Eliassen
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.153-168, ⟨10.1007/978-3-319-93767-0_11⟩
Conference papers hal-01824633v1
Image document

Video Dissemination in Untethered Edge-Clouds: A Case Study

 João Rodrigues , Eduardo Marques , Joaquim Silva , Luís Lopes , Fernando Silva
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.137-152, ⟨10.1007/978-3-319-93767-0_10⟩
Conference papers hal-01824634v1
Image document

Reversible Choreographies via Monitoring in Erlang

 Adrian Francalanza , Claudio Antares Mezzina , Emilio Tuosto
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.75-92, ⟨10.1007/978-3-319-93767-0_6⟩
Conference papers hal-01824635v1
Image document

A Decentralized Resilient Short-Term Cache for Messaging

 Henner Heck , Olga Kieselmann , Nils Kopal , Arno Wacker
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.110-121, ⟨10.1007/978-3-319-93767-0_8⟩
Conference papers hal-01824636v1
Image document

Malicious Behaviour Identification in Online Social Networks

 Raad Bin Tareaf , Philipp Berger , Patrick Hennig , Christoph Meinel
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.18-25, ⟨10.1007/978-3-319-93767-0_2⟩
Conference papers hal-01824637v1
Image document

A Game of Microservices: Automated Intrusion Response

 Tetiana Yarygina , Christian Otterstad
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.169-177, ⟨10.1007/978-3-319-93767-0_12⟩
Conference papers hal-01824638v1
Image document

SONIC-MAN: A Distributed Protocol for Dynamic Community Detection and Management

 Barbara Guidi , Andrea Michienzi , Laura Ricci
18th 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
Image document

WebBFT: Byzantine Fault Tolerance for Resilient Interactive Web Applications

 Christian Berger , Hans P. Reiser
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.1-17, ⟨10.1007/978-3-319-93767-0_1⟩
Conference papers hal-01824640v1
Image document

Dynamic Modeling of Location Privacy Protection Mechanisms

 Sophie Cerf , Sonia Ben Mokhtar , Sara Bouchenak , Nicolas Marchand , Bogdan Robu
DAIS 2018 - DisCoTec 2018 - 18th IFIP International Conference on Distributed Applications and Interoperable Systems - Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, Jun 2018, Madrid, Spain. pp.26-39, ⟨10.1007/978-3-319-93767-0_3⟩
Conference papers hal-01824641v1
Image document

A Distributed Coordination Infrastructure for Attribute-Based Interaction

 Yehia Abd Alrahman , Rocco De Nicola , Giulio Garbi , Michele Loreti
38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.1-20, ⟨10.1007/978-3-319-92612-4_1⟩
Conference papers hal-01824810v1
Image document

Preserving Contract Satisfiability Under Non-monotonic Composition

 Jonas Westman , Mattias Nyberg
38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.181-195, ⟨10.1007/978-3-319-92612-4_10⟩
Conference papers hal-01824811v1
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

A Modest Security Analysis of Cyber-Physical Systems: A Case Study

 Ruggero Lanotte , Massimo Merro , Andrei Munteanu
38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.58-78, ⟨10.1007/978-3-319-92612-4_4⟩
Conference papers hal-01824813v1
Image document

Parameter Synthesis Algorithms for Parametric Interval Markov Chains

 Laure Petrucci , Jaco van De Pol
38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.121-140, ⟨10.1007/978-3-319-92612-4_7⟩
Conference papers hal-01824814v1
Page :