Search - IFIP Open Digital Library Access content directly

Filter your results

9 results
Structure: Internal structure identifier : 452965
Page :
sorted by
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

Coordination of Tasks on a Real-Time OS

 Guillermina Cledou , José Proença , Bernhard Sputh , Eric Verhulst
21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.250-266, ⟨10.1007/978-3-030-22397-7_15⟩
Conference papers hal-02365513v1
Image document

Logics for Petri Nets with Propagating Failures

 Leandro Gomes , Alexandre Madeira , Mario Benevides
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.145-157, ⟨10.1007/978-3-030-31517-7_10⟩
Conference papers hal-03769133v1
Image document

Concise Server-Wide Causality Management for Eventually Consistent Data Stores

 Ricardo Gonçalves , Paulo Sérgio Almeida , Carlos Baquero , Victor Fonte
15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.66-79, ⟨10.1007/978-3-319-19129-4_6⟩
Conference papers hal-01775033v1
Image document

Spectra: Robust Estimation of Distribution Functions in Networks

 Miguel Borges , Paulo Jesus , Carlos Baquero , Paulo Sérgio Almeida
12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.96-103, ⟨10.1007/978-3-642-30823-9_8⟩
Conference papers hal-01527636v1
Image document

Can GUI Implementation Markup Languages Be Used for Modelling?

 Carlos Eduardo Silva , José Creissac Campos
4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.112-129, ⟨10.1007/978-3-642-34347-6_7⟩
Conference papers hal-01556810v1
Image document

An RDMA Middleware for Asynchronous Multi-stage Shuffling in Analytical Processing

 Rui C. Gonçalves , José Pereira , Ricardo Jiménez-Peris
16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.61-74, ⟨10.1007/978-3-319-39577-7_5⟩
Conference papers hal-01434800v1
Image document

Slead: Low-Memory, Steady Distributed Systems Slicing

 Francisco Maia , Miguel Matos , Etienne Rivière , Rui Oliveira
12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.1-15, ⟨10.1007/978-3-642-30823-9_1⟩
Conference papers hal-01527638v1
Image document

Making Operation-Based CRDTs Operation-Based

 Carlos Baquero , Paulo Sérgio Almeida , Ali Shoker
4th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2014, Berlin, Germany. pp.126-140, ⟨10.1007/978-3-662-43352-2_11⟩
Conference papers hal-01287738v1
Page :