Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 3966
49 Team MembersFilters -> Year: 2025
2761
TÃTULO: Self-Healing on the Cloud: State-of-the-art and Future Challenges
AUTORES: Nuno Cardoso ; Rui Abreu ;
PUBLICAÇÃO: 2012, FONTE: 8th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), PÁGINAS: 279-284
AUTORES: Nuno Cardoso ; Rui Abreu ;
PUBLICAÇÃO: 2012, FONTE: 8th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), PÁGINAS: 279-284
2762
TÃTULO: Semi-automated Application Profile Generation for Research Data Assets
AUTORES: Joao Rocha da Silva ; Cristina Ribeiro ; Joao Correia Lopes ;
PUBLICAÇÃO: 2012, FONTE: 6th Research Conference on Metadata and Semantics Research in METADATA AND SEMANTICS RESEARCH, VOLUME: 343, PÁGINAS: 98-106
AUTORES: Joao Rocha da Silva ; Cristina Ribeiro ; Joao Correia Lopes ;
PUBLICAÇÃO: 2012, FONTE: 6th Research Conference on Metadata and Semantics Research in METADATA AND SEMANTICS RESEARCH, VOLUME: 343, PÁGINAS: 98-106
2763
TÃTULO: Semi-supervised learning: Predicting activities in Android environment
AUTORES: Lopes, A; Mendes Moreira, J ; Gama, J ;
PUBLICAÇÃO: 2012, FONTE: Workshop on Ubiquitous Data Mining, UDM 2012 - In Conjunction with the 20th European Conference on Artificial Intelligence, ECAI 2012 in CEUR Workshop Proceedings, VOLUME: 960, PÁGINAS: 38-42
AUTORES: Lopes, A; Mendes Moreira, J ; Gama, J ;
PUBLICAÇÃO: 2012, FONTE: Workshop on Ubiquitous Data Mining, UDM 2012 - In Conjunction with the 20th European Conference on Artificial Intelligence, ECAI 2012 in CEUR Workshop Proceedings, VOLUME: 960, PÁGINAS: 38-42
2764
TÃTULO: Serious game in security: A solution for security trainees
AUTORES: Oliveira, V; Coelho, A ; Guimaraes, R; Rebelo, C;
PUBLICAÇÃO: 2012, FONTE: 4th International Conference on Games and Virtual Worlds for Serious Applications (VS-GAMES) in 4TH INTERNATIONAL CONFERENCE ON GAMES AND VIRTUAL WORLDS FOR SERIOUS APPLICATIONS (VS-GAMES'12), VOLUME: 15, PÁGINAS: 274-282
AUTORES: Oliveira, V; Coelho, A ; Guimaraes, R; Rebelo, C;
PUBLICAÇÃO: 2012, FONTE: 4th International Conference on Games and Virtual Worlds for Serious Applications (VS-GAMES) in 4TH INTERNATIONAL CONFERENCE ON GAMES AND VIRTUAL WORLDS FOR SERIOUS APPLICATIONS (VS-GAMES'12), VOLUME: 15, PÁGINAS: 274-282
2765
TÃTULO: SIARD Archive Browser
AUTORES: Rahman, AU; David, G ; Ribeiro, C ;
PUBLICAÇÃO: 2012, FONTE: 2nd International Conference on Theory and Practice of Digital Libraries, TPDL 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7489 LNCS, PÁGINAS: 496-499
AUTORES: Rahman, AU; David, G ; Ribeiro, C ;
PUBLICAÇÃO: 2012, FONTE: 2nd International Conference on Theory and Practice of Digital Libraries, TPDL 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7489 LNCS, PÁGINAS: 496-499
2766
TÃTULO: Simulation and Performance Assessment of Poker Agents
AUTORES: Luís Filipe Teófilo ; Rosaldo Rossetti ; Luís Paulo Reis ; Henrique Lopes Cardoso ; Pedro Alves Nogueira ;
PUBLICAÇÃO: 2012, FONTE: 13th International Workshop on Multi-Agent-Based Simulation, MABS 2012 in Multi-Agent-Based Simulation XIII - International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers, VOLUME: 7838, PÁGINAS: 69-84
AUTORES: Luís Filipe Teófilo ; Rosaldo Rossetti ; Luís Paulo Reis ; Henrique Lopes Cardoso ; Pedro Alves Nogueira ;
PUBLICAÇÃO: 2012, FONTE: 13th International Workshop on Multi-Agent-Based Simulation, MABS 2012 in Multi-Agent-Based Simulation XIII - International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers, VOLUME: 7838, PÁGINAS: 69-84
2767
TÃTULO: Sistema Inteligente para Auxílio na Seleção e Execução de Tarefas num Jogo Social
AUTORES: Luís Paulo Reis ; Romina Neves; Pedro Abreu ; Brígida Mónica Faria;
PUBLICAÇÃO: 2012, FONTE: COMPUTER - Computer Science and Engineering, VOLUME: 2, NÚMERO: 4, PÁGINAS: 74-81
AUTORES: Luís Paulo Reis ; Romina Neves; Pedro Abreu ; Brígida Mónica Faria;
PUBLICAÇÃO: 2012, FONTE: COMPUTER - Computer Science and Engineering, VOLUME: 2, NÚMERO: 4, PÁGINAS: 74-81
2768
TÃTULO: Sketch express: A sketching interface for facial animation
AUTORES: Jose Carlos Miranda; Xenxo Alvarez; Joao Orvalho; Diego Gutierrez; Augusto Sousa, AA ; Veronica Orvalho ;
PUBLICAÇÃO: 2012, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 36, NÚMERO: 6, PÁGINAS: 585-595
AUTORES: Jose Carlos Miranda; Xenxo Alvarez; Joao Orvalho; Diego Gutierrez; Augusto Sousa, AA ; Veronica Orvalho ;
PUBLICAÇÃO: 2012, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 36, NÚMERO: 6, PÁGINAS: 585-595
2769
TÃTULO: SmellSheet Detective: A Tool for Detecting Bad Smells in Spreadsheets
AUTORES: Jacome Cunha ; Joao Paulo Fernandes ; Pedro Martins ; Jorge Mendes ; Joao Saraiva ;
PUBLICAÇÃO: 2012, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) Co-Located with the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) in 2012 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC), PÁGINAS: 243-244
AUTORES: Jacome Cunha ; Joao Paulo Fernandes ; Pedro Martins ; Jorge Mendes ; Joao Saraiva ;
PUBLICAÇÃO: 2012, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) Co-Located with the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) in 2012 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC), PÁGINAS: 243-244
2770
TÃTULO: Social and solidarity economy web information systems: State of the art. State of the Art
AUTORES: Malta, MC ; Baptista, AA;
PUBLICAÇÃO: 2012, FONTE: Social E-Enterprise: Value Creation through ICT, PÁGINAS: 1-16
AUTORES: Malta, MC ; Baptista, AA;
PUBLICAÇÃO: 2012, FONTE: Social E-Enterprise: Value Creation through ICT, PÁGINAS: 1-16
2771
TÃTULO: Software agents: Can we trust them?
AUTORES: Oliveira, E ;
PUBLICAÇÃO: 2012, FONTE: IEEE 16th International Conference on Intelligent Engineering Systems, INES 2012 in INES 2012 - IEEE 16th International Conference on Intelligent Engineering Systems, Proceedings, PÁGINAS: 15-20
AUTORES: Oliveira, E ;
PUBLICAÇÃO: 2012, FONTE: IEEE 16th International Conference on Intelligent Engineering Systems, INES 2012 in INES 2012 - IEEE 16th International Conference on Intelligent Engineering Systems, Proceedings, PÁGINAS: 15-20
2772
TÃTULO: Special session on 'programming paradigms for reconfigurable multi-core embedded systems'
AUTORES: Gohringer, D; Diniz, P ;
PUBLICAÇÃO: 2012, FONTE: 2012 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2012 in Proceedings - 2012 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2012, PÁGINAS: 227
AUTORES: Gohringer, D; Diniz, P ;
PUBLICAÇÃO: 2012, FONTE: 2012 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2012 in Proceedings - 2012 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2012, PÁGINAS: 227
2773
TÃTULO: Specification-driven unit test generation for java generic classes
AUTORES: Rebello De Andrade, F; Faria, JP ; Lopes, A ; Paiva, ACR ;
PUBLICAÇÃO: 2012, FONTE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7321 LNCS, PÁGINAS: 296-311
AUTORES: Rebello De Andrade, F; Faria, JP ; Lopes, A ; Paiva, ACR ;
PUBLICAÇÃO: 2012, FONTE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7321 LNCS, PÁGINAS: 296-311
2774
TÃTULO: Specifying Compiler Strategies for FPGA-based Systems
AUTORES: Joao M P Cardoso ; Joao Teixeira; Jose C Alves ; Ricardo Nobre ; Pedro C Diniz ; Jose G F Coutinho; Wayne Luk;
PUBLICAÇÃO: 2012, FONTE: 20th IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM) in 2012 IEEE 20TH ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM), PÁGINAS: 192-199
AUTORES: Joao M P Cardoso ; Joao Teixeira; Jose C Alves ; Ricardo Nobre ; Pedro C Diniz ; Jose G F Coutinho; Wayne Luk;
PUBLICAÇÃO: 2012, FONTE: 20th IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM) in 2012 IEEE 20TH ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM), PÁGINAS: 192-199
2775
TÃTULO: Specifying UML Protocol State Machines in Alloy
AUTORES: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLICAÇÃO: 2012, FONTE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, VOLUME: 7321, PÁGINAS: 312-326
AUTORES: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLICAÇÃO: 2012, FONTE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, VOLUME: 7321, PÁGINAS: 312-326
2776
TÃTULO: Spectra: Robust Estimation of Distribution Functions in Networks
AUTORES: Miguel Borges; Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLICAÇÃO: 2012, FONTE: 12th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2012 in Distributed Applications and Interoperable Systems - 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings, VOLUME: 7272, PÁGINAS: 96-103
AUTORES: Miguel Borges; Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLICAÇÃO: 2012, FONTE: 12th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2012 in Distributed Applications and Interoperable Systems - 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings, VOLUME: 7272, PÁGINAS: 96-103
2777
TÃTULO: State of the art on methodologies for the development of a metadata application profile
AUTORES: Curado Malta, M ; Baptista, AA ;
PUBLICAÇÃO: 2012, FONTE: 6th Research Conference on Metadata and Semantics Research, MTSR 2012 in Communications in Computer and Information Science, VOLUME: 343 CCIS, PÁGINAS: 61-73
AUTORES: Curado Malta, M ; Baptista, AA ;
PUBLICAÇÃO: 2012, FONTE: 6th Research Conference on Metadata and Semantics Research, MTSR 2012 in Communications in Computer and Information Science, VOLUME: 343 CCIS, PÁGINAS: 61-73
2778
TÃTULO: State of the Art on Methodologies for the Development of a Metadata Application Profile
AUTORES: Malta, MC ; Baptista, AA ;
PUBLICAÇÃO: 2012, FONTE: 6th Research Conference on Metadata and Semantics Research in METADATA AND SEMANTICS RESEARCH, VOLUME: 343, PÁGINAS: 61-73
AUTORES: Malta, MC ; Baptista, AA ;
PUBLICAÇÃO: 2012, FONTE: 6th Research Conference on Metadata and Semantics Research in METADATA AND SEMANTICS RESEARCH, VOLUME: 343, PÁGINAS: 61-73
2779
TÃTULO: Stopping ongoing broadcasts in large MANETs
AUTORES: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLICAÇÃO: 2012, FONTE: 1st European Workshop on AppRoaches to MObiquitous Resilience, ARMOR '12 in Proceedings of the 1st European Workshop on AppRoaches to MObiquitous Resilience, ARMOR '12, Sibiu, Romania, May 8-11, 2012, PÁGINAS: 4:1-4:5
AUTORES: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLICAÇÃO: 2012, FONTE: 1st European Workshop on AppRoaches to MObiquitous Resilience, ARMOR '12 in Proceedings of the 1st European Workshop on AppRoaches to MObiquitous Resilience, ARMOR '12, Sibiu, Romania, May 8-11, 2012, PÁGINAS: 4:1-4:5
2780
TÃTULO: Structured editing of handwritten mathematics
AUTORES: Alexandra Mendes ;
PUBLICAÇÃO: 2012, FONTE: British Library, EThOS
AUTORES: Alexandra Mendes ;
PUBLICAÇÃO: 2012, FONTE: British Library, EThOS