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

AuthID: I-000-0K9


Publications Count: 3888

49 Team Members
Filters -> Year: 2024
2501
TITLE: Spectrum-based fault localization for diagnosing concurrency faults
AUTHORS: Koca, F; Sozer, H; Abreu, R ;
PUBLISHED: 2013, SOURCE: 25th IFIPWG 6.1 International Conference on Testing Software and Systems, ICTSS 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8254 LNCS, PAGES: 239-254
2502
TITLE: Speeding-up poker game abstraction computation: Average rank strength
AUTHORS: Teofilo, LF; Reis, LP ; Cardoso, HL ;
PUBLISHED: 2013, SOURCE: 2013 AAAI Workshop in AAAI Workshop - Technical Report, VOLUME: WS-13-08, PAGES: 56-64
2503
TITLE: STAlz: Remotely supporting the diagnosis, tracking and rehabilitation of patients with Alzheimer's
AUTHORS: Moreira, H; Oliveira, R; Flores, N ;
PUBLISHED: 2013, SOURCE: 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013 in 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013, PAGES: 580-584
2504
TITLE: State of the art on methodologies for the development of a metadata application profile
AUTHORS: Malta, MC ; Baptista, AA;
PUBLISHED: 2013, SOURCE: International Journal of Metadata, Semantics and Ontologies, VOLUME: 8, ISSUE: 4, PAGES: 332-341
2505
TITLE: Supporting conceptualisation processes in collaborative networks: a case study on an R&D project
AUTHORS: Carla Pereira ; Cristovao Sousa ; Antonio Lucas Soares ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, VOLUME: 26, ISSUE: 11, PAGES: 1066-1086
2506
TITLE: SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine
AUTHORS: Marek Zawirski; Annette Bieniusa; Valter Balegas; Sérgio Duarte; Carlos Baquero ; Marc Shapiro; Nuno M. Preguiça;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1310.3107
2507
TITLE: Techniques and toolset for conformance testing against UML sequence diagrams
AUTHORS: Faria, JP ; Paiva, ACR ; De Castro, MV;
PUBLISHED: 2013, SOURCE: 25th IFIPWG 6.1 International Conference on Testing Software and Systems, ICTSS 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8254 LNCS, PAGES: 180-195
2508
TITLE: The Carousel-EDF Scheduling Algorithm for Multiprocessor Systems
AUTHORS: Paulo Baltarejo Sousa; Pedro Souto ; Eduardo Tovar ; Konstantinos Bletsas;
PUBLISHED: 2013, SOURCE: IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) in 2013 IEEE 19TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA), PAGES: 12-21
2509
TITLE: The Data Deposit Workflow: Involving Researchers in Timely Dataset Upload and Description
AUTHORS: Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: IASSIST 2013 - Data Innovation: Increasing Accessibility, Visibility, and Sustainability, Cologne, Germany, May 29-31, 2013
2510
TITLE: The Dotted-Board Model: A new MIP model for nesting irregular shapes
AUTHORS: Franklina M B Toledo; Maria Antonia Carravilla ; Cristina Ribeiro ; Jose F Oliveira ; Miguel M Gomes ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF PRODUCTION ECONOMICS, VOLUME: 145, ISSUE: 2, PAGES: 478-487
2511
TITLE: The ICARUS Project - Command, Control and Intelligence (C2I)
AUTHORS: Govindaraj, S; Chintamani, K; Gancet, J; Letier, P; van Lierde, B; Nevatia, Y; De Cubber, G; Serrano, D; Palomares, ME; Bedkowski, J; Armbrust, C; Sanchez, J; Coelho, A ; Orbe, I;
PUBLISHED: 2013, SOURCE: IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR) in 2013 IEEE INTERNATIONAL SYMPOSIUM ON SAFETY, SECURITY, AND RESCUE ROBOTICS (SSRR), PAGES: 1-4
2512
TITLE: The impact of benevolence in computational trust
AUTHORS: Urbano, J ; Rocha, AP ; Oliveira, E ;
PUBLISHED: 2013, SOURCE: 2nd International Conference on Agreement Technologies, AT 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8068 LNAI, PAGES: 210-224
2513
TITLE: The impact of time in link-based Web ranking
AUTHORS: Sergio Nunes ; Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2013, SOURCE: 8th International Conference on Conceptions of Library and Information Science in INFORMATION RESEARCH-AN INTERNATIONAL ELECTRONIC JOURNAL, VOLUME: 18, ISSUE: 3
2514
TITLE: The LARA language
AUTHORS: Cardoso, JMP ; De F. Coutinho, JG; Carvalho, T ; Diniz, PC ;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 35-70
2515
TITLE: The MATISSE MATLAB Compiler
AUTHORS: Joao Bispo ; Pedro Pinto ; Ricardo Nobre ; Tiago Carvalho ; Joao M P Cardoso ; Pedro C Diniz ;
PUBLISHED: 2013, SOURCE: 11th IEEE International Conference on Industrial Informatics (INDIN) in 2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 602-608
2516
TITLE: The REFLECT design-flow
AUTHORS: Cardoso, JMP ; De F. Coutinho, JG; Nane, R; Sima, VM; Olivier, B; Carvalho, T ; Nobre, R; Diniz, PC ; Petrov, Z; Bertels, K; Gonçalves, F; Van Someren, H; Hübner, M; Constantinides, G; Luk, W; Becker, J; Krátký, K; Bhattacharya, S; Alves, JC ; Ferreira, JC ;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 13-34
2517
TITLE: Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators
AUTHORS: Steimann, F; Frenkel, M; Abreu, R ;
PUBLISHED: 2013, SOURCE: 22nd International Symposium on Software Testing and Analysis, ISSTA 2013 in 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings, PAGES: 314-324
2518
TITLE: Topic 8: Distributed Systems and Algorithms - (Introduction)
AUTHORS: Achour Mostéfaoui; Andreas Polze; Carlos Baquero ; Paul D Ezhilchelvan; Lars Lundberg;
PUBLISHED: 2013, SOURCE: 19th International Conference on Parallel Processing, Euro-Par 2013 in Euro-Par 2013 Parallel Processing - 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings, VOLUME: 8097, PAGES: 367-368
2519
TITLE: Towards a Framework for Pedestrian Simulation for Intermodal Interfaces
AUTHORS: Joao Emilio Almeida; Zafeiris Kokkinogenis ; Rosaldo J F Rossetti ;
PUBLISHED: 2013, SOURCE: UKSim-AMSS 7th European Modelling Symposium on Computer Modelling and Simulation (EMS) in UKSIM-AMSS SEVENTH EUROPEAN MODELLING SYMPOSIUM ON COMPUTER MODELLING AND SIMULATION (EMS 2013), PAGES: 335-340
2520
TITLE: Towards a serious games evacuation simulator
AUTHORS: João Ribeiro; João Emílio Almeida; Rosaldo J F Rossetti ; António Coelho ; António Leça Coelho;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1303.3827

Results per Page: 20.
Page 126 of 195. Total results: 3888.