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

AuthID: I-000-0K9


Publications Count: 4510

56 Team Members
Filters -> Year: 2026
2961
TITLE: DATAFLASKS: an epidemic dependable key-value substrate
AUTHORS: Maia, F ; Matos, M ; Vilaca, R ; Pereira, J ; Oliveira, R ; Riviere, E;
PUBLISHED: 2013, SOURCE: 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2013 43RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), PAGES: 1-6
2962
2963
TITLE: Deadline analysis of AUTOSAR OS periodic tasks in the presence of interrupts
AUTHORS: Huang, Y; Ferreira, JF ; He, G; Qin, S; He, J;
PUBLISHED: 2013, SOURCE: 15th International Conference on Formal Engineering Methods, ICFEM 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8144 LNCS, PAGES: 165-181
2964
TITLE: Definition of a retrospective health information policy based on (re)use study
AUTHORS: Goncalves, F; David, G ;
PUBLISHED: 2013, SOURCE: Handbook of Research on ICTs and Management Systems for Improving Efficiency in Healthcare and Social Care, PAGES: 1130-1155
2965
TITLE: Deriving Resource Efficient Designs Using the REFLECT Aspect-Oriented Approach
AUTHORS: Jose G F Coutinho; Joao M P Cardoso ; Tiago Carvalho ; Ricardo Nobre ; Sujit Bhattacharya; Pedro C Diniz ; Liam Fitzpatrick; Razvan Nane;
PUBLISHED: 2013, SOURCE: 9th International Applied Reconfigurable Computing Symposium (ARC) in RECONFIGURABLE COMPUTING: ARCHITECTURES, TOOLS AND APPLICATIONS, VOLUME: 7806, PAGES: 226-228
2966
TITLE: Designing an application profile using qualified Dublin core: A case study with fracture mechanics datasets
AUTHORS: Castro, JA ; Ribeiro, C ; Da Silva, JR ;
PUBLISHED: 2013, SOURCE: 2013 International Conference on Dublin Core and Metadata Applications: Linking to the Future, DC 2013 in Proceedings of the International Conference on Dublin Core and Metadata Applications, PAGES: 47-52
2967
TITLE: Determining language variant in microblog messages
AUTHORS: Gustavo Laboreiro; Matko Bosnjak; Luís Sarmento; Eduarda Mendes Rodrigues; Eugénio C. Oliveira ;
PUBLISHED: 2013, SOURCE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013, PAGES: 902-907
2968
TITLE: Diagnosing architectural run-time failures
AUTHORS: Casanova, P; Garlan, D; Schmerl, B; Abreu, R ;
PUBLISHED: 2013, SOURCE: 2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2013 in ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, PAGES: 103-112
2969
TITLE: Diagonal Walk Reference Generator based on Fourier Approximation of ZMP Trajectory
AUTHORS: Rui Ferreira; Nima Shafii; Nuno Lau ; Luis Paulo Reis ; Abbas Abdolmaleki;
PUBLISHED: 2013, SOURCE: 13th International Conference on Autonomous Robot Systems in PROCEEDINGS OF THE 2013 13TH INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS (ROBOTICA)
2970
TITLE: Dimensions as Virtual Items: Improving the predictive ability of top-N recommender systems
AUTHORS: Marcos Aurelio Domingues; Alipio Mario Jorge ; Carlos Soares ;
PUBLISHED: 2013, SOURCE: INFORMATION PROCESSING & MANAGEMENT, VOLUME: 49, ISSUE: 3, PAGES: 698-720
2971
TITLE: Dívida Técnica: um estudo de caso com produtos de código aberto
AUTHORS: Igor Rodrigues Vieira; Leonardo da Silva Sousa; Vinícius Rafael Lobo de Mendonça; Cássio Leonardo Rodrigues; VINCENZI, AURI M. R. ;
PUBLISHED: 2013, SOURCE: Proceedings of the 12th Brazilian Symposium on Software Quality, SBQS 2013, Salvador, BA, Brazil, July 1-5, 2013, PAGES: 278-285
2972
TITLE: Documenting software using adaptive software artifacts
AUTHORS: Filipe Figueiredo Correia ;
PUBLISHED: 2013, SOURCE: 4th Annual ACM International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2013 in Conference on Systems, Programming, and Applications: Software for Humanity, SPLASH '13, Indianapolis, IN, USA, October 26-31, 2013 - Companion Volume, PAGES: 107-108
2973
TITLE: Dynamic Power- and Failure-Aware Cloud Resources Allocation for Sets of Independent Tasks
AUTHORS: Altino M Sampaio ; Jorge G Barbosa ;
PUBLISHED: 2013, SOURCE: 1st IEEE International Conference on Cloud Engineering (IC2E) in PROCEEDINGS OF THE 2013 IEEE INTERNATIONAL CONFERENCE ON CLOUD ENGINEERING (IC2E 2013), PAGES: 1-10
2974
TITLE: Dynamically Maintaining Standards Using Incentives
AUTHORS: Ramón Hermoso; Henrique Lopes Cardoso ;
PUBLISHED: 2013, SOURCE: 11th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2013 in Trends in Practical Applications of Agents and Multiagent Systems - 11th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2013) Special Sessions, Salamanca, Spain, May 22-24, 2013., VOLUME: 221, PAGES: 87-94
2975
TITLE: EarGram: An Application for Interactive Exploration of Concatenative Sound Synthesis in Pure Data
AUTHORS: Gilberto Bernardes ; Carlos Guedes ; Bruce Pennycook;
PUBLISHED: 2013, SOURCE: 9th International Symposium on Computer Music Modeling and Retrieval (CMMR) - Music and Emotions in FROM SOUNDS TO MUSIC AND EMOTIONS, VOLUME: 7900, PAGES: 110-129
2976
TITLE: Electricity market and renewable energy integration: An agent-based conceptual model
AUTHORS: Sousa, JC; Kokkinogenis, Z ; Rossetti, RJF ; Saraiva, JT ;
PUBLISHED: 2013, SOURCE: 1st International Workshop on Simulation for Energy, Sustainable Development and Environment, SESDE 2013, Held at the International Multidisciplinary Modeling and Simulation Multiconference, I3M 2013 in 1st International Workshop on Simulation for Energy, Sustainable Development and Environment, SESDE 2013, Held at the International Multidisciplinary Modeling and Simulation Multiconference, I3M 2013, PAGES: 101-108
2977
TITLE: Encoding Test Requirements as Constraints for Test Suite Minimization
AUTHORS: Jose Campos ; Rui Abreu ;
PUBLISHED: 2013, SOURCE: 10th International Conference on Information Technology - New Generations (ITNG) in PROCEEDINGS OF THE 2013 10TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, PAGES: 317-322
2978
TITLE: Enriching MATLAB with aspect-oriented features for developing embedded systems
AUTHORS: Cardoso, JMP ; Fernandes, JM ; Monteiro, MP ; Carvalho, T ; Nobre, R ;
PUBLISHED: 2013, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 59, ISSUE: 7, PAGES: 412-428
2979
TITLE: Entropy-Based Test Generation for Improved Fault Localization
AUTHORS: Jose Campos ; Rui Abreu ; Gordon Fraser; Marcelo d'Amorim;
PUBLISHED: 2013, SOURCE: 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), PAGES: 257-267
2980
TITLE: Estimating the odds for Texas Hold'em Poker Agents
AUTHORS: Luis Filipe Teofilo ; Luis Paulo Reis ; Henrique Lopes Cardoso ;
PUBLISHED: 2013, SOURCE: 12th IEEE/WIC/ACM International Joint Conference on Intelligent Agent Technology (IAT) in 2013 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY (IAT 2013), VOLUME: 2, PAGES: 369-374

Results per Page: 20.
Page 149 of 226. Total results: 4510.