„Distributed Systems“

Suchergebnisse

6.149 Treffer

• Transactions on Large-Scale Data- and Knowledge-Centered Systems LII
  Hameurlain, Abdelkader ; Tjoa, A Min 2022 Springer International Publishing
• Distributed Applications and Interoperable Systems – 22nd IFIP WG 6.1 International Conference, DAIS 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
  2022 Springer Nature Switzerland
• Stabilization, Safety, and Security of Distributed Systems – 23rd International Symposium, SSS 2021, Virtual Event, November 17–20, 2021, Proceedings
  2021 Springer International Publishing
• Formal Techniques for Distributed Objects, Components, and Systems – 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings
  2022 Springer International Publishing
• Distributed Applications and Interoperable Systems – 21st IFIP WG 6.1 International Conference, DAIS 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings
  2021 Springer International Publishing
• Formal Techniques for Distributed Objects, Components, and Systems – 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings
  2021 Springer International Publishing
• Transactions on Large-Scale Data- and Knowledge-Centered Systems XLVII – Special Issue on Digital Ecosystems and Social Networks
  Hameurlain, Abdelkader ; Tjoa, A Min ; Chbeir, Richard 2021 Springer Berlin Heidelberg
• Stabilization, Safety, and Security of Distributed Systems – 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings
  2020 Springer International Publishing
• Formal Techniques for Distributed Objects, Components, and Systems – 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
  2020 Springer International Publishing
• Distributed Applications and Interoperable Systems – 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
  2020 Springer International Publishing
• Transactions on Computational Science XXXV – Special Issue on Signal Processing and Security in Distributed Systems
  Gavrilova, Marina L. ; Tan, C. J. Kenneth ; Saeed, Khalid ; Chaki, Nabendu 2020 Springer International Publishing
• Developments in Model-Based Optimization and Control – Distributed Control and Industrial Applications
  Olaru, Sorin ; Grancharova, Alexandra ; Lobo Pereira, Fernando Manuel 2015 Springer International Publishing
• Intelligent Distributed Computing IX – Proceedings of the 9th International Symposium on Intelligent Distributed Computing – IDC'2015, Guimarães, Portugal, October 2015
  Novais, Paulo ; Camacho, David ; Analide, Cesar ; El Fallah Seghrouchni, Amal ; Badica, Costin 2015 Springer International Publishing
• Agents and Artificial Intelligence – 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers
  Duval, Beatrice ; Herik, Jaap ˜van denœ ; Loiseau, Stephane ; Filipe, Joaquim 2015 Springer Berlin Heidelberg
• Advances in Computer Science and Ubiquitous Computing – CSA & CUTE
  Park, Doo-Soon ; Chao, Han-Chieh ; Jeong, Young-Sik ; Park, Jong Hyuk 2015 Springer Singapore
• Multiagent System Technologies – 13th German Conference, MATES 2015, Cottbus, Germany, September 28 - 30, 2015, Revised Selected Papers
  Müller, Jörg P. ; Ketter, Wolf ; Kaminka, Gal ; Wagner, Gerd ; Bulling, Nils 2015 Springer International Publishing
• Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII
  2015 Springer International Publishing
• Architectural Transformations in Network Services and Distributed Systems
  Luntovskyy, Andriy ; Spillner, Josef 2017 Springer Fachmedien Wiesbaden
• Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems – 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
  Bernardo, Marco ; De Nicola, Rocco ; Hillston, Jane 2016 Springer International Publishing
• Contributions to Networked and Event-Triggered Control of Linear Systems
  Guinaldo Losada, María 2016 Springer International Publishing