A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Framework for a business interoperability quotient measurement model

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova da Lisboa para obtenção do grau de Mestre em Engenharia e Gestão Industrial (MEGI)

Supporting NAT traversal and secure communications in a protocol implementation framework

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Proactive services ecosystem framework

Dissertation presented to obtain the degree of Doctor in Electrical and Computer Engineering, specialization on Collaborative Enterprise Networks

Monitoring morphisms to support sustainable interoperability of enterprise systems

Dissertation to obtain the Master degree in Electrical Engineering and Computer Science

Organising interoperability information on highly dynamic and heterogeneous environments

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Lean, agile, resilient and green supply chain management interoperability assessment methodology

Dissertação para obtenção de grau de Mestre em Engenharia e Gestão Industrial (MEGI)

Tuple-based morphisms for interoperability establishment of financial information models

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e Computadores

Sustainability of systems interoperability in dynamic business networks

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores

Interoperability on low power devices

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

NEGOSEIO: framework for the sustainability of model-oriented enterprise interoperability

Dissertation to obtain the degree of Doctor of Philosophy in Electrical and Computer Engineering(Industrial Information Systems)

Methodology for enterprise interoperability assessment

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

A simulation model for lean, agile, resilient and green supply chain management: practices and interoperability assessment

Dissertação para obtenção do Grau de Mestre em Engenharia e Gestão Industrial

Negotiation environment to support enterprise interoperability sustainability

Dissertation to obtain the Master degree in Electrical Engineering and Computer Science

Hub-and-spoke Interoperability: an out of the skies approach for large-scale data interoperability

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores