Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 4655
62 Team MembersFilters -> Year: 2026
3421
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
3422
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
3423
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
3424
TÃTULO: Specification-Driven Unit Test Generation for Java Generic Classes
AUTORES: Francisco Rebello de Andrade; João Pascoal Faria ; Antónia Lopes ; Ana C R Paiva ;
PUBLICAÇÃO: 2012, FONTE: IFM, VOLUME: 7321 LNCS, PÁGINAS: 296-311
AUTORES: Francisco Rebello de Andrade; João Pascoal Faria ; Antónia Lopes ; Ana C R Paiva ;
PUBLICAÇÃO: 2012, FONTE: IFM, VOLUME: 7321 LNCS, PÁGINAS: 296-311
3425
TÃTULO: Specifying Compiler Strategies for FPGA-based Systems
AUTORES: Cardoso, JMP ; Teixeira, J; Alves, JC ; Nobre, R ; Diniz, PC ; Coutinho, JGF; Luk, W;
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: Cardoso, JMP ; Teixeira, J; Alves, JC ; Nobre, R ; Diniz, PC ; Coutinho, JGF; Luk, W;
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
3426
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: IFM, VOLUME: 7321 LNCS, PÁGINAS: 312-326
AUTORES: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLICAÇÃO: 2012, FONTE: IFM, VOLUME: 7321 LNCS, PÁGINAS: 312-326
3427
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: DAIS, VOLUME: 7272 LNCS, PÁGINAS: 96-103
AUTORES: Miguel Borges; Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLICAÇÃO: 2012, FONTE: DAIS, VOLUME: 7272 LNCS, PÁGINAS: 96-103
3428
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
3429
TÃTULO: Stopping ongoing broadcasts in large MANETs
AUTORES: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLICAÇÃO: 2012, FONTE: ARMOR, PÁGINAS: 4:1-4:5
AUTORES: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLICAÇÃO: 2012, FONTE: ARMOR, PÁGINAS: 4:1-4:5
3430
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
3431
TÃTULO: Studying a Personality Coreference Network in a News Stories Photo Collection
AUTORES: José Luís Devezas ; Filipe Coelho; Sérgio Nunes ; Cristina Ribeiro ;
PUBLICAÇÃO: 2012, FONTE: ECIR, VOLUME: 7224 LNCS, PÁGINAS: 485-488
AUTORES: José Luís Devezas ; Filipe Coelho; Sérgio Nunes ; Cristina Ribeiro ;
PUBLICAÇÃO: 2012, FONTE: ECIR, VOLUME: 7224 LNCS, PÁGINAS: 485-488
3432
TÃTULO: Task Assignment Algorithms for Two-type Heterogeneous Multiprocessors
AUTORES: Gurulingesh Raravi; Bjorn Andersson; Konstantinos Bletsas ; Vincent Nelis ;
PUBLICAÇÃO: 2012, FONTE: 24th Euromicro Conference on Real-Time Systems (ECRTS) in PROCEEDINGS OF THE 24TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2012), PÁGINAS: 34-43
AUTORES: Gurulingesh Raravi; Bjorn Andersson; Konstantinos Bletsas ; Vincent Nelis ;
PUBLICAÇÃO: 2012, FONTE: 24th Euromicro Conference on Real-Time Systems (ECRTS) in PROCEEDINGS OF THE 24TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2012), PÁGINAS: 34-43
3433
TÃTULO: Test Generation from UML Sequence Diagrams
AUTORES: Faria, JP ; Paiva, ACR ; Yang, ZL;
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: 245-250
AUTORES: Faria, JP ; Paiva, ACR ; Yang, ZL;
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: 245-250
3434
TÃTULO: Text Categorization Using an Ensemble Classifier Based on a Mean Co-association Matrix
AUTORES: Luís Moreira Matias ; João Mendes Moreira ; João Gama ; Pavel Brazdil ;
PUBLICAÇÃO: 2012, FONTE: MLDM, VOLUME: 7376 LNAI, PÁGINAS: 525-539
AUTORES: Luís Moreira Matias ; João Mendes Moreira ; João Gama ; Pavel Brazdil ;
PUBLICAÇÃO: 2012, FONTE: MLDM, VOLUME: 7376 LNAI, PÁGINAS: 525-539
3435
TÃTULO: The Learning Design in Education Today - Putting Pedagogical Content Knowledge into Practice
AUTORES: Isabel Azevedo; Dulce Mota ; Carlos Vaz de Carvalho; Eurico Carrapatoso ; Luís Paulo Reis ;
PUBLICAÇÃO: 2012, FONTE: CSEDU (1), VOLUME: 1, PÁGINAS: 344-347
AUTORES: Isabel Azevedo; Dulce Mota ; Carlos Vaz de Carvalho; Eurico Carrapatoso ; Luís Paulo Reis ;
PUBLICAÇÃO: 2012, FONTE: CSEDU (1), VOLUME: 1, PÁGINAS: 344-347
3436
TÃTULO: Topological inference through mobile devices
AUTORES: Marco Antero Paiva; Marcelo R. Petry ; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2012, FONTE: SAC, PÁGINAS: 574-575
AUTORES: Marco Antero Paiva; Marcelo R. Petry ; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2012, FONTE: SAC, PÁGINAS: 574-575
3437
TÃTULO: Towards a Catalog of Spreadsheet Smells
AUTORES: Cunha, J ; Fernandes, JP ; Ribeiro, H; Saraiva, J ;
PUBLICAÇÃO: 2012, FONTE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT IV, VOLUME: 7336, NÚMERO: PART 4, PÁGINAS: 202-216
AUTORES: Cunha, J ; Fernandes, JP ; Ribeiro, H; Saraiva, J ;
PUBLICAÇÃO: 2012, FONTE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT IV, VOLUME: 7336, NÚMERO: PART 4, PÁGINAS: 202-216
3438
TÃTULO: Towards a Framework to Evaluate and Improve the Quality of Implementation of CMMI® Practices
AUTORES: Isabel Lopes Margarido; João Pascoal Faria ; Raul Moreira Vidal; Marco Vieira ;
PUBLICAÇÃO: 2012, FONTE: PROFES, VOLUME: 7343 LNCS, PÁGINAS: 361-365
AUTORES: Isabel Lopes Margarido; João Pascoal Faria ; Raul Moreira Vidal; Marco Vieira ;
PUBLICAÇÃO: 2012, FONTE: PROFES, VOLUME: 7343 LNCS, PÁGINAS: 361-365
3439
TÃTULO: TOWARDS A SERIOUS GAMES EVACUATION SIMULATOR
AUTORES: Ribeiro, J; Almeida, JE; Rossetti, RJF ; Coelho, A ; Coelho, AL;
PUBLICAÇÃO: 2012, FONTE: 26th European Conference on Modelling and Simulation (ECMS 2012) in PROCEEDINGS 26TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2012, PÁGINAS: 697-702
AUTORES: Ribeiro, J; Almeida, JE; Rossetti, RJF ; Coelho, A ; Coelho, AL;
PUBLICAÇÃO: 2012, FONTE: 26th European Conference on Modelling and Simulation (ECMS 2012) in PROCEEDINGS 26TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2012, PÁGINAS: 697-702
3440
TÃTULO: Towards an Autonomous and Intelligent Airline Operations Control
AUTORES: Castro, AJM ; Rocha, AP ; Oliveira, E ;
PUBLICAÇÃO: 2012, FONTE: 15th International IEEE Conference on Intelligent Transportation Systems (ITSC) in 2012 15TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PÁGINAS: 1429-1434
AUTORES: Castro, AJM ; Rocha, AP ; Oliveira, E ;
PUBLICAÇÃO: 2012, FONTE: 15th International IEEE Conference on Intelligent Transportation Systems (ITSC) in 2012 15TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PÁGINAS: 1429-1434
