Search - IFIP Open Digital Library Access content directly

Filter your results

27 results
Structure: Internal structure identifier : 60947
Page :
sorted by
Image document

Developing a Green Product-Based in an Open Innovation Environment. Case Study: Electrical Vehicle

 Ricardo Santos , António Abreu , Vitor Anes
20th Working Conference on Virtual Enterprises (PRO-VE), Sep 2019, Turin, Italy. pp.115-127, ⟨10.1007/978-3-030-28464-0_11⟩
Conference papers hal-02478794v1
Image document

Decentralized Bootstrap for Social Overlay Networks

 Rodolphe Marques , André Zúquete
15th IFIP International Conference on Communications and Multimedia Security (CMS), Sep 2014, Aveiro, Portugal. pp.140-143, ⟨10.1007/978-3-662-44885-4_13⟩
Conference papers hal-01404205v1

ICT Systems Security and Privacy Protection

 Gurpreet Dhillon , Fredrik Karlsson , Karin Hedström , André Zúquete
Springer International Publishing, AICT-562, 2019, IFIP Advances in Information and Communication Technology, ⟨10.1007/978-3-030-22312-0⟩
Books hal-03744304v1
Image document

Content Unification: A Trend Reshaping the iTV Ecosystem

 Jorge Abreu , Pedro Almeida , Sílvia Fernandes , Ana Velhinho , Ana Rodrigues
Esteban Clua; Licinio Roque; Artur Lugmayr; Pauliina Tuomi. 17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. Springer International Publishing, Lecture Notes in Computer Science, LNCS-11112, pp.297-300, 2018, Entertainment Computing – ICEC 2018. ⟨10.1007/978-3-319-99426-0_33⟩
Conference poster hal-02128632v1
Image document

Maximum Shear Modulus Prediction by Marchetti Dilatometer Test Using Neural Networks

 Manuel Cruz , Jorge M. Santos , Nuno Cruz
12th Engineering Applications of Neural Networks (EANN 2011) and 7th Artificial Intelligence Applications and Innovations (AIAI), Sep 2011, Corfu, Greece. pp.335-344, ⟨10.1007/978-3-642-23957-1_38⟩
Conference papers hal-01571370v1
Image document

Taming Hierarchical Connectors

 José Proença , Alexandre Madeira
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.186-193, ⟨10.1007/978-3-030-31517-7_13⟩
Conference papers hal-03769113v1
Image document

Using Fuzzy-based Approaches on Partner’s Selection to Promote Sustainability on Collaborative Networks

 Ricardo Santos , João Matias , Jose Soares , Pedro Carmona Marques , Victor Anes
22nd Working Conference on Virtual Enterprises (PRO-VE 2021), Nov 2021, Saint-Etienne, France. pp.53-64, ⟨10.1007/978-3-030-85969-5_5⟩
Conference papers emse-03324415v1
Image document

Markov Modulated Bi-variate Gaussian Processes for Mobility Modeling and Location Prediction

 Paulo Salvador , António Nogueira
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.227-240, ⟨10.1007/978-3-642-20757-0_18⟩
Conference papers hal-01583408v1
Image document

A Decision-Making Tool to Provide Sustainable Solutions to a Consumer

 Ricardo Santos , J. Matias , Antonio Abreu
11th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Jul 2020, Costa de Caparica, Portugal. pp.63-78, ⟨10.1007/978-3-030-45124-0_6⟩
Conference papers hal-03741557v1

Communications and Multimedia Security

 Bart De Decker , André Zúquete
Springer, LNCS-8735, 2014, Lecture Notes in Computer Science, 978-3-662-44884-7. ⟨10.1007/978-3-662-44885-4⟩
Books hal-01404210v1
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

Prospects for the Improvement of Energy Performance in Agroindustry Using Phase Change Materials

 Carlos Simão , João Murta-Pina , Luís Coelho , João Pássaro , Rui Amaral Lopes , et al.
11th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Jul 2020, Costa de Caparica, Portugal. pp.277-289, ⟨10.1007/978-3-030-45124-0_26⟩
Conference papers hal-03741530v1
Image document

A New Approach to Provide Sustainable Solutions for Residential Sector

 Ricardo Santos , João Matias , António Abreu
10th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), May 2019, Costa de Caparica, Portugal. pp.329-342, ⟨10.1007/978-3-030-17771-3_29⟩
Conference papers hal-02295255v1
Image document

Introducing Interval Differential Dynamic Logic

 Daniel Figueiredo
9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.69-75, ⟨10.1007/978-3-030-89247-0_5⟩
Conference papers hal-04074513v1
Image document

Authenticated File Broadcast Protocol

 Simão Reis , André Zúquete , Carlos Faneca , José Vieira
30th IFIP International Information Security Conference (SEC), May 2015, Hamburg, Germany. pp.237-251, ⟨10.1007/978-3-319-18467-8_16⟩
Conference papers hal-01345111v1
Image document

Personal Identification in the Web Using Electronic Identity Cards and a Personal Identity Provider

 André Zúquete , Hélder Gomes , Cláudio Teixeira
8th IFIP International Workshop on Information Security Theory and Practice (WISTP), Jun 2014, Heraklion, Crete, Greece. pp.160-169, ⟨10.1007/978-3-662-43826-8_12⟩
Conference papers hal-01400938v1
Image document

Physical Activity Among Older Adults: A Meta-review of EU-Funded Research Projects

 Paula Alexandra Silva
17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.374-387, ⟨10.1007/978-3-319-99426-0_47⟩
Conference papers hal-02128608v1
Image document

Training Non-designers in Co-design Methods Through an Active Assisted Living Interactive Workshop

 Paula Alexandra Silva , Ana Dias Daniel
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.166-175, ⟨10.1007/978-3-030-29384-0_10⟩
Conference papers hal-02544583v1
Image document

Designing Entertainment for the Aging Population

 Paula Alexandra Silva , Masood Masoodian
17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.345-348, ⟨10.1007/978-3-319-99426-0_42⟩
Conference papers hal-02128592v1
Image document

Root Cause Analysis of Reduced Accessibility in 4G Networks

 Diogo Ferreira , Carlos Senna , Paulo Salvador , Luís Cortesão , Cristina Pires , et al.
2nd International Conference on Machine Learning for Networking (MLN), Dec 2019, Paris, France. pp.117-133, ⟨10.1007/978-3-030-45778-5_9⟩
Conference papers hal-03266468v1
Image document

A Framework for Enforcing User-Based Authorization Policies on Packet Filter Firewalls

 André Zúquete , Pedro Correia , Miguel Rocha
13th International Conference on Communications and Multimedia Security (CMS), Sep 2012, Canterbury, United Kingdom. pp.204-206, ⟨10.1007/978-3-642-32805-3_20⟩
Conference papers hal-01540897v1
Image document

An iTV Prototype for Content Unification

 Jorge Abreu , Pedro Almeida , Ana Velhinho , Sílvia Fernandes , Rafael Guedes
Esteban Clua; Licinio Roque; Artur Lugmayr; Pauliina Tuomi. 17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. Springer International Publishing, Lecture Notes in Computer Science, LNCS-11112, pp.293-296, 2018, Entertainment Computing – ICEC 2018. ⟨10.1007/978-3-319-99426-0_32⟩
Conference poster hal-02128588v1
Image document

Designing for Aging People

 Masood Masoodian , Paula Alexandra Silva
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.719-724, ⟨10.1007/978-3-030-29390-1_69⟩
Conference papers hal-02878650v1
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

Intergenerational Joint Media Engagement

 Ana Carla Amaro , Lidia Oliveira , Vania Baldi
17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.368-373, ⟨10.1007/978-3-319-99426-0_46⟩
Conference papers hal-02128601v1
Image document

Adding Proof Calculi to Epistemic Logics with Structured Knowledge

 Mario Benevides , Alexandre Madeira , Manuel A. Martins
9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.53-68, ⟨10.1007/978-3-030-89247-0_4⟩
Conference papers hal-04074528v1
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
Page :