„Distributed system“
Suchergebnisse
7.563 Treffer
-
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLVII – Special Issue on Digital Ecosystems and Social Networks
-
Stabilization, Safety, and Security of Distributed Systems – 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings
-
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
-
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
-
Transactions on Computational Science XXXV – Special Issue on Signal Processing and Security in Distributed Systems
-
Developments in Model-Based Optimization and Control – Distributed Control and Industrial Applications
-
Intelligent Distributed Computing IX – Proceedings of the 9th International Symposium on Intelligent Distributed Computing – IDC'2015, Guimarães, Portugal, October 2015
-
Agents and Artificial Intelligence – 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers
-
Advances in Computer Science and Ubiquitous Computing – CSA & CUTE
-
Multiagent System Technologies – 13th German Conference, MATES 2015, Cottbus, Germany, September 28 - 30, 2015, Revised Selected Papers
-
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII
-
Architectural Transformations in Network Services and Distributed Systems
-
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
-
Contributions to Networked and Event-Triggered Control of Linear Systems
-
Distributed Applications and Interoperable Systems – 16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
-
Formal Techniques for Distributed Objects, Components, and Systems – 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
-
Web Services, Formal Methods, and Behavioral Types – 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
-
Smart Power Systems and Renewable Energy System Integration
-
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXV
-
Information Science and Applications (ICISA) 2016