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

AuthID: I-000-0K9


Publications Count: 4649

62 Team Members
Filters -> Year: 2026
4101
TÍTULO: Formal verification of a group membership protocol using model checking
AUTORES: Rosset, V; Souto, PF ; Vasques, F ;
PUBLICAÇÃO: 2007, FONTE: OTM Confederated International Conference and Workshop in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: COOPLS, DOA, ODBASE, GADA, AND IS, PT 1, PROCEEDINGS, VOLUME: 4803, NÚMERO: PART 1, PÁGINAS: 471-488
4102
TÍTULO: Guest editorial: Special issue on reconfigurable hardware systems
AUTORES: Joao M P Cardoso ; Koen Bertels; George A Constantinides; Stamatis Vassiliadis;
PUBLICAÇÃO: 2007, FONTE: INTERNATIONAL JOURNAL OF ELECTRONICS, VOLUME: 94, NÚMERO: 5, PÁGINAS: 431-433
4103
4104
TÍTULO: ILP: Compute Once, Reuse Often
AUTORES: Nuno A Fonseca; Ricardo Rocha; Rui Camacho ; Vítor S Costa;
PUBLICAÇÃO: 2007
4105
TÍTULO: Implementing range queries with a decentralized balanced tree over distributed hash tables
AUTORES: Lopes, N; Baquero, C ;
PUBLICAÇÃO: 2007, FONTE: 1st International Conference on Network-Based Information Systems (NBiS 2007) in NETWORK-BASED INFORMATION SYSTEMS, PROCEEDINGS, VOLUME: 4658, PÁGINAS: 197-+
4106
TÍTULO: Improving brokering adaptation in dynamic heterogeneous environments
AUTORES: Nogueira, L ; Oliveira, E ;
PUBLICAÇÃO: 2007, FONTE: International Journal of Product Lifecycle Management, VOLUME: 2, NÚMERO: 2, PÁGINAS: 111-134
4107
TÍTULO: Improving on version stamps
AUTORES: Almeida, PS ; Baquero, C ; Fonte, V ;
PUBLICAÇÃO: 2007, FONTE: OTM Confederated International Conference and Workshop in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: OTM 2007 WORKSHOPS, PT 2, PROCEEDINGS, VOLUME: 4806, NÚMERO: PART 2, PÁGINAS: 1025-1031
4108
TÍTULO: Improving the quality of collaboration requirements for information management through social networks analysis
AUTORES: Carla Sofia Pereira ; Antonia Lucas Soares ;
PUBLICAÇÃO: 2007, FONTE: INTERNATIONAL JOURNAL OF INFORMATION MANAGEMENT, VOLUME: 27, NÚMERO: 2, PÁGINAS: 86-103
4109
TÍTULO: INESC, Porto at TRECVID 2007: Automatic and Interactive Video Search
AUTORES: Catalin Calistru; Cristina Ribeiro ; Gabriel David ; Irene Rodrigues ; Gustavo Laboreiro;
PUBLICAÇÃO: 2007, FONTE: TRECVID
4110
TÍTULO: Institutional reality and norms: Specifying and monitoring agent organizations
AUTORES: Cardoso, HL ; Oliveira, E ;
PUBLICAÇÃO: 2007, FONTE: INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, VOLUME: 16, NÚMERO: 1, PÁGINAS: 67-95
4111
TÍTULO: Intelligent farmer agent for multi-agent ecological simulations optimization
AUTORES: Cruz, F; Pereira, A ; Valente, P; Duarte, P; Reis, LP ;
PUBLICAÇÃO: 2007, FONTE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874, PÁGINAS: 593-+
4112
TÍTULO: Intelligent wearable system for continuously monitoring the heartbeat
AUTORES: Teodoro Seromenho, RJ; Gil Gonçalves ; Tavares Correia, JPM;
PUBLICAÇÃO: 2007, FONTE: 2007 IADIS International Conference on Intelligent Systems and Agents, ISA 2007, part of the 1st IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2007 in MCCSIS 2007 - IADIS Multi Conference on Computer Science and Information Systems - Proceedings of Intelligent Systems and Agents 2007, Interfaces and Human Computer Interaction 2007, Computer Graphics and Visualization 2007, VOLUME: Part 1, PÁGINAS: 255-256
4113
TÍTULO: Interface framework to drive an intelligent wheelchair using facial expressions
AUTORES: Pedro Miguel Faria; Rodrigo A M Braga; Eduardo Valgode; Luis Paulo Reis ;
PUBLICAÇÃO: 2007, FONTE: IEEE International Symposium on Industrial Electronics in 2007 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, PROCEEDINGS, VOLS 1-8, PÁGINAS: 1791-1796
4114
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Dayde, M; Palma, JMLM ; Coutinho, ALGA; Pacitti, E; Lopes, JC ;
PUBLICAÇÃO: 2007, FONTE: 7th International Meeting on High-Performance Computing for Computational Science, VECPAR 2006 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4395 LNCS
4115
TÍTULO: Light fields: Aplicação didáctica de criação de novas vistas a partir de múltiplas imagens.
AUTORES: Faria, BM ; Sousa, AA; Reis, LP ;
PUBLICAÇÃO: 2007, FONTE: 2a Conferencia Iberica de Sistemas e Tecnologias de Informacao: Novas Perspectivas em Sistemas e Tecnologias de Informacao, CISTI 2007 - 2nd Iberian Conference on Information Systems and Technologies: New Perspectives on Information Systems and Technologies, CISTI 2007 in Novas Perspectivas em Sistemas e Tecnologias de Informacao - Actas da 2a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2007, PÁGINAS: 381-392
4116
TÍTULO: Light Fields: Application of Educational Establishment for New Views from Multiple Images
AUTORES: Brigida Monica Faria ; Antonio Augusto Sousa ; Luis Paulo Reis ;
PUBLICAÇÃO: 2007, FONTE: 2nd Conference of the Iberica de Sistemas e Tecnologias de Informacao in NOVAS PERSPECTIVAS EM SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL II, PÁGINAS: 381-392
4117
TÍTULO: Making RAPOSA (FOX) Smarter
AUTORES: Luís Sarmento; Eugénio C Oliveira ;
PUBLICAÇÃO: 2007, FONTE: CLEF (Working Notes), VOLUME: 1173
4118
TÍTULO: Message from the HeteroPar 2007 Chair
AUTORES: Beaumont, O; Gimenez, D; Kalinov, A; Lastovetsky, A; Robert, Y; Trystram, D; Bahi, JM; Baker, M; Banicescu, I; Barbosa, J ; Boeres, C; Bosque, JL; Clematis, A; Dayde, M; Desprez, F; Dongarra, J; Dutot, PF; Goldman, A; Guermouche, A; Ichikawa, S; Jeannot, E; Karatza, H; Kechadi, T; Laforenza, D; Lan, Z; Manneback, P; Nasri, W; Petcu, D; Petiton, S; Plaza, AJ; Reddy, R; Rodriguez, C; Seredynski, F; Siegel, HJ; Sips, H; Sousa, L ; Vidal, AM; Yahyapour, R; Cesar, E; Lucchese, C; Printista, M; Shestak, V; Sinnen, O; Smith, G; Smith, J; ...Mais
PUBLICAÇÃO: 2007, FONTE: IEEE International Conference on Cluster Computing in 2007 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING, PÁGINAS: 496-496
4119
TÍTULO: Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees
AUTORES: José Luís Silva ; José Creissac Campos ; Ana C R Paiva ;
PUBLICAÇÃO: 2007, FONTE: FMIS@BCS HCI, VOLUME: 208, NÚMERO: C, PÁGINAS: 77-93
4120
TÍTULO: Multimedia in cultural heritage collections: A model and applications
AUTORES: Ribeiro, C ; David, G ; Calistrul, C;
PUBLICAÇÃO: 2007, FONTE: 10th International Conference on Asian Digital Libraries in ASIAN DIGITAL LIBRARIES: LOOKING BACK 10 YEARS AND FORGING NEW FRONTIERS, PROCEEDINGS, VOLUME: 4822, PÁGINAS: 186-195

Results per Page: 20.
Página 206 de 233. Total de resultados: 4649.