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

AuthID: I-000-0K9


Publications Count: 3973

49 Team Members
Filters -> Year: 2025
3361
TITLE: Reverse engineered formal models for GUI testing
AUTHORS: Ana C R Paiva ; Joao C P Faria ; Pedro M C Mendes;
PUBLISHED: 2008, SOURCE: 12th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 4916, PAGES: 218-233
3362
TITLE: Sensing the world: Challenges on WSNs
AUTHORS: Rocha, V; Gil Gonçalves ;
PUBLISHED: 2008, SOURCE: 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, PAGES: 54-59
3363
TITLE: Solving Airline Operations Problems Using Specialized Agents in a Distributed Multi-Agent System
AUTHORS: Antonio J M Castro ; Eugenio Oliveira ;
PUBLISHED: 2008, SOURCE: 9th International Conference on Enterprise Information Systems (ICEIS 2007) in ENTERPRISE INFORMATION SYSTEMS-BOOKS, VOLUME: 12, PAGES: 173-184
3364
TITLE: Sorting units for FPGA-based embedded systems
AUTHORS: Rui Marcelino; Horacio Neto ; Joao M P Cardoso ;
PUBLISHED: 2008, SOURCE: 20th World Computer Congress in DISTRIBUTED EMBEDDED SYSTEMS: DESIGN, MIDDLEWARE AND RESOURCES, VOLUME: 271, PAGES: 11-22
3365
TITLE: Special track on embedded systems: Applications, solutions, and techniques. editorial message
AUTHORS: 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; ...More
PUBLISHED: 2008, SOURCE: 23rd Annual ACM Symposium on Applied Computing, SAC'08 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 1476
3366
TITLE: Synthesis of regular expressions for FPGAs
AUTHORS: Joao Bispo ; Joao M P Cardoso ;
PUBLISHED: 2008, SOURCE: INTERNATIONAL JOURNAL OF ELECTRONICS, VOLUME: 95, ISSUE: 7, PAGES: 685-704
3367
TITLE: The impact of contextual information on the accuracy of existing recommender systems for Web personalization
AUTHORS: Domingues, MA; Jorge, AM ; Soares, C ;
PUBLISHED: 2008, SOURCE: 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008 in Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008, PAGES: 789-792
3368
TITLE: The potential of computation reuse in high-level optimization of a signal recognition system
AUTHORS: Demertzi, M; Diniz, PC ; Hall, MW; Gilbert, AC; Wang, Y;
PUBLISHED: 2008, SOURCE: 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, PAGES: 2550-+
3369
TITLE: The rationale behind the development of an airline operations control centre using Gaia-based methodology
AUTHORS: Castro, A ; Oliveira, E ;
PUBLISHED: 2008, SOURCE: International Journal of Agent-Oriented Software Engineering, VOLUME: 2, ISSUE: 3, PAGES: 350-377
3370
TITLE: Tomatic breast contour detection in digital photographs
AUTHORS: Jaime S Cardoso ; Luis F. Teixeira ; Maria J Cardoso ;
PUBLISHED: 2008, SOURCE: 1st International Conference on Health Informatics (HEALTHINF 2008) in HEALTHINF 2008: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON HEALTH INFORMATICS, VOL 2, VOLUME: 2, PAGES: 91-98
3371
TITLE: Towards an Artificial Traffic Control System
AUTHORS: Rosaldo J F Rossetti ; Paulo A F Ferreira; Rodrigo A A Braga; Eugenio C Oliveira ;
PUBLISHED: 2008, SOURCE: 11th IEEE International Conference on Intelligent Transportation Systems (ITSC 2008) in PROCEEDINGS OF THE 11TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, PAGES: 14-19
3372
TITLE: Towards an ontology mapping process for Business Process Composition
AUTHORS: Celia Talma Martins; Americo Azevedo ; Sofia S Pinto ; Eugenio Oliveira ;
PUBLISHED: 2008, SOURCE: 8th IFIP International Conference on Information Technology for Balanced Automation Systems in INNOVATION IN MANUFACTURING NETWORKS, VOLUME: 266, PAGES: 169-176
3373
3374
TITLE: Use of temporal expressions in web search
AUTHORS: Sergio Nunes ; Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2008, SOURCE: 30th European Conference on Information Retrieval (ECIR 2008) in ADVANCES IN INFORMATION RETRIEVAL, VOLUME: 4956, PAGES: 580-584
3375
TITLE: USING A DATAWAREHOUSE TO EXTRACT KNOWLEDGE FROM ROBOCUP TEAMS
AUTHORS: Isabel Gonzalez; Pedro Abreu ; Luis Paulo Reis ;
PUBLISHED: 2008, SOURCE: 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, PAGES: 511-514
3376
TITLE: Using a mobile phone and a geobrowser to create multisensory geographic information
AUTHORS: Silva, MJ; Pestana, B; Lopes, JC ;
PUBLISHED: 2008, SOURCE: 7th International Conference on Interaction Design and Children, IDC 2008 in Proceedings of the 7th International Conference on Interaction Design and Children, IDC 2008, PAGES: 153-156
3377
TITLE: Using concept maps for ontology development: A case in the work organization domain
AUTHORS: Antonio Soares ; Cristovao Sousa ;
PUBLISHED: 2008, SOURCE: 8th IFIP International Conference on Information Technology for Balanced Automation Systems in INNOVATION IN MANUFACTURING NETWORKS, VOLUME: 266, PAGES: 177-186
3378
TITLE: Using Fault Screeners for Software Error Detection
AUTHORS: Rui Abreu ; Alberto González; Peter Zoeteweij; Arjan J C van Gemund;
PUBLISHED: 2008, SOURCE: 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, PAGES: 60-74
3379
TITLE: Using MPEG-21 and web services to achieve end-to-end QoS management
AUTHORS: Andrade, MT ; Souto, PF ;
PUBLISHED: 2008, SOURCE: 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, PAGES: 346-351
3380
TITLE: Virtual Organization Support through Electronic Institutions and Normative Multi-Agent Systems
AUTHORS: Henrique Lopes Cardoso ; Ana Paula Rocha ; Euge´nio Oliveira ;
PUBLISHED: 2008, SOURCE: Concepts, Methodologies, Tools, and Applications - Intelligent Information Technologies, PAGES: 1684-1701

Results per Page: 20.
Page 169 of 199. Total results: 3973.