Skip to main content

2 Result(s)

within Miroslav Popovic Remove this filter Computer Science Remove this filter Artificial Intelligence Remove this filter Special Purpose and Application-Based Systems Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP

    Federated learning (FL) is a machine learning setting where clients keep the training data decentralised and collaboratively train a model either under the coordination of a central server (centralised FL) or ...

    Ivan Prokić, Silvia Ghilezan, Simona Kašterović… in Engineering of Computer-Based Systems (2024)

  2. No Access

    Chapter and Conference Paper

    A Federated Learning Algorithms Development Paradigm

    At present many distributed and decentralized frameworks for federated learning algorithms are already available. However, development of such a framework targeting smart Internet of Things in edge systems is ...

    Miroslav Popovic, Marko Popovic, Ivan Kastelan… in Engineering of Computer-Based Systems (2024)