Search - IFIP Open Digital Library Access content directly

Filter your results

17 results
level0_domain_s : Computer Science [cs]
labStructName_s : Laboratoire Génie de Production
labStructName_s : High-Assurance Software Laboratory [Braga, Portugal]
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
Image document

Integration of the Supplier Capacity for Choosing the Less Risky Schedule within an Uncertain Environment

Romain Guillaume , Caroline Thierry , Bernard Grabot
11th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE), Oct 2010, Saint-Etienne, France. pp.509-516, ⟨10.1007/978-3-642-15961-9_61⟩
Conference papers hal-01055952v1
Image document

Detect and Correct Abnormal Values in Uncertain Environment: Application to Demand Forecast

Eric Villeneuve , Cédrick Béler , Laurent Geneste
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2014, Ajaccio, France. pp.67-75, ⟨10.1007/978-3-662-44739-0_9⟩
Conference papers hal-01388209v1
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

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

BPRM Methodology: Linking Risk Management and Lesson Learnt System for Bidding Process

Juan Diego Botero , Cédrick Béler , Daniel Noyes
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2014, Ajaccio, France. pp.233-240, ⟨10.1007/978-3-662-44739-0_29⟩
Conference papers hal-01388251v1
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

Advances in Production Management Systems: Innovative and Knowledge-Based Production Management in a Global-LocalWorld

Bernard Grabot , Bruno Vallespir , Samuel Gomes , Abdelaziz Bouras , Dimitris Kiritsis
Springer, AICT-440 (Part III), 2014, IFIP Advances in Information and Communication Technology, 978-3-662-44732-1. ⟨10.1007/978-3-662-44733-8⟩
Books hal-01387331v1
Image document

Intelligent Products: A Spinal Column to Handle Information Exchanges in Supply Chains

Damien Trentesaux , Bernard Grabot , Yves Sallez
20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.452-459, ⟨10.1007/978-3-642-41263-9_56⟩
Conference papers hal-01449753v1
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

Advances in Production Management Systems: Innovative and Knowledge-Based Production Management in a Global-LocalWorld

Bernard Grabot , Bruno Vallespir , Samuel Gomes , Abdelaziz Bouras , Dimitris Kiritsis
Springer, AICT-440 (Part II), 2014, IFIP Advances in Information and Communication Technology, 978-3-662-44735-2. ⟨10.1007/978-3-662-44736-9⟩
Books hal-01387954v1
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

Advances in Production Management Systems: Innovative and Knowledge-Based Production Management in a Global-LocalWorld

Bernard Grabot , Bruno Vallespir , Samuel Gomes , Abdelaziz Bouras , Dimitris Kiritsis
Springer, AICT-438 (Part I), 2014, IFIP Advances in Information and Communication Technology, 978-3-662-44738-3. ⟨10.1007/978-3-662-44739-0⟩
Books hal-01389263v1
Image document

Secured and Efficient Information Exchanges in Collaborative Networks: The Singular Information System

Cédrik Béler , Bernard Grabot
16th Working Conference on Virtual Enterprises (PROVE), Oct 2015, Albi, France. pp.456-463, ⟨10.1007/978-3-319-24141-8_42⟩
Conference papers hal-01437913v1