Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 3973
49 Team MembersFilters -> Year: 2025
3361
TÃTULO: Reverse engineered formal models for GUI testing
AUTORES: Ana C R Paiva ; Joao C P Faria ; Pedro M C Mendes;
PUBLICAÇÃO: 2008, FONTE: 12th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 4916, PÁGINAS: 218-233
AUTORES: Ana C R Paiva ; Joao C P Faria ; Pedro M C Mendes;
PUBLICAÇÃO: 2008, FONTE: 12th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 4916, PÁGINAS: 218-233
3362
TÃTULO: Sensing the world: Challenges on WSNs
AUTORES: Rocha, V; Gil Gonçalves ;
PUBLICAÇÃO: 2008, FONTE: 2008 IEEE International Conference on Automation, Quality and Testing, Robotics, AQTR 2008 - THETA 16th Edition in 2008 IEEE International Conference on Automation, Quality and Testing, Robotics, AQTR 2008 - THETA 16th Edition - Proceedings, VOLUME: 1, PÁGINAS: 54-59
AUTORES: Rocha, V; Gil Gonçalves ;
PUBLICAÇÃO: 2008, FONTE: 2008 IEEE International Conference on Automation, Quality and Testing, Robotics, AQTR 2008 - THETA 16th Edition in 2008 IEEE International Conference on Automation, Quality and Testing, Robotics, AQTR 2008 - THETA 16th Edition - Proceedings, VOLUME: 1, PÁGINAS: 54-59
3363
TÃTULO: Solving Airline Operations Problems Using Specialized Agents in a Distributed Multi-Agent System
AUTORES: Antonio J M Castro ; Eugenio Oliveira ;
PUBLICAÇÃO: 2008, FONTE: 9th International Conference on Enterprise Information Systems (ICEIS 2007) in ENTERPRISE INFORMATION SYSTEMS-BOOKS, VOLUME: 12, PÁGINAS: 173-184
AUTORES: Antonio J M Castro ; Eugenio Oliveira ;
PUBLICAÇÃO: 2008, FONTE: 9th International Conference on Enterprise Information Systems (ICEIS 2007) in ENTERPRISE INFORMATION SYSTEMS-BOOKS, VOLUME: 12, PÁGINAS: 173-184
3364
TÃTULO: Sorting units for FPGA-based embedded systems
AUTORES: Rui Marcelino; Horacio Neto ; Joao M P Cardoso ;
PUBLICAÇÃO: 2008, FONTE: 20th World Computer Congress in DISTRIBUTED EMBEDDED SYSTEMS: DESIGN, MIDDLEWARE AND RESOURCES, VOLUME: 271, PÁGINAS: 11-22
AUTORES: Rui Marcelino; Horacio Neto ; Joao M P Cardoso ;
PUBLICAÇÃO: 2008, FONTE: 20th World Computer Congress in DISTRIBUTED EMBEDDED SYSTEMS: DESIGN, MIDDLEWARE AND RESOURCES, VOLUME: 271, PÁGINAS: 11-22
3365
TÃTULO: Special track on embedded systems: Applications, solutions, and techniques. editorial message
AUTORES: Bechini, A; Prete, CA; Altenbernd, P; Bartolini, S; Bertin, V; Buttazzo, G; Cardoso, JMP ; Dean, A; Engels, M; Foglia, P; Franke, B; Giorgi, R; Hansson, J; Jha, NK; Krall, A; Kuo, TW; Ledeczi, A; Lim, SS; Memik, G; Simeon, J; Sheynin, Y; Sips, HJ; Talpin, JP; Tripakis, S; Velev, M; Yen, IL; ...Mais
PUBLICAÇÃO: 2008, FONTE: 23rd Annual ACM Symposium on Applied Computing, SAC'08 in Proceedings of the ACM Symposium on Applied Computing, PÁGINAS: 1476
AUTORES: Bechini, A; Prete, CA; Altenbernd, P; Bartolini, S; Bertin, V; Buttazzo, G; Cardoso, JMP ; Dean, A; Engels, M; Foglia, P; Franke, B; Giorgi, R; Hansson, J; Jha, NK; Krall, A; Kuo, TW; Ledeczi, A; Lim, SS; Memik, G; Simeon, J; Sheynin, Y; Sips, HJ; Talpin, JP; Tripakis, S; Velev, M; Yen, IL; ...Mais
PUBLICAÇÃO: 2008, FONTE: 23rd Annual ACM Symposium on Applied Computing, SAC'08 in Proceedings of the ACM Symposium on Applied Computing, PÁGINAS: 1476
3366
TÃTULO: Synthesis of regular expressions for FPGAs
AUTORES: Joao Bispo ; Joao M P Cardoso ;
PUBLICAÇÃO: 2008, FONTE: INTERNATIONAL JOURNAL OF ELECTRONICS, VOLUME: 95, NÚMERO: 7, PÁGINAS: 685-704
AUTORES: Joao Bispo ; Joao M P Cardoso ;
PUBLICAÇÃO: 2008, FONTE: INTERNATIONAL JOURNAL OF ELECTRONICS, VOLUME: 95, NÚMERO: 7, PÁGINAS: 685-704
3367
TÃTULO: The impact of contextual information on the accuracy of existing recommender systems for Web personalization
AUTORES: Domingues, MA; Jorge, AM ; Soares, C ;
PUBLICAÇÃO: 2008, FONTE: 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008 in Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008, PÁGINAS: 789-792
AUTORES: Domingues, MA; Jorge, AM ; Soares, C ;
PUBLICAÇÃO: 2008, FONTE: 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008 in Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008, PÁGINAS: 789-792
3368
TÃTULO: The potential of computation reuse in high-level optimization of a signal recognition system
AUTORES: Demertzi, M; Diniz, PC ; Hall, MW; Gilbert, AC; Wang, Y;
PUBLICAÇÃO: 2008, FONTE: 10th Workshop on Advances in Parallel and Distributed Computational Models/22nd IEEE International Parallel and Distributed Processing Symposium in 2008 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-8, PÁGINAS: 2550-+
AUTORES: Demertzi, M; Diniz, PC ; Hall, MW; Gilbert, AC; Wang, Y;
PUBLICAÇÃO: 2008, FONTE: 10th Workshop on Advances in Parallel and Distributed Computational Models/22nd IEEE International Parallel and Distributed Processing Symposium in 2008 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-8, PÁGINAS: 2550-+
3369
TÃTULO: The rationale behind the development of an airline operations control centre using Gaia-based methodology
AUTORES: Castro, A ; Oliveira, E ;
PUBLICAÇÃO: 2008, FONTE: International Journal of Agent-Oriented Software Engineering, VOLUME: 2, NÚMERO: 3, PÁGINAS: 350-377
AUTORES: Castro, A ; Oliveira, E ;
PUBLICAÇÃO: 2008, FONTE: International Journal of Agent-Oriented Software Engineering, VOLUME: 2, NÚMERO: 3, PÁGINAS: 350-377
3370
TÃTULO: Tomatic breast contour detection in digital photographs
AUTORES: Jaime S Cardoso ; Luis F. Teixeira ; Maria J Cardoso ;
PUBLICAÇÃO: 2008, FONTE: 1st International Conference on Health Informatics (HEALTHINF 2008) in HEALTHINF 2008: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON HEALTH INFORMATICS, VOL 2, VOLUME: 2, PÁGINAS: 91-98
AUTORES: Jaime S Cardoso ; Luis F. Teixeira ; Maria J Cardoso ;
PUBLICAÇÃO: 2008, FONTE: 1st International Conference on Health Informatics (HEALTHINF 2008) in HEALTHINF 2008: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON HEALTH INFORMATICS, VOL 2, VOLUME: 2, PÁGINAS: 91-98
3371
TÃTULO: Towards an Artificial Traffic Control System
AUTORES: Rosaldo J F Rossetti ; Paulo A F Ferreira; Rodrigo A A Braga; Eugenio C Oliveira ;
PUBLICAÇÃO: 2008, FONTE: 11th IEEE International Conference on Intelligent Transportation Systems (ITSC 2008) in PROCEEDINGS OF THE 11TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, PÁGINAS: 14-19
AUTORES: Rosaldo J F Rossetti ; Paulo A F Ferreira; Rodrigo A A Braga; Eugenio C Oliveira ;
PUBLICAÇÃO: 2008, FONTE: 11th IEEE International Conference on Intelligent Transportation Systems (ITSC 2008) in PROCEEDINGS OF THE 11TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, PÁGINAS: 14-19
3372
TÃTULO: Towards an ontology mapping process for Business Process Composition
AUTORES: Celia Talma Martins; Americo Azevedo ; Sofia S Pinto ; Eugenio Oliveira ;
PUBLICAÇÃO: 2008, FONTE: 8th IFIP International Conference on Information Technology for Balanced Automation Systems in INNOVATION IN MANUFACTURING NETWORKS, VOLUME: 266, PÁGINAS: 169-176
AUTORES: Celia Talma Martins; Americo Azevedo ; Sofia S Pinto ; Eugenio Oliveira ;
PUBLICAÇÃO: 2008, FONTE: 8th IFIP International Conference on Information Technology for Balanced Automation Systems in INNOVATION IN MANUFACTURING NETWORKS, VOLUME: 266, PÁGINAS: 169-176
3373
TÃTULO: Travel time prediction for the planning of mass transit companies: a machine learning approach
AUTORES: João P C L Mendes Moreira ;
PUBLICAÇÃO: 2008
AUTORES: João P C L Mendes Moreira ;
PUBLICAÇÃO: 2008
3374
TÃTULO: Use of temporal expressions in web search
AUTORES: Sergio Nunes ; Cristina Ribeiro ; Gabriel David ;
PUBLICAÇÃO: 2008, FONTE: 30th European Conference on Information Retrieval (ECIR 2008) in ADVANCES IN INFORMATION RETRIEVAL, VOLUME: 4956, PÁGINAS: 580-584
AUTORES: Sergio Nunes ; Cristina Ribeiro ; Gabriel David ;
PUBLICAÇÃO: 2008, FONTE: 30th European Conference on Information Retrieval (ECIR 2008) in ADVANCES IN INFORMATION RETRIEVAL, VOLUME: 4956, PÁGINAS: 580-584
3375
TÃTULO: USING A DATAWAREHOUSE TO EXTRACT KNOWLEDGE FROM ROBOCUP TEAMS
AUTORES: Isabel Gonzalez; Pedro Abreu ; Luis Paulo Reis ;
PUBLICAÇÃO: 2008, FONTE: 10th International Conference on Enterprise Information Systems in ICEIS 2008: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL DISI: DATABASES AND INFORMATION SYSTEMS INTEGRATION, VOLUME: DISI, PÁGINAS: 511-514
AUTORES: Isabel Gonzalez; Pedro Abreu ; Luis Paulo Reis ;
PUBLICAÇÃO: 2008, FONTE: 10th International Conference on Enterprise Information Systems in ICEIS 2008: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL DISI: DATABASES AND INFORMATION SYSTEMS INTEGRATION, VOLUME: DISI, PÁGINAS: 511-514
3376
TÃTULO: Using a mobile phone and a geobrowser to create multisensory geographic information
AUTORES: Silva, MJ; Pestana, B; Lopes, JC ;
PUBLICAÇÃO: 2008, FONTE: 7th International Conference on Interaction Design and Children, IDC 2008 in Proceedings of the 7th International Conference on Interaction Design and Children, IDC 2008, PÁGINAS: 153-156
AUTORES: Silva, MJ; Pestana, B; Lopes, JC ;
PUBLICAÇÃO: 2008, FONTE: 7th International Conference on Interaction Design and Children, IDC 2008 in Proceedings of the 7th International Conference on Interaction Design and Children, IDC 2008, PÁGINAS: 153-156
3377
TÃTULO: Using concept maps for ontology development: A case in the work organization domain
AUTORES: Antonio Soares ; Cristovao Sousa ;
PUBLICAÇÃO: 2008, FONTE: 8th IFIP International Conference on Information Technology for Balanced Automation Systems in INNOVATION IN MANUFACTURING NETWORKS, VOLUME: 266, PÁGINAS: 177-186
AUTORES: Antonio Soares ; Cristovao Sousa ;
PUBLICAÇÃO: 2008, FONTE: 8th IFIP International Conference on Information Technology for Balanced Automation Systems in INNOVATION IN MANUFACTURING NETWORKS, VOLUME: 266, PÁGINAS: 177-186
3378
TÃTULO: Using Fault Screeners for Software Error Detection
AUTORES: Rui Abreu ; Alberto González; Peter Zoeteweij; Arjan J C van Gemund;
PUBLICAÇÃO: 2008, FONTE: 3rd and 4th International Conferences on Evaluation of Novel Approaches to Software Engineering, ENASE 2008/2009 in Evaluation of Novel Approaches to Software Engineering - 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers, VOLUME: 69, PÁGINAS: 60-74
AUTORES: Rui Abreu ; Alberto González; Peter Zoeteweij; Arjan J C van Gemund;
PUBLICAÇÃO: 2008, FONTE: 3rd and 4th International Conferences on Evaluation of Novel Approaches to Software Engineering, ENASE 2008/2009 in Evaluation of Novel Approaches to Software Engineering - 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers, VOLUME: 69, PÁGINAS: 60-74
3379
TÃTULO: Using MPEG-21 and web services to achieve end-to-end QoS management
AUTORES: Andrade, MT ; Souto, PF ;
PUBLICAÇÃO: 2008, FONTE: IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR 2008) in 2008 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS (AQTR 2008), THETA 16TH EDITION, VOL I, PROCEEDINGS, VOLUME: 1, PÁGINAS: 346-351
AUTORES: Andrade, MT ; Souto, PF ;
PUBLICAÇÃO: 2008, FONTE: IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR 2008) in 2008 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS (AQTR 2008), THETA 16TH EDITION, VOL I, PROCEEDINGS, VOLUME: 1, PÁGINAS: 346-351
3380
TÃTULO: Virtual Organization Support through Electronic Institutions and Normative Multi-Agent Systems
AUTORES: Henrique Lopes Cardoso ; Ana Paula Rocha ; Euge´nio Oliveira ;
PUBLICAÇÃO: 2008, FONTE: Concepts, Methodologies, Tools, and Applications - Intelligent Information Technologies, PÁGINAS: 1684-1701
AUTORES: Henrique Lopes Cardoso ; Ana Paula Rocha ; Euge´nio Oliveira ;
PUBLICAÇÃO: 2008, FONTE: Concepts, Methodologies, Tools, and Applications - Intelligent Information Technologies, PÁGINAS: 1684-1701