What's New
What's New
Keeps you and your users informed of changes to this site:
- This page is an automatically generated list of recently changed pages.
- An RSS Feed provides these recent changes to RSS readers.
RV4Test: exploiting Runtime Verification as a Tool for Software Testing in Distributed Applications
Located in
Modified by Giovanni Ciatto on 19/04/2024 10:30
Simulation for the Management of an Autonomous Warehouse
Located in
Modified by Andrea Omicini on 18/04/2024 15:44
Java-based Implementation of Google’s Chubby Lock Service using Raft Consensus Algorithm
Located in
Modified by Andrea Omicini on 15/04/2024 23:04
Concurrency model of BDI programming frameworks: why should we control it?
Located in
Modified by Andrea Omicini on 14/04/2024 18:30
Ambiente di sviluppo integrato (IDE) per potenziare l'efficienza degli sviluppatori e elevare la qualità del codice
Located in
Modified by Andrea Omicini on 14/04/2024 17:30
Study and Implementation of the Sieve Protocol in BFT
Located in
Modified by Andrea Omicini on 12/04/2024 14:58
Profile of Pablo Sebastian Vargas Grateron
Located in
Modified by Andrea Omicini on 12/04/2024 14:58
The potential for Artificial Intelligence in the diagnosis of Alzheimer’s Disease: A Systematic Literature Review
Located in
Modified by Andrea Omicini on 11/04/2024 23:45
Fortifying Medical Diagnosis: Federated Learning Augmented by Blockchain for Enhanced Privacy, Security, and Robustness
Located in
Modified by Roberta Calegari on 09/04/2024 08:48
Large language models as oracles for instantiating ontologies with domain-specific knowledge
Located in
Modified by Giovanni Ciatto on 05/04/2024 12:10