Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 Publications Count: 4625
61 Team MembersFilters -> Year: 2026
4421
TITLE: Version stamps - Decentralized version vectors
AUTHORS: Almeida, PS ; Baquero, C ; Fonte, V ;
PUBLISHED: 2002, SOURCE: 22nd International Conference on Distributed Computing Systems in 22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, PAGES: 544-551
AUTHORS: Almeida, PS ; Baquero, C ; Fonte, V ;
PUBLISHED: 2002, SOURCE: 22nd International Conference on Distributed Computing Systems in 22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, PAGES: 544-551
4422
TITLE: XPP-VC: A C Compiler with temporal partitioning for the PACT-XPP architecture
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2002, SOURCE: 12th International Conference on Field-Programmable Logic and Applications in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, VOLUME: 2438, PAGES: 864-874
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2002, SOURCE: 12th International Conference on Field-Programmable Logic and Applications in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, VOLUME: 2438, PAGES: 864-874
4423
TITLE: A Behavioral Synthesis Estimation Interface for Configurable Computing
AUTHORS: Diniz, P ; Venkatachar, A;
PUBLISHED: 2001, SOURCE: 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001 in Proceedings - 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001, PAGES: 253-254
AUTHORS: Diniz, P ; Venkatachar, A;
PUBLISHED: 2001, SOURCE: 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001 in Proceedings - 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001, PAGES: 253-254
4424
TITLE: A CONCEPTUAL FRAMEWORK FOR AGGREGATE MANAGEMENT OF VIRTUAL ENTERPRISES
AUTHORS: Jorge P Sousa ; Americo L Azevedo ; Antonio L Soares ;
PUBLISHED: 2001, SOURCE: 2nd Conference on Infrastructures for Virtual Organizations - Managing Cooperation in Virtual Organization and Electronic Business towards Smart Organizations in E-BUSINESS AND VIRTUAL ENTERPRISES: MANAGING BUSINESS-TO-BUSINESS COOPERATION, VOLUME: 56, PAGES: 395-402
AUTHORS: Jorge P Sousa ; Americo L Azevedo ; Antonio L Soares ;
PUBLISHED: 2001, SOURCE: 2nd Conference on Infrastructures for Virtual Organizations - Managing Cooperation in Virtual Organization and Electronic Business towards Smart Organizations in E-BUSINESS AND VIRTUAL ENTERPRISES: MANAGING BUSINESS-TO-BUSINESS COOPERATION, VOLUME: 56, PAGES: 395-402
4425
TITLE: A language for specifying complete timetabling problems
AUTHORS: Reis, LP ; Oliveira, E ;
PUBLISHED: 2001, SOURCE: 3rd International Conference on Practice and Theory of Automated Timetabling in PRACTICE AND THEORY OF AUTOMATED TIMETABLING III, VOLUME: 2079, PAGES: 322-341
AUTHORS: Reis, LP ; Oliveira, E ;
PUBLISHED: 2001, SOURCE: 3rd International Conference on Practice and Theory of Automated Timetabling in PRACTICE AND THEORY OF AUTOMATED TIMETABLING III, VOLUME: 2079, PAGES: 322-341
4426
TITLE: A Metadata Model for Multimedia Databases
AUTHORS: Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2001, SOURCE: ICHIM (1), PAGES: 469-483
AUTHORS: Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2001, SOURCE: ICHIM (1), PAGES: 469-483
4427
TITLE: A social and organisational ontological foundation for enterprise modelling
AUTHORS: Soares, AL ;
PUBLISHED: 2001, SOURCE: IFAC Symposium on Manufacturing, Modeling, Management and Control (MIN 2000) in MANUFACTURING, MODELING, MANAGEMENT AND CONTROL, PROCEEDINGS, PAGES: 417-422
AUTHORS: Soares, AL ;
PUBLISHED: 2001, SOURCE: IFAC Symposium on Manufacturing, Modeling, Management and Control (MIN 2000) in MANUFACTURING, MODELING, MANAGEMENT AND CONTROL, PROCEEDINGS, PAGES: 417-422
4428
TITLE: Agents Advanced Features for Negotiation in Electronic Commerce and Virtual Organisations Formation Processes
AUTHORS: Eugénio C Oliveira ; Ana Paula Rocha ;
PUBLISHED: 2001, SOURCE: AgentLink, PAGES: 78-97
AUTHORS: Eugénio C Oliveira ; Ana Paula Rocha ;
PUBLISHED: 2001, SOURCE: AgentLink, PAGES: 78-97
4429
TITLE: Agents' advanced features for negotiation and coordination
AUTHORS: Oliveira, E ;
PUBLISHED: 2001, SOURCE: 9th Advanced Course on Artificial Intelligence (ACAI 2001)/3rd European Agent Systems Summer School (EASSS 2001) in MULTI-AGENT SYSTEMS AND APPLICATIONS, VOLUME: 2086, PAGES: 173-186
AUTHORS: Oliveira, E ;
PUBLISHED: 2001, SOURCE: 9th Advanced Course on Artificial Intelligence (ACAI 2001)/3rd European Agent Systems Summer School (EASSS 2001) in MULTI-AGENT SYSTEMS AND APPLICATIONS, VOLUME: 2086, PAGES: 173-186
4430
TITLE: An External Memory Interface for FPGA-Based Computing Engines
AUTHORS: Park, J; Diniz, P ;
PUBLISHED: 2001, SOURCE: 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001 in Proceedings - 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001, PAGES: 267-268
AUTHORS: Park, J; Diniz, P ;
PUBLISHED: 2001, SOURCE: 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001 in Proceedings - 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001, PAGES: 267-268
4431
TITLE: Argumentation as Distributed Belief Revision: Conflict Resolution in Decentralised Co-operative Multi-agent Systems
AUTHORS: Benedita Malheiro ; Eugénio Oliveira ;
PUBLISHED: 2001, SOURCE: EPIA, VOLUME: 2258 LNAI, PAGES: 205-218
AUTHORS: Benedita Malheiro ; Eugénio Oliveira ;
PUBLISHED: 2001, SOURCE: EPIA, VOLUME: 2258 LNAI, PAGES: 205-218
4432
TITLE: COACH UNILANG - A Standard Language for Coaching a (Robo)Soccer Team
AUTHORS: Luís Paulo Reis ; Nuno Lau ;
PUBLISHED: 2001, SOURCE: RoboCup, VOLUME: 2377 LNAI, PAGES: 183-192
AUTHORS: Luís Paulo Reis ; Nuno Lau ;
PUBLISHED: 2001, SOURCE: RoboCup, VOLUME: 2377 LNAI, PAGES: 183-192
4433
TITLE: Compilation Increasing the Scheduling Scope for Multi-memory-FPGA-Based Custom Computing Machines
AUTHORS: João M P Cardoso ; Horácio C Neto;
PUBLISHED: 2001, SOURCE: FPL, VOLUME: 2147, PAGES: 523-533
AUTHORS: João M P Cardoso ; Horácio C Neto;
PUBLISHED: 2001, SOURCE: FPL, VOLUME: 2147, PAGES: 523-533
4434
TITLE: Electronic Institutions as a Framework for Agents' Negotiation and Mutual Commitment
AUTHORS: Ana Paula Rocha ; Eugénio C Oliveira ;
PUBLISHED: 2001, SOURCE: EPIA, VOLUME: 2258 LNAI, PAGES: 232-245
AUTHORS: Ana Paula Rocha ; Eugénio C Oliveira ;
PUBLISHED: 2001, SOURCE: EPIA, VOLUME: 2258 LNAI, PAGES: 232-245
4435
TITLE: Evaluating <i>N</i>-Selective Mutation for C programs: Unit and integration testing
AUTHORS: Maldonado, JC; Barbosa, EF; VINCENZI, AURI M. R. ; Delamaro, ME;
PUBLISHED: 2001, SOURCE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PAGES: 22-33
AUTHORS: Maldonado, JC; Barbosa, EF; VINCENZI, AURI M. R. ; Delamaro, ME;
PUBLISHED: 2001, SOURCE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PAGES: 22-33
4436
TITLE: Experiences in the development of information systems in an industrial innovation context
AUTHORS: Soares, AL ; Gaida, W; Schmidt, C;
PUBLISHED: 2001, SOURCE: 3rd International Conference on Enterprise Information Systems, ICEIS 2001 in ICEIS 2001 - Proceedings of the 3rd International Conference on Enterprise Information Systems, VOLUME: 2, PAGES: 846-853
AUTHORS: Soares, AL ; Gaida, W; Schmidt, C;
PUBLISHED: 2001, SOURCE: 3rd International Conference on Enterprise Information Systems, ICEIS 2001 in ICEIS 2001 - Proceedings of the 3rd International Conference on Enterprise Information Systems, VOLUME: 2, PAGES: 846-853
4437
TITLE: FC Portugal 2001 Team Description: Flexible Teamwork and Configurable Strategy
AUTHORS: Nuno Lau ; Luís Paulo Reis ;
PUBLISHED: 2001, SOURCE: RoboCup, VOLUME: 2377 LNAI, PAGES: 515-518
AUTHORS: Nuno Lau ; Luís Paulo Reis ;
PUBLISHED: 2001, SOURCE: RoboCup, VOLUME: 2377 LNAI, PAGES: 515-518
4438
TITLE: How the FEUP Removal to the New Premises Was Facilitated by the Internal Information System
AUTHORS: Lígia M Ribeiro ; Maria Antónia Carravilla ; Gabriel David ;
PUBLISHED: 2001, SOURCE: EUNIS, VOLUME: P-13, PAGES: 251-258
AUTHORS: Lígia M Ribeiro ; Maria Antónia Carravilla ; Gabriel David ;
PUBLISHED: 2001, SOURCE: EUNIS, VOLUME: P-13, PAGES: 251-258
4439
TITLE: Improving the Robustness and Encoding Complexity of Behavioural Clones
AUTHORS: Rui Camacho ; Pavel Brazdil ;
PUBLISHED: 2001, SOURCE: ECML, VOLUME: 2167, PAGES: 37-48
AUTHORS: Rui Camacho ; Pavel Brazdil ;
PUBLISHED: 2001, SOURCE: ECML, VOLUME: 2167, PAGES: 37-48
4440
TITLE: Inducing models of human control skills
AUTHORS: Camacho, R ;
PUBLISHED: 2001, SOURCE: 4th International Conference on Cognitive Modeling in ICCM - 2001: PROCEEDINGS OF THE 2001 FOURTH INTERNATIONAL CONFERENCE ON COGNITIVE MODELING, PAGES: 43-48
AUTHORS: Camacho, R ;
PUBLISHED: 2001, SOURCE: 4th International Conference on Cognitive Modeling in ICCM - 2001: PROCEEDINGS OF THE 2001 FOURTH INTERNATIONAL CONFERENCE ON COGNITIVE MODELING, PAGES: 43-48
