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

Filter your results

44 results
Page :
sorted by
Image document

A Modular Architecture for Deploying Self-adaptive Traffic Sampling

 João C. Silva , Paulo Carvalho , Solange Rito Lima
8th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2014, Brno, Czech Republic. pp.179-183, ⟨10.1007/978-3-662-43862-6_21⟩
Conference papers hal-01401305v1
Image document

ARx: Reactive Programming for Synchronous Connectors

 José Proença , Guillermina Cledou
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.39-56, ⟨10.1007/978-3-030-50029-0_3⟩
Conference papers hal-03274003v1
Image document

ASPAS: As Secure as Possible Available Systems

 Houssam Yactine , Ali Shoker , Georges Younes
21th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2021, Valletta, Malta. pp.57-73, ⟨10.1007/978-3-030-78198-9_4⟩
Conference papers hal-03384864v1
Image document

Architecture Based on Keyword Driven Testing with Domain Specific Language for a Testing System

 Ricardo B. Pereira , Miguel A. Brito , Ricardo J. Machado
32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.310-316, ⟨10.1007/978-3-030-64881-7_21⟩
Conference papers hal-03239828v1
Image document

Who Is Measuring What and How in EGOV Domain?

 Joana Carvalho , Delfina Soares
17th International Conference on Electronic Government (EGOV), Sep 2018, Krems, Austria. pp.120-131, ⟨10.1007/978-3-319-98690-6_11⟩
Conference papers hal-01961525v1
Image document

Practical Evaluation of Large Scale Applications

 Tiago Jorge , Francisco Maia , Miguel Matos , José Pereira , Rui Oliveira
15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.124-137, ⟨10.1007/978-3-319-19129-4_10⟩
Conference papers hal-01775035v1
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

The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets

 José Luís Silva , Óscar R. Ribeiro , João M. Fernandes , José Creissac Campos , Michael D. Harrison
Third IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.6-21, ⟨10.1007/978-3-642-16488-0_2⟩
Conference papers hal-01055199v1
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

Traffic Engineering Approaches Using Multicriteria Optimization Techniques

 Pedro Sousa , Paulo Cortez , Miguel Rio , Miguel Rocha
9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. pp.104-115, ⟨10.1007/978-3-642-21560-5_9⟩
Conference papers hal-01583655v1
Image document

Similarity Aware Shuffling for the Distributed Execution of SQL Window Functions

 Fábio Coelho , Miguel Matos , José Pereira , Rui Oliveira
17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.3-18, ⟨10.1007/978-3-319-59665-5_1⟩
Conference papers hal-01800128v1
Image document

From a Literature Review to a Conceptual Framework for Health Sector Websites’ Assessment

 Demetrios Sarantis , Delfina Sá Soares
16th International Conference on Electronic Government (EGOV), Sep 2017, St. Petersburg, Russia. pp.128-141, ⟨10.1007/978-3-319-64677-0_11⟩
Conference papers hal-01702995v1
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

A Model to Improve the Accuracy of WSN Simulations

 Óscar Gama , Paulo Carvalho , P. M. Mendes
9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. pp.128-139, ⟨10.1007/978-3-642-21560-5_11⟩
Conference papers hal-01583653v1
Image document

Self-tunable DBMS Replication with Reinforcement Learning

 Luís Ferreira , Fábio Coelho , José Pereira
20th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2020, Valletta, Malta. pp.131-147, ⟨10.1007/978-3-030-50323-9_9⟩
Conference papers hal-03223253v1
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

Worldwide Consensus

 Francisco Maia , Miguel Matos , José Pereira , Rui Oliveira
11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.257-269, ⟨10.1007/978-3-642-21387-8_21⟩
Conference papers hal-01583578v1

Distributed Applications and Interoperable Systems

 José Pereira , Laura Ricci
Springer International Publishing, LNCS-11534, 2019, Lecture Notes in Computer Science, 978-3-030-22495-0. ⟨10.1007/978-3-030-22496-7⟩
Books hal-02319571v1
Image document

A Comparison of Message Exchange Patterns in BFT Protocols

 Fábio Silva , Ana Alonso , José Pereira , Rui Oliveira
20th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2020, Valletta, Malta. pp.104-120, ⟨10.1007/978-3-030-50323-9_7⟩
Conference papers hal-03223258v1
Image document

A Correlation-Aware Data Placement Strategy for Key-Value Stores

 Ricardo Vilaça , Rui Oliveira , José Pereira
11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.214-227, ⟨10.1007/978-3-642-21387-8_17⟩
Conference papers hal-01583587v1
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

Asymmetric Combination of Logics is Functorial: A Survey

 Renato Neves , Alexandre Madeira , Luis S. Barbosa , Manuel A. Martins
23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.39-55, ⟨10.1007/978-3-319-72044-9_4⟩
Conference papers hal-01767465v1
Image document

Observational Semantics for Dynamic Logic with Binders

 Rolf Hennicker , Alexandre Madeira
23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.135-152, ⟨10.1007/978-3-319-72044-9_10⟩
Conference papers hal-01767472v1
Image document

‘Trendy’ Cities: Exploring the Adoption of Different Types of Social Media by Portuguese Municipalities

 Tiago Silva , António Tavares , Mariana Lameiras
11th International Conference on Electronic Participation (ePart), Sep 2019, San Benedetto Del Tronto, Italy. pp.26-34, ⟨10.1007/978-3-030-27397-2_3⟩
Conference papers hal-02446012v1
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

On the Trade-Offs of Combining Multiple Secure Processing Primitives for Data Analytics

 Hugo Carvalho , Daniel Cruz , Rogério Pontes , João Paulo , Rui Oliveira
20th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2020, Valletta, Malta. pp.3-20, ⟨10.1007/978-3-030-50323-9_1⟩
Conference papers hal-03223252v1
Image document

Simulation and Testing of a Platooning Management Protocol Implementation

 Bruno Ribeiro , Fábio Gonçalves , Alexandre Santos , Maria João Nicolau , Bruno Dias , et al.
15th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2017, St. Petersburg, Russia. pp.174-185, ⟨10.1007/978-3-319-61382-6_14⟩
Conference papers hal-01675420v1
Image document

The War on Corruption: The Role of Electronic Government

 João Martins , Bruno Fernandes , Ibrahim Rohman , Linda Veiga
17th International Conference on Electronic Government (EGOV), Sep 2018, Krems, Austria. pp.98-109, ⟨10.1007/978-3-319-98690-6_9⟩
Conference papers hal-01961520v1

Electronic Government

 Hans Jochen Scholl , Olivier Glassey , Marijn Janssen , Bram Klievink , Ida Lindgren , et al.
Springer International Publishing, LNCS-9820, 2016, Lecture Notes in Computer Science, 978-3-319-44420-8. ⟨10.1007/978-3-319-44421-5⟩
Books hal-01636459v1
Page :