Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 Publications Count: 4625
61 Team MembersFilters -> Year: 2026
3721
TITLE: Test Coverage Analysis of UML Activity Diagrams for Interactive Systems
AUTHORS: Ferreira, RDF; Faria, JP ; Paiva, ACR ;
PUBLISHED: 2010, SOURCE: 7th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUATIC 2010: SEVENTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, PAGES: 268-273
AUTHORS: Ferreira, RDF; Faria, JP ; Paiva, ACR ;
PUBLISHED: 2010, SOURCE: 7th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUATIC 2010: SEVENTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, PAGES: 268-273
3722
TITLE: Test Coverage Analysis of UML State Machines
AUTHORS: Ricardo D F Ferreira; João C P Faria ; Ana C R Paiva ;
PUBLISHED: 2010, SOURCE: ICST Workshops, PAGES: 284-289
AUTHORS: Ricardo D F Ferreira; João C P Faria ; Ana C R Paiva ;
PUBLISHED: 2010, SOURCE: ICST Workshops, PAGES: 284-289
3723
TITLE: Testing Aspect-Oriented Programs
AUTHORS: Moreira, RMLM; Paiva, ACR ; Aguiar, A ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 271-276
AUTHORS: Moreira, RMLM; Paiva, ACR ; Aguiar, A ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 271-276
3724
TITLE: The algorithmics of solitaire-like games
AUTHORS: Backhouse, R; Chen, W; Ferreira, JF ;
PUBLISHED: 2010, SOURCE: 10th International Conference on the Mathematics of Program Construction, MPC 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6120 LNCS, PAGES: 1-18
AUTHORS: Backhouse, R; Chen, W; Ferreira, JF ;
PUBLISHED: 2010, SOURCE: 10th International Conference on the Mathematics of Program Construction, MPC 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6120 LNCS, PAGES: 1-18
3725
TITLE: The Feasibility of Navigation Algorithms on Smartphones using J2ME
AUTHORS: Santos, AC; Tarrataca, L; Cardoso, JMP ;
PUBLISHED: 2010, SOURCE: MOBILE NETWORKS & APPLICATIONS, VOLUME: 15, ISSUE: 6, PAGES: 819-830
AUTHORS: Santos, AC; Tarrataca, L; Cardoso, JMP ;
PUBLISHED: 2010, SOURCE: MOBILE NETWORKS & APPLICATIONS, VOLUME: 15, ISSUE: 6, PAGES: 819-830
3726
TITLE: The GZoltar Project: A Graphical Debugger Interface
AUTHORS: Andre Riboira; Rui Abreu ;
PUBLISHED: 2010, SOURCE: 5th International Academic and Industrial Conference TAIC PART 2010 in TESTING - PRACTICE AND RESEARCH TECHNIQUES, VOLUME: 6303, PAGES: 215-218
AUTHORS: Andre Riboira; Rui Abreu ;
PUBLISHED: 2010, SOURCE: 5th International Academic and Industrial Conference TAIC PART 2010 in TESTING - PRACTICE AND RESEARCH TECHNIQUES, VOLUME: 6303, PAGES: 215-218
3727
TITLE: The Impact of Pre-processing on the Classification of MEDLINE Documents
AUTHORS: Gonçalves, CA ; Gonçalves, CT ; Camacho, R ; Oliveira, E ;
PUBLISHED: 2010, SOURCE: 10th International Workshop on Pattern Recognition in Information Systems, PRIS 2010 / ICEIS 2010 in PATTERN RECOGNITION IN INFORMATION SYSTEMS, PAGES: 53-61
AUTHORS: Gonçalves, CA ; Gonçalves, CT ; Camacho, R ; Oliveira, E ;
PUBLISHED: 2010, SOURCE: 10th International Workshop on Pattern Recognition in Information Systems, PRIS 2010 / ICEIS 2010 in PATTERN RECOGNITION IN INFORMATION SYSTEMS, PAGES: 53-61
3728
TITLE: The SAFE-PORT project: An approach to port surveillance and protection
AUTHORS: Martins, M; Casimiro, RP; Goncalves, S; Rodrigues, A; Captivo, ME ; Gil Gonçalves ; Sousa, J; Calado, J; Manso, M; Lopes, J; Freitas, JC; Abreu, MA ; Bezzeghoud, M ; Salgado, R ;
PUBLISHED: 2010, SOURCE: 2010 International Waterside Security Conference, WSS 2010 in 2010 International Waterside Security Conference, WSS 2010
AUTHORS: Martins, M; Casimiro, RP; Goncalves, S; Rodrigues, A; Captivo, ME ; Gil Gonçalves ; Sousa, J; Calado, J; Manso, M; Lopes, J; Freitas, JC; Abreu, MA ; Bezzeghoud, M ; Salgado, R ;
PUBLISHED: 2010, SOURCE: 2010 International Waterside Security Conference, WSS 2010 in 2010 International Waterside Security Conference, WSS 2010
3729
TITLE: Tokenizing micro-blogging messages using a text classification approach
AUTHORS: Gustavo Laboreiro; Luís Sarmento; Teixeira, Jorge ; Eugénio C Oliveira ;
PUBLISHED: 2010, SOURCE: AND, PAGES: 81-88
AUTHORS: Gustavo Laboreiro; Luís Sarmento; Teixeira, Jorge ; Eugénio C Oliveira ;
PUBLISHED: 2010, SOURCE: AND, PAGES: 81-88
3730
TITLE: Traffic Light Control using Reactive Agents
AUTHORS: Lucio Sanchez Passos; Rosaldo Rossetti ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 588-593
AUTHORS: Lucio Sanchez Passos; Rosaldo Rossetti ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 588-593
3731
TITLE: Transport with Automatic Guided Vehicles in the Factory of the Future
AUTHORS: Almeida, FL ; Terra, BM; Dias, PA ; Gil Gonçalves ;
PUBLISHED: 2010, SOURCE: 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), PAGES: 1-4
AUTHORS: Almeida, FL ; Terra, BM; Dias, PA ; Gil Gonçalves ;
PUBLISHED: 2010, SOURCE: 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), PAGES: 1-4
3732
TITLE: Transport with Conveyors in the Factory of the Future
AUTHORS: Almeida, FL ; Terra, BM; Dias, PA ; Gil Gonçalves ;
PUBLISHED: 2010, SOURCE: IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR) in PROCEEDINGS OF 2010 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS (AQTR 2010), VOLS. 1-3, VOLUME: 3, PAGES: 41-46
AUTHORS: Almeida, FL ; Terra, BM; Dias, PA ; Gil Gonçalves ;
PUBLISHED: 2010, SOURCE: IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR) in PROCEEDINGS OF 2010 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS (AQTR 2010), VOLS. 1-3, VOLUME: 3, PAGES: 41-46
3733
TITLE: TraSMAPI: An API oriented towards Multi-Agent Systems real-time interaction with multiple Traffic Simulators
AUTHORS: Ivo J P M Timóteo; Miguel R Araujo ; Rosaldo J F Rossetti ; Eugénio C Oliveira ;
PUBLISHED: 2010, SOURCE: ITSC, PAGES: 1183-1188
AUTHORS: Ivo J P M Timóteo; Miguel R Araujo ; Rosaldo J F Rossetti ; Eugénio C Oliveira ;
PUBLISHED: 2010, SOURCE: ITSC, PAGES: 1183-1188
3734
TITLE: Trust Estimation Using Contextual Fitness
AUTHORS: Urbano, J ; Rocha, AP ; Oliveira, E ;
PUBLISHED: 2010, SOURCE: 4th KES International Symposium on Agent and Multi-Agent Systems in AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PT I, PROCEEDINGS, VOLUME: 6070, ISSUE: PART 1, PAGES: 42-+
AUTHORS: Urbano, J ; Rocha, AP ; Oliveira, E ;
PUBLISHED: 2010, SOURCE: 4th KES International Symposium on Agent and Multi-Agent Systems in AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PT I, PROCEEDINGS, VOLUME: 6070, ISSUE: PART 1, PAGES: 42-+
3735
TITLE: Trust Evaluation for Reliable Electronic Transactions between Business Partners
AUTHORS: Joana Urbano ; Ana Paula Rocha ; Eugénio Oliveira ;
PUBLISHED: 2010, SOURCE: ATOP@AAMAS, VOLUME: 98 LNBIP, PAGES: 219-237
AUTHORS: Joana Urbano ; Ana Paula Rocha ; Eugénio Oliveira ;
PUBLISHED: 2010, SOURCE: ATOP@AAMAS, VOLUME: 98 LNBIP, PAGES: 219-237
3736
TITLE: Trustworthiness Tendency Incremental Extraction Using Information Gain
AUTHORS: Joana Urbano ; Ana Paula Rocha ; Eugénio C Oliveira ;
PUBLISHED: 2010, SOURCE: IAT, VOLUME: 2, PAGES: 411-414
AUTHORS: Joana Urbano ; Ana Paula Rocha ; Eugénio C Oliveira ;
PUBLISHED: 2010, SOURCE: IAT, VOLUME: 2, PAGES: 411-414
3737
TITLE: Using Local Precision to Compare Search Engines in Consumer Health Information Retrieval
AUTHORS: Lopes, CT ; Ribeiro, C ;
PUBLISHED: 2010, SOURCE: 33rd Annual International ACM SIGIR Conference on Research and Development in Information Retrieval in SIGIR 2010: PROCEEDINGS OF THE 33RD ANNUAL INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH DEVELOPMENT IN INFORMATION RETRIEVAL, PAGES: 835-836
AUTHORS: Lopes, CT ; Ribeiro, C ;
PUBLISHED: 2010, SOURCE: 33rd Annual International ACM SIGIR Conference on Research and Development in Information Retrieval in SIGIR 2010: PROCEEDINGS OF THE 33RD ANNUAL INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH DEVELOPMENT IN INFORMATION RETRIEVAL, PAGES: 835-836
3738
TITLE: Using Meta-learning to Classify Traveling Salesman Problems
AUTHORS: Jorge Y Kanda; André Carlos Ponce de Leon Ferreira de Carvalho; Eduardo R Hruschka; Carlos Soares ;
PUBLISHED: 2010, SOURCE: SBRN, PAGES: 73-78
AUTHORS: Jorge Y Kanda; André Carlos Ponce de Leon Ferreira de Carvalho; Eduardo R Hruschka; Carlos Soares ;
PUBLISHED: 2010, SOURCE: SBRN, PAGES: 73-78
3739
TITLE: Validation of both number and coverage of bus schedules using AVL data
AUTHORS: Luís Matias ; João Gama ; João Mendes Moreira ; Jorge Freire de Sousa ;
PUBLISHED: 2010, SOURCE: ITSC, PAGES: 131-136
AUTHORS: Luís Matias ; João Gama ; João Mendes Moreira ; Jorge Freire de Sousa ;
PUBLISHED: 2010, SOURCE: ITSC, PAGES: 131-136
3740
TITLE: Wearable computing for patients with coronary diseases: Gathering efforts by comparing methods
AUTHORS: Rocha, V; Borza, P; Correia, J; Gil Gonçalves ; Puscas, A; Seromenho, R; Mascioletti, A; Picano, A; Cocorada, S; Carp, M;
PUBLISHED: 2010, SOURCE: IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR) in PROCEEDINGS OF 2010 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS (AQTR 2010), VOLS. 1-3, VOLUME: 2, PAGES: 339-347
AUTHORS: Rocha, V; Borza, P; Correia, J; Gil Gonçalves ; Puscas, A; Seromenho, R; Mascioletti, A; Picano, A; Cocorada, S; Carp, M;
PUBLISHED: 2010, SOURCE: IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR) in PROCEEDINGS OF 2010 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS (AQTR 2010), VOLS. 1-3, VOLUME: 2, PAGES: 339-347
