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

AuthID: I-000-0K9


Publications Count: 4625

61 Team Members
Filters -> Year: 2026
2461
TITLE: Testing Distributed and Heterogeneous Systems: State of the Practice
AUTHORS: Lima, B ; Faria, JP ;
PUBLISHED: 2016, SOURCE: 11th International Joint Conference on Software Technologies (ICSOFT-EA) in ICSOFT-EA: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 1, PAGES: 69-78
2462
TITLE: The ANTAREX approach to autotuning and adaptivity for energy efficient HPC systems
AUTHORS: Cristina Silvano; Giovanni Agosta; Stefano Cherubin; Davide Gadioli; Gianluca Palermo; Andrea Bartolini; Luca Benini; Jan Martinovic; Martin Palkovic; Katerina Slaninová; João Bispo ; João M P Cardoso ; Rui Abreu ; Pedro Pinto ; Carlo Cavazzoni; Nico Sanna; Andrea Rosario Beccari; Radim Cmar; Erven Rohou;
PUBLISHED: 2016, SOURCE: Conf. Computing Frontiers, PAGES: 288-293
2463
TITLE: The Benefits of DOF Separation in Mid-air 3D Object Manipulation
AUTHORS: Mendes, D ; Relvas, F; Ferreira, A ; Jorge, J;
PUBLISHED: 2016, SOURCE: 22nd ACM Conference on Virtual Reality Software and Technology (VRST) in 22ND ACM CONFERENCE ON VIRTUAL REALITY SOFTWARE AND TECHNOLOGY (VRST 2016), VOLUME: 02-04-November-2016, PAGES: 261-268
2464
TITLE: The complementary aspect of automatically and manually generated test case sets
AUTHORS: VINCENZI, AURI M. R. ; Tiago Bachiega; Daniel G de Oliveira; Simone do Rócio Senger de Souza; José Carlos Maldonado;
PUBLISHED: 2016, SOURCE: Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST@SIGSOFT FSE 2016, Seattle, WA, USA, November 18, 2016, PAGES: 23-30
2465
TITLE: The Effectiveness of Query Expansion when searching for Health related Content: InfoLab at CLEF eHealth 2016
AUTHORS: Ricardo Silva; Carla Teixeira Lopes ;
PUBLISHED: 2016, SOURCE: CLEF (Working Notes), VOLUME: 1609, PAGES: 130-142
2466
2467
TITLE: The problem with embedded CRDT counters and a solution
AUTHORS: Baquero, C ; Almeida, PS ; Lerche, C;
PUBLISHED: 2016, SOURCE: 2nd Workshop on the Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 2ND WORKSHOP ON THE PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2016, PAGES: 10:1-10:3
2468
TITLE: Three Dimensional Modelling of Porto's Network for Electric Mobility Simulation
AUTHORS: Diogo Santos; Jose Pinto; Rosaldo J F Rossetti ; Eugenio Oliveira ;
PUBLISHED: 2016, SOURCE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
2469
TITLE: Time, frequency & complexity analysis for recognizing panic states from physiologic time-series
AUTHORS: Jonathan Rubin; Rui Abreu ; Shane Ahern; Hoda Eldardiry; Daniel G Bobrow;
PUBLISHED: 2016, SOURCE: Proceedings of the 10th EAI International Conference on Pervasive Computing Technologies for Healthcare, PervasiveHealth 2016, Cancun, Mexico, May 16-20, 2016, VOLUME: 2016-May, PAGES: 81-88
2470
TITLE: Time-evolving O-D matrix estimation using high-speed GPS data streams
AUTHORS: Moreira Matias, L ; Gama, J ; Ferreira, M ; Mendes Moreira, J ; Damas, L;
PUBLISHED: 2016, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 44, PAGES: 275-288
2471
TITLE: TimeMachine: Entity-Centric Search and Visualization of News Archives
AUTHORS: Saleiro, Pedro ; Jorge Teixeira; Carlos Soares ; Eugénio C Oliveira ;
PUBLISHED: 2016, SOURCE: ECIR, VOLUME: 9626, PAGES: 845-848
2472
TITLE: Towards a Formal Validation of ETL Patterns Behaviour
AUTHORS: Oliveira, B ; Belo, O ; Macedo, N ;
PUBLISHED: 2016, SOURCE: 6th International Conference on Model and Data Engineering (MEDI) in MODEL AND DATA ENGINEERING, VOLUME: 9893, PAGES: 156-165
2473
TITLE: Towards a Multi-softcore FPGA Approach for the HOG Algorithm
AUTHORS: de Holanda, JAM; Cardoso, JMP ; Marques, E;
PUBLISHED: 2016, SOURCE: 14th IEEE International Conference on Industrial Informatics (INDIN) in 2016 IEEE 14TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 117-122
2474
TITLE: Towards an organization of computers for managing airline operations
AUTHORS: Castro, AJM ; Rocha, AP ; Oliveira, E ;
PUBLISHED: 2016, SOURCE: 31st International Conference on Computers and Their Applications, CATA 2016 in Proceedings of the 31st International Conference on Computers and Their Applications, CATA 2016, PAGES: 239-244
2475
TITLE: Towards Automatic Generation of Metafeatures
AUTHORS: Pinto, F ; Soares, C ; Mendes Moreira, J ;
PUBLISHED: 2016, SOURCE: 20th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) in ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PAKDD 2016, PT I, VOLUME: 9651, PAGES: 215-226
2476
TITLE: Towards Quantifiable Eventual Consistency
AUTHORS: Maia, F ; Matos, M ; Coelho, F ;
PUBLISHED: 2016, SOURCE: 6th International Conference on Cloud Computing and Services Science (CLOSER) in PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE, VOL 1 (CLOSER), VOLUME: 1, PAGES: 368-370
2477
TITLE: Towards Situation-aware Mobile Applications in Mental Health
AUTHORS: Teles, AS; Silva, FJ; Rocha, A ; Lopes, JC ; O'Sullivan, D; Van de Ven, P; Endler, M;
PUBLISHED: 2016, SOURCE: 29th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2016 IEEE 29TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), VOLUME: 2016-August, PAGES: 349-354
2478
TITLE: Towards the Integration of Electric Buses in Conventional Bus Fleets
AUTHORS: Santos, D; Kokkinogenis, Z ; de Sousa, JF ; Perrotta, D; Rossetti, RJF ;
PUBLISHED: 2016, SOURCE: 19th IEEE International Conference on Intelligent Transportation Systems (ITSC) in 2016 IEEE 19TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PAGES: 88-93
2479
TITLE: Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets
AUTHORS: Lima, B ; Faria, JP ;
PUBLISHED: 2016, SOURCE: 10th International Conference on the Quality of Information and Communications Technology (QUATIC) in PROCEEDINGS 2016 10TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), PAGES: 230-235
2480
TITLE: Triggering Strategies for Automatic and Online Service Reconfiguration
AUTHORS: Nelson Rodrigues; Paulo Leitao ; Eugenio Oliveira ;
PUBLISHED: 2016, SOURCE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July

Results per Page: 20.
Page 124 of 232. Total results: 4625.