Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering

AuthID: I-000-0K9


Publications Count: 4481

56 Team Members
Filters -> Year: 2025
3421
TÍTULO: Software testing in critical embedded systems: A systematic review of adherence to the DO-178B standard
AUTORES: Jacson Rodrigues Barbosa; VINCENZI, AURI M. R. ; Márcio Eduardo Delamaro; José Carlos Maldonado;
PUBLICAÇÃO: 2011, FONTE: Valid 2011 3rd International Conference on Advances in System Testing and Validation Lifecycle, PÁGINAS: 126-130
3422
TÍTULO: Solving Heterogeneous Fleet Multiple Depot Vehicle Scheduling Problem as an Asymmetric Traveling Salesman Problem
AUTORES: Jorge Alpedrinha Ramos; Luis Paulo Reis ; Dulce Pedrosa;
PUBLICAÇÃO: 2011, FONTE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PÁGINAS: 98-109
3423
TÍTULO: Special Issue on Artificial Transportation Systems and Simulation
AUTORES: Rossetti, RJF ; Liu, RH; Tang, SM;
PUBLICAÇÃO: 2011, FONTE: IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, VOLUME: 12, NÚMERO: 2, PÁGINAS: 309-312
3424
TÍTULO: Spectrum-based sequential diagnosis
AUTORES: Gonzalez Sanchez, A; Abreu, R ; Gross, HG; Van Gemund, AJC;
PUBLICAÇÃO: 2011, FONTE: 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11 in Proceedings of the National Conference on Artificial Intelligence, VOLUME: 1, PÁGINAS: 189-196
3425
TÍTULO: Spectrum-Based Sequential Diagnosis
AUTORES: Alberto Gonzalez Sanchez; Rui Abreu ; Hans Gerhard Gross; Arjan J C van Gemund;
PUBLICAÇÃO: 2011, FONTE: Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011, PÁGINAS: 189-196
3426
TÍTULO: Tangible Interaction on Tabletops for Elderly People
AUTORES: Marques, T; Nunes, F; Silva, P; Rodrigues, R ;
PUBLICAÇÃO: 2011, FONTE: 10th International Conference on Entertainment Computing10th Biennial Pan Ocean Remote Sensing Conference (PORSEC) in ENTERTAINMENT COMPUTING - ICEC 2011, VOLUME: 6972, PÁGINAS: 440-443
3427
TÍTULO: Technical analysis and approaches for game development in second life
AUTORES: Cruz, A; Coelho, A ; Sousa, A ;
PUBLICAÇÃO: 2011, FONTE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
3428
TÍTULO: Techniques for Dynamically Mapping Computations to Coprocessors
AUTORES: João Bispo ; João M P Cardoso ;
PUBLICAÇÃO: 2011, FONTE: 2011 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2011 in 2011 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2011, Cancun, Mexico, November 30 - December 2, 2011, PÁGINAS: 505-508
3429
TÍTULO: Term Weighting Based on Document Revision History
AUTORES: Nunes, S ; Ribeiro, C ; David, G ;
PUBLICAÇÃO: 2011, FONTE: JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE AND TECHNOLOGY, VOLUME: 62, NÚMERO: 12, PÁGINAS: 2471-2478
3430
TÍTULO: Test case generation from mutated task models
AUTORES: Barbosa, A; Paiva, ACR ; Campos, JC ;
PUBLICAÇÃO: 2011, FONTE: 3rd ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'11 in Proceedings of the 2011 SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2011, PÁGINAS: 175-184
3431
TÍTULO: TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY
AUTORES: Francisco Rebello de Andrade; Joao Pascoal Faria ; Ana C R Paiva ;
PUBLICAÇÃO: 2011, FONTE: 6th International Conference on Software and Database Technologies (ICSOFT 2011) in ICSOFT 2011: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATABASE TECHNOLOGIES, VOL 2, VOLUME: 2, PÁGINAS: 192-200
3432
TÍTULO: Towards automatic quantification of the epicardial fat in non-contrasted CT images
AUTORES: Jorge G Barbosa ; Bruno Figueiredo; Nuno Bettencourt ; João Manuel R. S. Tavares ;
PUBLICAÇÃO: 2011, FONTE: COMPUTER METHODS IN BIOMECHANICS AND BIOMEDICAL ENGINEERING, VOLUME: 14, NÚMERO: 10, PÁGINAS: 905-914
3433
TÍTULO: Towards Emotional Interaction: Using Movies to Automatically Learn Users' Emotional States
AUTORES: Eva Oliveira ; Mitchel Benovoy; Nuno Ribeiro ; Teresa Chambe ;
PUBLICAÇÃO: 2011, FONTE: 13th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT) in HUMAN-COMPUTER INTERACTION - INTERACT 2011, PT I, VOLUME: 6946, NÚMERO: PART 1, PÁGINAS: 152-161
3434
TÍTULO: Towards the next-generation traffic simulation tools: A first appraisal
AUTORES: Passos, LS; Rossetti, RJF ; Kokkinogenis, Z ;
PUBLICAÇÃO: 2011, FONTE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
3435
TÍTULO: Transformation Rules for Model Migration in Relational Database Preservation
AUTORES: Arif Ur Rahman; Cristina Ribeiro ; Gabriel David ;
PUBLICAÇÃO: 2011, FONTE: Proceedings of the 8th International Conference on Digital Preservation, iPRES 2011, Singapore, November 1-4, 2011
3436
TÍTULO: Trust-Based Selection of Partners
AUTORES: Maria Joana Urbano ; Ana Paula Rocha ; Eugenio Oliveira ;
PUBLICAÇÃO: 2011, FONTE: 12th International Conference on Electronic Commerce and Web Technologies (EC Web 2011) in E-COMMERCE AND WEB TECHNOLOGIES, VOLUME: 85, PÁGINAS: 221-232
3437
TÍTULO: Twenty-Five Years of Research in Structural and Mutation Testing
AUTORES: Márcio Eduardo Delamaro; Marcos Lordello Chaim; VINCENZI, AURI M. R. ; Mário Jino; José Carlos Maldonado;
PUBLICAÇÃO: 2011, FONTE: 25th Brazilian Symposium on Software Engineering, SBES 2011, Sao Paulo, Brazil, September 28-30, 2011, PÁGINAS: 40-49
3438
TÍTULO: Two Humanoid Simulators: Comparison and Synthesis
AUTORES: Nima Shafii; Luis Paulo Reis ; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2011, FONTE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PÁGINAS: 773-778
3439
TÍTULO: Type-Safe Evolution of Spreadsheets
AUTORES: Cunha, J ; Visser, J; Alves, T; Saraiva, J ;
PUBLICAÇÃO: 2011, FONTE: 14th European Joint Conferences on Theory and Practice of Software in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 6603, PÁGINAS: 186-201
3440
TÍTULO: Uncertainty Sampling Methods for Selecting Datasets in Active Meta-Learning
AUTORES: Ricardo B C Prudencio; Carlos Soares ; Teresa B Ludermir;
PUBLICAÇÃO: 2011, FONTE: International Joint Conference on Neural Networks (IJCNN) in 2011 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), PÁGINAS: 1082-1089

Results per Page: 20.
Página 172 de 225. Total de resultados: 4481.