Search - IFIP Open Digital Library Access content directly

Filter your results

94 results
Structure: Internal structure identifier : 300854
language_s : English
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

Cost Management Practices in Collaborative Product Development Processes

Carlos Barbosa , Paulo Afonso , Manuel Nunes
19th Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece. pp.494-501, ⟨10.1007/978-3-642-40352-1_62⟩
Conference papers hal-01472282v1
Image document

ICT in Teacher Education: Developing Key Competencies in Face-to-Face and Distance Learning

Ana A. Carvalho
IFIP TC 3 International Conference on Key Competencies in the Knowledge Society (KCKS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.23-34, ⟨10.1007/978-3-642-15378-5_3⟩
Conference papers hal-01054680v1
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

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

A Mobile and Evolving Tool to Predict Colorectal Cancer Survivability

Ana Silva , Tiago Oliveira , Vicente Julian , José Neves , Paulo Novais
12th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2016, Thessaloniki, Greece. pp.14-26, ⟨10.1007/978-3-319-44944-9_2⟩
Conference papers hal-01557601v1
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
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

Topics in Theoretical Computer Science

Luis Barbosa , Mohammad Ali Abam
Springer International Publishing, LNCS-12281, 2020, Lecture Notes in Computer Science, 978-3-030-57851-0. ⟨10.1007/978-3-030-57852-7⟩
Books hal-03165376v1
Image document

Finding a School Technological Partner

Teresa Pereira , António Castro
10th Next Generation of Information Technology in Educational Management (ITEM), Aug 2012, Bremen, Germany. pp.131-141, ⟨10.1007/978-3-642-38411-0_12⟩
Conference papers hal-01468469v1
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

Applying the Paraconsistent Annotated Evidential Logic Eτ in a Solar Tracker for Photovoltaic Panels: An Analytical Approach

Álvaro Prado , Marcelo Nogueira , Jair Minoro Abe , Ricardo J. Machado
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2016, Iguassu Falls, Brazil. pp.280-287, ⟨10.1007/978-3-319-51133-7_34⟩
Conference papers hal-01615795v1
Image document

Prescriptive Cost Management for Lean Supply Chains:

Paulo Afonso , João Leite
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2016, Iguassu Falls, Brazil. pp.943-951, ⟨10.1007/978-3-319-51133-7_111⟩
Conference papers hal-01615729v1
Image document

Applicability of Risk Process in Software Projects in Accordance with ISO 31.000:2009

Marcelo Nogueira , Ricardo J. Machado
19th Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece. pp.734-741, ⟨10.1007/978-3-642-40352-1_92⟩
Conference papers hal-01472350v1
Image document

Bloom Taxonomy, Serious Games and Lean Learning: What Do These Topics Have in Common?

Gabriela R. Witeck , Anabela C. Alves , Mariana Bernardo
7th European Lean Educator Conference (ELEC), Oct 2021, Trondheim, Norway. pp.308-316, ⟨10.1007/978-3-030-92934-3_31⟩
Conference papers hal-03771917v1
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

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

ICT and Environmental Sustainability: A Case Study of a Grassroots Initiative

Ana Cardoso , João Carvalho
10th International Conference on Human Choice and Computers (HCC), Sep 2012, Amsterdam, Netherlands. pp.69-78, ⟨10.1007/978-3-642-33332-3_7⟩
Conference papers hal-01525101v1
Image document

Primary School Students’ Choices in Writing Opinion Essays: Using ICT Combined with Self-Regulated Strategies

Catarina Liane Araújo , António José Osório , Ana Martins
11th IFIP World Conference on Computers in Education (WCCE), Jul 2017, Dublin, Ireland. pp.323-334, ⟨10.1007/978-3-319-74310-3_34⟩
Conference papers hal-01762911v1
Image document

Towards Eco-efficient Lean Production Systems

Francisco Moreira , Anabela C. Alves , Rui M. Sousa
9th IFIP WG 5.5 International Conference on Balanced Automation Systems for Future Manufacturing Networks (BASYS), Jul 2010, Valencia, Spain. pp.100-108, ⟨10.1007/978-3-642-14341-0_12⟩
Conference papers hal-01060709v1
Image document

ICT Platform Design for SME Collaboration

Senay Sadic , Jorge Sousa , José Crispim
6th IFIP International Workshop on Artificial Intelligence for Knowledge Management (AI4KM), Jul 2018, Stockholm, Sweden. pp.25-33, ⟨10.1007/978-3-030-52903-1_3⟩
Conference papers hal-03478007v1
Image document

Analysis of the Features of a UPQC to Improve Power Quality in Smart Grids

J. G. Pinto , Carlos Couto , João L. Afonso
4th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2013, Costa de Caparica, Portugal. pp.299-306, ⟨10.1007/978-3-642-37291-9_32⟩
Conference papers hal-01348767v1
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
Image document

Multi-agent System Architecture for Distributed Home Health Care Information Systems

Filipe Alves , Ana Rocha , Ana I. Pereira , Paulo Leitão
12th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Jul 2021, Costa de Caparica, Portugal. pp.295-303, ⟨10.1007/978-3-030-78288-7_28⟩
Conference papers hal-03685939v1
Image document

The Future of Information Systems in a Post-COVID World by TC8 (Information Systems)

Isabel Ramos , Dale Mackrell , Alta van Der Merwe , Jan Pries-Heje , Jolita Ralyté , et al.
Advancing Research in Information and Communication Technology, AICT-600, pp.333-360, 2021, ⟨10.1007/978-3-030-81701-5_14⟩
Book sections hal-03325992v1