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

Filter your results

44 results
Page :
sorted by
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

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

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

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

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
Image document

Improving the Scalability of Cloud-Based Resilient Database Servers

 Luís Soares , José Pereira
11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.136-149, ⟨10.1007/978-3-642-21387-8_11⟩
Conference papers hal-01583588v1
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

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

A Framework for Robust Traffic Engineering Using Evolutionary Computation

 Vitor Pereira , Miguel Rocha , Paulo Cortez , Miguel Rio , Pedro Sousa
7th International Conference on Autonomous Infrastructure (AIMS), Jun 2013, Barcelona, Spain. pp.1-12, ⟨10.1007/978-3-642-38998-6_1⟩
Conference papers hal-01489965v1
Image document

How to Kill Epsilons with a Dagger

 Filippo Bonchi , Stefan Milius , Alexandra Silva , Fabio Zanasi
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.53-74, ⟨10.1007/978-3-662-44124-4_4⟩
Conference papers hal-01408752v1
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

Free Typed Text Using Keystroke Dynamics for Continuous Authentication

 Paulo Pinto , Bernardo Patrão , Henrique Santos
15th IFIP International Conference on Communications and Multimedia Security (CMS), Sep 2014, Aveiro, Portugal. pp.33-45, ⟨10.1007/978-3-662-44885-4_3⟩
Conference papers hal-01404183v1
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

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

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

Electronic Participation with a Special Reference to Social Media - A Literature Review

 Ayman Alarabiat , Delfina Sá Soares , Elsa Estevez
8th International Conference on Electronic Participation (ePart), Sep 2016, Guimarães, Portugal. pp.41-52, ⟨10.1007/978-3-319-45074-2_4⟩
Conference papers hal-01637225v1

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
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

Coordination Models and Languages

 Alberto Lluch Lafuente , José Proença
Springer International Publishing, LNCS-9686, 2016, Lecture Notes in Computer Science, 978-3-319-39518-0. ⟨10.1007/978-3-319-39519-7⟩
Books hal-01631711v1
Image document

DDFlasks: Deduplicated Very Large Scale Data Store

 Francisco Maia , João Paulo , Fábio Coelho , Francisco Neves , José Pereira , et al.
17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.51-66, ⟨10.1007/978-3-319-59665-5_4⟩
Conference papers hal-01800122v1
Image document

Quality-Aware Reactive Programming for the Internet of Things

 José Proença , Carlos Baquero
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.180-195, ⟨10.1007/978-3-319-68972-2_12⟩
Conference papers hal-01760858v1
Image document

Networks of Universities as a Tool for GCIO Education

 Luís S. Barbosa , Luís Paulo Santos
16th International Conference on Electronic Government (EGOV), Sep 2017, St. Petersburg, Russia. pp.117-127, ⟨10.1007/978-3-319-64677-0_10⟩
Conference papers hal-01702983v1
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

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

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

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

Composing Families of Timed Automata

 Guillermina Cledou , José Proença , Luis Soares Barbosa
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.51-66, ⟨10.1007/978-3-319-68972-2_4⟩
Conference papers hal-01760866v1
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
Page :