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

AuthID: I-000-0K9


Publications Count: 4655

62 Team Members
Filters -> Year: 2026
3421
TITLE: Social and solidarity economy web information systems: State of the art. State of the Art
AUTHORS: Malta, MC ; Baptista, AA ;
PUBLISHED: 2012, SOURCE: Social E-Enterprise: Value Creation through ICT, PAGES: 1-16
3422
TITLE: Software agents: Can we trust them?
AUTHORS: Oliveira, E ;
PUBLISHED: 2012, SOURCE: IEEE 16th International Conference on Intelligent Engineering Systems, INES 2012 in INES 2012 - IEEE 16th International Conference on Intelligent Engineering Systems, Proceedings, PAGES: 15-20
3423
TITLE: Special session on 'programming paradigms for reconfigurable multi-core embedded systems'
AUTHORS: Gohringer, D; Diniz, P ;
PUBLISHED: 2012, SOURCE: 2012 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2012 in Proceedings - 2012 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2012, PAGES: 227
3424
TITLE: Specification-Driven Unit Test Generation for Java Generic Classes
AUTHORS: Francisco Rebello de Andrade; João Pascoal Faria ; Antónia Lopes ; Ana C R Paiva ;
PUBLISHED: 2012, SOURCE: IFM, VOLUME: 7321 LNCS, PAGES: 296-311
3425
TITLE: Specifying Compiler Strategies for FPGA-based Systems
AUTHORS: Cardoso, JMP ; Teixeira, J; Alves, JC ; Nobre, R ; Diniz, PC ; Coutinho, JGF; Luk, W;
PUBLISHED: 2012, SOURCE: 20th IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM) in 2012 IEEE 20TH ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM), PAGES: 192-199
3426
TITLE: Specifying UML Protocol State Machines in Alloy
AUTHORS: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2012, SOURCE: IFM, VOLUME: 7321 LNCS, PAGES: 312-326
3427
TITLE: Spectra: Robust Estimation of Distribution Functions in Networks
AUTHORS: Miguel Borges; Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2012, SOURCE: DAIS, VOLUME: 7272 LNCS, PAGES: 96-103
3428
TITLE: State of the Art on Methodologies for the Development of a Metadata Application Profile
AUTHORS: Malta, MC ; Baptista, AA ;
PUBLISHED: 2012, SOURCE: 6th Research Conference on Metadata and Semantics Research in METADATA AND SEMANTICS RESEARCH, VOLUME: 343, PAGES: 61-73
3429
TITLE: Stopping ongoing broadcasts in large MANETs
AUTHORS: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLISHED: 2012, SOURCE: ARMOR, PAGES: 4:1-4:5
3430
TITLE: Structured editing of handwritten mathematics
AUTHORS: Alexandra Mendes ;
PUBLISHED: 2012, SOURCE: British Library, EThOS
3431
TITLE: Studying a Personality Coreference Network in a News Stories Photo Collection
AUTHORS: José Luís Devezas ; Filipe Coelho; Sérgio Nunes ; Cristina Ribeiro ;
PUBLISHED: 2012, SOURCE: ECIR, VOLUME: 7224 LNCS, PAGES: 485-488
3432
TITLE: Task Assignment Algorithms for Two-type Heterogeneous Multiprocessors
AUTHORS: Gurulingesh Raravi; Bjorn Andersson; Konstantinos Bletsas ; Vincent Nelis ;
PUBLISHED: 2012, SOURCE: 24th Euromicro Conference on Real-Time Systems (ECRTS) in PROCEEDINGS OF THE 24TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2012), PAGES: 34-43
3433
TITLE: Test Generation from UML Sequence Diagrams
AUTHORS: Faria, JP ; Paiva, ACR ; Yang, ZL;
PUBLISHED: 2012, SOURCE: 8th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), PAGES: 245-250
3434
3435
TITLE: The Learning Design in Education Today - Putting Pedagogical Content Knowledge into Practice
AUTHORS: Isabel Azevedo; Dulce Mota ; Carlos Vaz de Carvalho; Eurico Carrapatoso ; Luís Paulo Reis ;
PUBLISHED: 2012, SOURCE: CSEDU (1), VOLUME: 1, PAGES: 344-347
3436
TITLE: Topological inference through mobile devices
AUTHORS: Marco Antero Paiva; Marcelo R. Petry ; Rosaldo J F Rossetti ;
PUBLISHED: 2012, SOURCE: SAC, PAGES: 574-575
3437
TITLE: Towards a Catalog of Spreadsheet Smells
AUTHORS: Cunha, J ; Fernandes, JP ; Ribeiro, H; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT IV, VOLUME: 7336, ISSUE: PART 4, PAGES: 202-216
3438
TITLE: Towards a Framework to Evaluate and Improve the Quality of Implementation of CMMI® Practices
AUTHORS: Isabel Lopes Margarido; João Pascoal Faria ; Raul Moreira Vidal; Marco Vieira ;
PUBLISHED: 2012, SOURCE: PROFES, VOLUME: 7343 LNCS, PAGES: 361-365
3439
TITLE: TOWARDS A SERIOUS GAMES EVACUATION SIMULATOR
AUTHORS: Ribeiro, J; Almeida, JE; Rossetti, RJF ; Coelho, A ; Coelho, AL;
PUBLISHED: 2012, SOURCE: 26th European Conference on Modelling and Simulation (ECMS 2012) in PROCEEDINGS 26TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2012, PAGES: 697-702
3440
TITLE: Towards an Autonomous and Intelligent Airline Operations Control
AUTHORS: Castro, AJM ; Rocha, AP ; Oliveira, E ;
PUBLISHED: 2012, SOURCE: 15th International IEEE Conference on Intelligent Transportation Systems (ITSC) in 2012 15TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PAGES: 1429-1434

Results per Page: 20.
Page 172 of 233. Total results: 4655.