Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems
AuthID: I-000-1RA Publications Count: 1277
43 Team MembersFilters -> Year: 2026
621
TITLE: Sni'per: a Code Snippet RESTful API
AUTHORS: Ricardo Queirós ; Alberto Simões;
PUBLISHED: 2016, SOURCE: SLATE, VOLUME: 51, PAGES: 13:1-13:11
AUTHORS: Ricardo Queirós ; Alberto Simões;
PUBLISHED: 2016, SOURCE: SLATE, VOLUME: 51, PAGES: 13:1-13:11
622
TITLE: The G-ACM Tool: using the Drools Rule Engine for Access Control Management
AUTHORS: João Sá; Sandra Alves ; Sabine Broda ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1611.08547
AUTHORS: João Sá; Sandra Alves ; Sabine Broda ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1611.08547
623
TITLE: Workshop message: Smart Vehicles 2016
AUTHORS: Festag, A; Boban, M; Kenney, JB; Vilela, JP ;
PUBLISHED: 2016, SOURCE: 17th International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2016 in WoWMoM 2016 - 17th International Symposium on a World of Wireless, Mobile and Multimedia Networks
AUTHORS: Festag, A; Boban, M; Kenney, JB; Vilela, JP ;
PUBLISHED: 2016, SOURCE: 17th International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2016 in WoWMoM 2016 - 17th International Symposium on a World of Wireless, Mobile and Multimedia Networks
624
TITLE: A Framework for the Analysis of Access Control Policies with Emergency Management
AUTHORS: Alves, S ; Fernandez, M;
PUBLISHED: 2015, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 312, PAGES: 89-105
AUTHORS: Alves, S ; Fernandez, M;
PUBLISHED: 2015, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 312, PAGES: 89-105
625
TITLE: A Framework for the Secure Storage of Data Generated in the IoT
AUTHORS: Ricardo Costa ; António Pinto ;
PUBLISHED: 2015, SOURCE: ISAmI, VOLUME: 376, PAGES: 175-182
AUTHORS: Ricardo Costa ; António Pinto ;
PUBLISHED: 2015, SOURCE: ISAmI, VOLUME: 376, PAGES: 175-182
626
TITLE: A Multi-Relational Model for Depression Relapse in Patients with Bipolar Disorder
AUTHORS: Salvini, R; Dias, RD; Lafer, B; Dutra, I ;
PUBLISHED: 2015, SOURCE: MEDINFO 2015: EHEALTH-ENABLED HEALTH, VOLUME: 216, PAGES: 741-745
AUTHORS: Salvini, R; Dias, RD; Lafer, B; Dutra, I ;
PUBLISHED: 2015, SOURCE: MEDINFO 2015: EHEALTH-ENABLED HEALTH, VOLUME: 216, PAGES: 741-745
627
TITLE: A multi-relational model for depression relapse in patients with bipolar disorder by means of a machine learning approach
AUTHORS: Dias, R; Salvini, R; Dutra, I ; Lafer, B;
PUBLISHED: 2015, SOURCE: BIPOLAR DISORDERS, VOLUME: 17, PAGES: 128-128
AUTHORS: Dias, R; Salvini, R; Dutra, I ; Lafer, B;
PUBLISHED: 2015, SOURCE: BIPOLAR DISORDERS, VOLUME: 17, PAGES: 128-128
628
TITLE: A Parallel Computing Hybrid Approach for Feature Selection
AUTHORS: Silva, J ; Aguiar, A ; Silva, F ;
PUBLISHED: 2015, SOURCE: IEEE 18th International Conference on Computational Science and Engineering (CSE) in 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE), PAGES: 97-104
AUTHORS: Silva, J ; Aguiar, A ; Silva, F ;
PUBLISHED: 2015, SOURCE: IEEE 18th International Conference on Computational Science and Engineering (CSE) in 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE), PAGES: 97-104
629
TITLE: A short note on type-inhabitation: Formula-trees vs. game semantics
AUTHORS: Alves, S ; Broda, S ;
PUBLISHED: 2015, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 115, ISSUE: 11, PAGES: 908-911
AUTHORS: Alves, S ; Broda, S ;
PUBLISHED: 2015, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 115, ISSUE: 11, PAGES: 908-911
630
TITLE: A Structural Approach to Assess Graph-Based Exercises
AUTHORS: Sousa, R; Leal, JP ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 182-193
AUTHORS: Sousa, R; Leal, JP ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 182-193
631
TITLE: A Typed Language for Events
AUTHORS: Alves, S ; Broda, S ; Fernández, M;
PUBLISHED: 2015, SOURCE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527, PAGES: 107-123
AUTHORS: Alves, S ; Broda, S ; Fernández, M;
PUBLISHED: 2015, SOURCE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527, PAGES: 107-123
632
TITLE: Accelerating Recommender Systems using GPUs
AUTHORS: Rodrigues, AV ; Jorge, A ; Dutra, I ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PAGES: 879-884
AUTHORS: Rodrigues, AV ; Jorge, A ; Dutra, I ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PAGES: 879-884
633
TITLE: Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics
AUTHORS: Alves, S ; Degtyarev, A; Fernández, M;
PUBLISHED: 2015, SOURCE: 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), VOLUME: 8981, PAGES: 148-163
AUTHORS: Alves, S ; Degtyarev, A; Fernández, M;
PUBLISHED: 2015, SOURCE: 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), VOLUME: 8981, PAGES: 148-163
634
TITLE: Active Manifold Learning with Twitter Big Data
AUTHORS: Silva, C ; Antunes, M ; Costa, J; Bernardete Ribeiro ;
PUBLISHED: 2015, SOURCE: INNS Conference on Big Data in INNS CONFERENCE ON BIG DATA 2015 PROGRAM, VOLUME: 53, ISSUE: 1, PAGES: 208-215
AUTHORS: Silva, C ; Antunes, M ; Costa, J; Bernardete Ribeiro ;
PUBLISHED: 2015, SOURCE: INNS Conference on Big Data in INNS CONFERENCE ON BIG DATA 2015 PROGRAM, VOLUME: 53, ISSUE: 1, PAGES: 208-215
635
TITLE: Automated Diagnosis of Breast Cancer on Medical Images
AUTHORS: Marina Velikova; Inês Dutra ; Elizabeth S Burnside;
PUBLISHED: 2015, SOURCE: Foundations of Biomedical Knowledge Representation, VOLUME: 9521 LNCS, PAGES: 47-67
AUTHORS: Marina Velikova; Inês Dutra ; Elizabeth S Burnside;
PUBLISHED: 2015, SOURCE: Foundations of Biomedical Knowledge Representation, VOLUME: 9521 LNCS, PAGES: 47-67
636
TITLE: Automatic network configuration in virtualized environment using GNS3
AUTHORS: Rodrigo Emiliano; Mario Antunes ;
PUBLISHED: 2015, SOURCE: 10th International Conference on Computer Science and Education (ICCSE) in 10TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION (ICCSE 2015), PAGES: 25-30
AUTHORS: Rodrigo Emiliano; Mario Antunes ;
PUBLISHED: 2015, SOURCE: 10th International Conference on Computer Science and Education (ICCSE) in 10TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION (ICCSE 2015), PAGES: 25-30
637
TITLE: Batched Evaluation of Full-Sharing Multithreaded Tabling
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 113-124
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 113-124
638
TITLE: Benchmarking analysis of social media strategies in the Higher Education Sector
AUTHORS: Oliveira, L ; Figueira, A ;
PUBLISHED: 2015, SOURCE: Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS/INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT/CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERIS/PROJMAN / HCIST 2015, VOLUME: 64, PAGES: 779-786
AUTHORS: Oliveira, L ; Figueira, A ;
PUBLISHED: 2015, SOURCE: Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS/INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT/CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERIS/PROJMAN / HCIST 2015, VOLUME: 64, PAGES: 779-786
639
TITLE: Cross-Layer Admission Control to Enhance the Support of Real-Time Applications in WSN
AUTHORS: Pinto, P ; Pinto, A ; Ricardo, M ;
PUBLISHED: 2015, SOURCE: IEEE SENSORS JOURNAL, VOLUME: 15, ISSUE: 12, PAGES: 6945-6953
AUTHORS: Pinto, P ; Pinto, A ; Ricardo, M ;
PUBLISHED: 2015, SOURCE: IEEE SENSORS JOURNAL, VOLUME: 15, ISSUE: 12, PAGES: 6945-6953
640
TITLE: Data Quality in HL7 Messages - A Real Case Analysis
AUTHORS: Ferreira, R ; Correia, ME ; Rocha Gonçalves, F ; Cruz Correia, R ;
PUBLISHED: 2015, SOURCE: 28th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2015 IEEE 28TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), VOLUME: 2015-July, PAGES: 197-200
AUTHORS: Ferreira, R ; Correia, ME ; Rocha Gonçalves, F ; Cruz Correia, R ;
PUBLISHED: 2015, SOURCE: 28th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2015 IEEE 28TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), VOLUME: 2015-July, PAGES: 197-200
