| Recovery Algorithms for Paxos-Based State Machine Replication | 0 | 0.34 | 2021 |
| Flowlens: Enabling Efficient Flow Classification For Ml-Based Network Security Applications | 2 | 0.40 | 2021 |
| Censorship-resistant web annotations based on ethereum and IPFS | 0 | 0.34 | 2020 |
| My House, My Rules: A Private-by-Design Smart Home Platform | 0 | 0.34 | 2020 |
| Virtual Reality-Based Cognitive Stimulation to Improve Cognitive Functioning in Community Elderly: A Controlled Study. | 0 | 0.34 | 2020 |
| A Complexity Metric for Microservices Architecture Migration | 0 | 0.34 | 2020 |
| Towards a Scalable Censorship-Resistant Overlay Network based on WebRTC Covert Channels | 0 | 0.34 | 2020 |
| Forensic analysis of communication records of messaging applications from physical memory | 0 | 0.34 | 2019 |
| Cognitive Stimulation of Elderly Individuals with Instrumental Virtual Reality-Based Activities of Daily Life: Pre-Post Treatment Study. | 0 | 0.34 | 2019 |
| Demystifying Arm TrustZone: A Comprehensive Survey. | 20 | 0.83 | 2019 |
| From A Monolith To A Microservices Architecture: An Approach Based On Transactional Contexts | 3 | 0.41 | 2019 |
| Novel Design of the Converter for an Active UPS Application Based on Marx Modulator Concept with Supercapacitors. | 0 | 0.34 | 2019 |
| A logical architecture design method for microservices architectures | 1 | 0.35 | 2019 |
| Incremental architectural requirements for agile modeling - a case study within a scrum project. | 0 | 0.34 | 2018 |
| HomePad: A Privacy-Aware Smart Hub for Home Environments | 2 | 0.40 | 2018 |
| Modeling in Agile Software Development: Decomposing Use Cases Towards Logical Architecture Design. | 0 | 0.34 | 2018 |
| An Extended Case Study about Securing Smart Home Hubs through N-version Programming. | 0 | 0.34 | 2018 |
| An Agile Modeling Oriented Process for Logical Architecture Design. | 0 | 0.34 | 2018 |
| An experience report on using architectural models within distributed scrum teams contexts. | 0 | 0.34 | 2018 |
| Deriving user stories for distributed scrum teams from iterative refinement of architectural models. | 0 | 0.34 | 2018 |
| DBStore: A TrustZone-backed Database Management System for Mobile Applications. | 0 | 0.34 | 2018 |
| Leveraging Arm Trustzone And Verifiable Computing To Provide Auditable Mobile Functions | 0 | 0.34 | 2018 |
| TrUbi: A System for Dynamically Constraining Mobile Devices within Restrictive Usage Scenarios. | 3 | 0.39 | 2017 |
| Forensic Analysis of Communication Records of Web-based Messaging Applications from Physical Memory. | 0 | 0.34 | 2017 |
| DeltaShaper: Enabling Unobservable Censorship-resistant TCP Tunneling over Videoconferencing Streams. | 0 | 0.34 | 2017 |
| iFloW - An Integrated Logistics Software System for Inbound Supply Chain Traceability. | 2 | 0.45 | 2016 |
| P-Cop: A Cloud Administration Proxy To Enforce Bipartite Maintenance Of Paas Services | 0 | 0.34 | 2016 |
| ARM TrustZone for Secure Image Processing on the Cloud | 1 | 0.37 | 2016 |
| Computer-assisted assessment of cognitive functioning in the elderly through the systemic Lisbon battery | 0 | 0.34 | 2016 |
| A case for enforcing app-specific constraints to mobile devices by using trust leases | 2 | 0.37 | 2015 |
| Modularization of Logical Software Architectures for Implementation with Multiple Teams | 1 | 0.35 | 2014 |
| Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines. | 0 | 0.34 | 2014 |
| Eliciting Nicotine Craving with Virtual Smoking Cues. | 1 | 0.40 | 2014 |
| Leveraging trusted computing and model checking to build dependable virtual machines | 0 | 0.34 | 2014 |
| Changing the Hidden Rules - An Excel Template for Discussing Soccer's Competitive Balance. | 0 | 0.34 | 2014 |
| Achieving High-Throughput State Machine Replication in Multi-core Systems | 18 | 0.81 | 2013 |
| Tuning paxos for high-throughput with batching and pipelining | 12 | 0.62 | 2012 |
| Quantitative Analysis of Consensus Algorithms | 1 | 0.37 | 2012 |
| S-Paxos: Offloading the Leader for High Throughput State Machine Replication | 25 | 1.00 | 2012 |
| Unifying Divergence Bounding and Locality Awareness in Replicated Systems with Vector-Field Consistency | 11 | 0.66 | 2010 |
| Swift Algorithms for Repeated Consensus | 0 | 0.34 | 2010 |
| A Secure Grid Medical Data Manager Interfaced to the gLite Middleware | 19 | 1.39 | 2008 |
| Exploring high performance distributed file storage using LDPC codes | 11 | 0.74 | 2007 |
| Vector-field consistency for ad-hoc gaming | 12 | 0.60 | 2007 |
| Making Distributed Transactions Resilient to Intermittent Network Connections | 1 | 0.36 | 2006 |
| Distributed Metadata with the AMGA Metadata Catalog | 16 | 1.57 | 2006 |
| Bridging clinical information systems and grid middleware: a Medical Data Manager. | 19 | 1.43 | 2006 |
| Loosely-Coupled, Mobile Replication of Objects with Transactions | 4 | 0.53 | 2004 |
| A Video Transcoding Scheme for E-Learning Multimedia Applications | 0 | 0.34 | 2004 |
| Learning self-organizing maps for navigation in dynamic worlds | 2 | 0.49 | 2003 |
