HASLab - Artigos em atas de conferências internacionais (texto completo) : [514] Statistics

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit date in descending order): 1 to 20 of 514
Issue DateTitleAuthor(s)TypeAccess
2020Building a polyglot data access layer for a low-code application development platform - (Experience Report)Nunes Alonso, Ana; Abreu, João; Nunes, David, et al.Conference paperRestricted access (UMinho)
2020Self-tunable DBMS replication with reinforcement learningFerreira, Luís; Coelho, Fábio; Pereira, JoséConference paperRestricted access (UMinho)
2020A comparison of message exchange patterns in BFT protocols: (experience report)Silva, Fábio; Alonso, Ana; Pereira, José, et al.Conference paperRestricted access (UMinho)
2019Data security and trustworthiness in online public services: An assessment of Portuguese institutionsSilva, João Marco C.; Fonte, VictorConference paperOpen access
2020EAGP: An energy-aware gossip protocol for wireless sensor networksFerreira, Bruno Chianca; Fonte, Victor; Silva, Joao Marco C.Conference paperOpen access
2019Recovery in CloudDBAppliance's high-availability middlewareAbreu, Hugo; Ferreira, Luis; Coelho, Fabio, et al.Conference paperRestricted access (UMinho)
2018Falcon: a practical log-based analysis tool for distributed systemsNeves, Francisco Nuno Teixeira; Machado, Nuno; Pereira, JoséConference paperRestricted access (UMinho)
2019Towards intra-datacentre high-availability in CloudDBApplianceFerreira, Luis; Coelho, Fábio; Alonso, Ana Nunes, et al.Conference paperRestricted access (UMinho)
2019A case for dynamically programmable storage background tasksMacedo, Ricardo; Faria, Alberto; Paulo, João, et al.Conference paperRestricted access (UMinho)
2019TRUSTFS: an SGX-enabled stackable file system frameworkEsteves, Tânia; Macedo, Ricardo; Faria, Alberto, et al.Conference paperRestricted access (UMinho)
Feb-2020Minha: large-scale distributed systems testing made practicalMachado, Nuno; Maia, Francisco; Neves, Francisco Nuno Teixeira, et al.Conference paperRestricted access (UMinho)
2020The last mile: High-Assurance and High-Speed cryptographic implementationsAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al.Conference paperOpen access
2020Certified compilation for cryptography: Extended x86 instructions and constant-time verificationAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al.Conference paperOpen access
2020Sequence mining for automatic generation of software tests from GUI event tracesOliveira, Alberto; Freitas, Ricardo; Jorge, Alípio, et al.Conference paperOpen access
2020Model-based testing of post-wimp interactions using object oriented petri-netsCanny, Alexandre; Navarre, David; Campos, José C., et al.Conference paperOpen access
2020State-machine replication for planet-scale systemsEnes, Vitor; Baquero, Carlos; Rezende, Tuanir França, et al.Conference paperOpen access
2020Verification of system-wide safety properties of ROS applicationsCarvalho, Renato; Cunha, Alcino; Macedo, Nuno, et al.Conference paperOpen access
2002Component-based programming for higher-order attribute grammarsSaraiva, JoãoConference paperOpen access
2016Memoized zipper-based attribute grammarsFernandes, João Paulo Sousa Ferreira; Martins, Pedro Miguel Ribeiro; Pardo, Alberto, et al.Conference paperOpen access
Jan-2016Towards an automated classification of spreadsheetsMendes, Jorge Cunha; Do, Kha N.; Saraiva, JoãoConference paperOpen access
Collection's Items (Sorted by Submit date in descending order): 1 to 20 of 514