Search Results - Pardal, Miguel L.

Refine Results
  1. 1
    Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning

    Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning by Vaz, Diogo, Matos, David R., Pardal, Miguel L., Correia, Miguel

    Published in IEEE access
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    μVerum: Intrusion Recovery for Microservice Applications

    μVerum: Intrusion Recovery for Microservice Applications by Matos, David R., Pardal, Miguel L., Silva, Antonio Rito, Correia, Miguel

    Published in IEEE access
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Sanare: Pluggable Intrusion Recovery for Web Applications

    Sanare: Pluggable Intrusion Recovery for Web Applications by Matos, David R., Pardal, Miguel L., Correia, Miguel

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service

    MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service by Vaz, Diogo, Matos, David R., Pardal, Miguel L., Correia, Miguel

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    A Study on the Best Way to Compress Natural Language Processing Models

    A Study on the Best Way to Compress Natural Language Processing Models by Antunes, Joao, Pardal, Miguel L., Coheur, Luisa

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    SureRepute: Reputation System for Crowdsourced Location Witnesses

    SureRepute: Reputation System for Crowdsourced Location Witnesses by Figueiredo, Rafael, Eisa, Samih, Pardal, Miguel L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Bluetooth Peer-to-Peer Location Certification with a Gamified Mobile Application

    Bluetooth Peer-to-Peer Location Certification with a Gamified Mobile Application by Grade, Ricardo, Eisa, Samih, Pardal, Miguel L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    MultiTLS: using multiple and diverse ciphers for stronger secure channels

    MultiTLS: using multiple and diverse ciphers for stronger secure channels by Moura, Ricardo, Lopes, Ricardo, Matos, David R., Pardal, Miguel L., Correia, Miguel

    Published in Computers & security
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  9. 9
    Cloud vs Fog: assessment of alternative deployments for a latency-sensitive IoT application

    Cloud vs Fog: assessment of alternative deployments for a latency-sensitive IoT application by Gomes, Marcus, Pardal, Miguel L.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Smart Healthcare Monitoring System For Healthy Driving in Public Transportation

    Smart Healthcare Monitoring System For Healthy Driving in Public Transportation by Maximino, Pedro, Cruz, Rui S., Pardal, Miguel L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    FingerCI: Writing industrial process specifications from network traffic

    FingerCI: Writing industrial process specifications from network traffic by Apolinário, Filipe, Escravana, Nelson, Hervé, Éric, Pardal, Miguel L., Correia, Miguel

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  12. 12
    LoCaaS: Location-Certification-as-a-Service

    LoCaaS: Location-Certification-as-a-Service by Vicente, Lucas H., Eisa, Samih, Pardal, Miguel L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Secure protocol buffers for Bluetooth Low-Energy communication with wearable devices

    Secure protocol buffers for Bluetooth Low-Energy communication with wearable devices by Francisco, Miguel C., Eisa, Samih, Pardal, Miguel L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    Poster: The ROAD to resilient location for the Internet of Vehicles

    Poster: The ROAD to resilient location for the Internet of Vehicles by Rosa, Pedro M., Pardal, Miguel L., Pestana, Gabriel

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum

    Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum by Martins, Filipe F., Matos, David R., Pardal, Miguel L., Correia, Miguel

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    LeanBench: comparing software stacks for batch and query processing of IoT data

    LeanBench: comparing software stacks for batch and query processing of IoT data by Moreira, João M.P., Galhardas, Helena, Pardal, Miguel L.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  17. 17
    Learning to generate Reliable Broadcast Algorithms

    Learning to generate Reliable Broadcast Algorithms by Vaz, Diogo, Matos, David R, Pardal, Miguel L, Correia, Miguel

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    S-Audit: Efficient Data Integrity Verification for Cloud Storage

    S-Audit: Efficient Data Integrity Verification for Cloud Storage by Apolinario, Filipe, Pardal, Miguel, Correia, Miguel

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  19. 19
    EvoChain: a Recovery Approach for Permissioned Blockchain Applications

    EvoChain: a Recovery Approach for Permissioned Blockchain Applications by Faria, Francisco, Eisa, Samih, Matos, David R, Pardal, Miguel L

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    Decentralized Storage And Self-Sovereign Identity For Document-Based Claims

    Decentralized Storage And Self-Sovereign Identity For Document-Based Claims by Gomes, Bruno, Eisa, Samih, Matos, David R, Pardal, Miguel L

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: