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

AuthID: I-000-0K9


Publications Count: 4653

60 Team Members
Filters -> Year: 2026
3741
TITLE: Test Coverage Analysis of UML Activity Diagrams for Interactive Systems
AUTHORS: Ricardo D F Ferreira; Joao P Faria ; Ana C R Paiva ;
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
3742
TITLE: Test coverage analysis of UML state machines
AUTHORS: Ferreira, RDF; Paiva, ACR ; Faria, JP ;
PUBLISHED: 2010, SOURCE: 3rd International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2010 in ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops, PAGES: 284-289
3743
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
3744
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
3745
TITLE: The Feasibility of Navigation Algorithms on Smartphones using J2ME
AUTHORS: Andre C Santos; Luis Tarrataca; Joao M P Cardoso ;
PUBLISHED: 2010, SOURCE: MOBILE NETWORKS & APPLICATIONS, VOLUME: 15, ISSUE: 6, PAGES: 819-830
3746
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
3747
TITLE: The Impact of Pre-processing on the Classification of MEDLINE Documents
AUTHORS: Carlos Adriano Goncalves ; Celia Talma Goncalves ; Rui Camacho ; Eugenio Oliveira ;
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
3748
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
3749
TITLE: Tokenizing micro-blogging messages using a text classification approach
AUTHORS: Laboreiro, G; Sarmento, L; Teixeira, Jorge ; Oliveira, E ;
PUBLISHED: 2010, SOURCE: 4th Workshop on Analytics for Noisy Unstructured Text Data, AND'10 Co-located with 19th International Conference on Information and Knowledge Management, CIKM'10 in International Conference on Information and Knowledge Management, Proceedings, PAGES: 81-87
3750
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
3751
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
3752
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
3753
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: 13th International IEEE Conference on Intelligent Transportation Systems, ITSC 2010 in 13th International IEEE Conference on Intelligent Transportation Systems, Funchal, Madeira, Portugal, 19-22 September 2010, PAGES: 1183-1188
3754
TITLE: Trust Estimation Using Contextual Fitness
AUTHORS: Joana Urbano ; Ana Paula Rocha ; Eugenio Oliveira ;
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-51
3755
TITLE: Trust Evaluation for Reliable Electronic Transactions between Business Partners
AUTHORS: Joana Urbano ; Ana Paula Rocha ; Eugénio Oliveira ;
PUBLISHED: 2010, SOURCE: International Workshop on Agent-Based Technologies and Applications for Enterprise Interoperability, ATOP 2010 in Agent-Based Technologies and Applications for Enterprise Interoperability - International Workshops ATOP@AAMAS 2009, Budapest, Hungary, May 12, 2009, and ATOP@AAMAS 2010, Toronto, ON, Canada, May 10, 2010, Revised Selected Papers, VOLUME: 98, PAGES: 219-237
3756
TITLE: Trustworthiness tendency incremental extraction using information gain
AUTHORS: Urbano, J ; Rocha, AP ; Oliveira, E ;
PUBLISHED: 2010, SOURCE: 2010 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2010 in Proceedings - 2010 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2010, VOLUME: 2, PAGES: 411-414
3757
TITLE: Using Local Precision to Compare Search Engines in Consumer Health Information Retrieval
AUTHORS: Carla Teixeira Lopes ; Cristina Ribeiro ;
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
3758
TITLE: Using meta-learning to classify Traveling Salesman Problems
AUTHORS: Kanda, J; Carvalho, A; Hruschka, E; Soares, C ;
PUBLISHED: 2010, SOURCE: 2010 11th Brazilian Symposium on Neural Networks, SBRN 2010 in Proceedings - 2010 11th Brazilian Symposium on Neural Networks, SBRN 2010, PAGES: 73-78
3759
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: 13th International IEEE Conference on Intelligent Transportation Systems, ITSC 2010 in 13th International IEEE Conference on Intelligent Transportation Systems, Funchal, Madeira, Portugal, 19-22 September 2010, PAGES: 131-136
3760
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

Results per Page: 20.
Page 188 of 233. Total results: 4653.