„Distributed system“

Suchergebnisse

7.563 Treffer

• A Multi-Modal Distributed Real-Time IoT System for Urban Traffic Control (Invited Paper)
  Khanam, Zeba ; Achari, Vejey Pradeep Suresh ; Boukhennoufa, Issam ; Jindal, Anish ; Singh, Amit Kumar 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Modular Approach for the Analysis of Blockchain Consensus Protocol Under Churn (Poster)
  Dinu, Floris Ciprian ; Bonomi, Silvia 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Hierarchical Consensus: A Horizontal Scaling Framework for Blockchains (Invited Talk)
  de la Rocha, Alfonso 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Distributed Computing Meets Game Theory: Fault Tolerance and Implementation with Cheap Talk (Invited Talk)
  Halpern, Joseph Y. 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• HPC Application Cloudification: The StreamFlow Toolkit (Invited Paper)
  Colonnelli, Iacopo ; Cantalupo, Barbara ; Esposito, Roberto ; Pennisi, Matteo ; Spampinato, Concetto ; Aldinucci, Marco 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Adaptable Demonstrator Platform for the Simulation of Distributed Agent-Based Automotive Systems
  Weiss, Philipp ; Nagel, Sebastian ; Weichslgartner, Andreas ; Steinhorst, Sebastian 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Introduction to Microservice API Patterns (MAP)
  Zimmermann, Olaf ; Stocker, Mirko ; Lübke, Daniel ; Pautasso, Cesare ; Zdun, Uwe 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Unifying Formal Methods for Trustworthy Distributed Systems (Dagstuhl Seminar 23112)
  Jacobs, Swen ; McMillan, Kenneth ; Samanta, Roopsha ; Sergey, Ilya
• Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation)
  André, Étienne ; Coti, Camille ; Nguyen, Hoang Gia 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Game-based Synthesis of Distributed Controllers for Sampled Switched Systems
  Fribourg, Laurent ; Kühne, Ulrich ; Markey, Nicolas 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modeling the Function of Narrative in Expertise
  MacDougall, W. Korey ; West, Robert L. ; Genovesi, Christopher 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Approach to Integrate Distributed Systems of Medical Devices in High Acuity Environments
  Gregorczyk, David ; Fischer, Stefan ; Busshaus, Timm ; Schlichting, Stefan ; Pöhlsen, Stephan 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Service-Oriented Operating System and an Application Development Infrastructure for Distributed Embedded Systems
  Lipphardt, Martin ; Glombitza, Nils ; Neumann, Jana ; Werner, Christian ; Fischer, Stefan 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Compute-First Networking (Dagstuhl Seminar 21243)
  Crowcroft, Jon ; Eardley, Philip ; Kutscher, Dirk ; Schooler, Eve M.
• Programming Languages for Distributed Systems and Distributed Data Management (Dagstuhl Seminar 19442)
  Ferreira, Carla ; Haller, Philipp ; Salvaneschi, Guido
• Analysis, Design, and Control of Predictable Interconnected Systems (Dagstuhl Seminar 19101)
  Agrawal, Kunal ; Bini, Enrico ; Stea, Giovanni
• Blockchain Security at Scale (Dagstuhl Seminar 18461)
  Böhme, Rainer ; Bonneau, Joseph ; Eyal, Ittay
• Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211)
  Esparza, Javier ; Fraignaud, Pierre ; Muscholl, Anca ; Rajsbaum, Sergio
• Data Consistency in Distributed Systems: Algorithms, Programs, and Databases (Dagstuhl Seminar 18091)
  Bieniusa, Annette ; Gotsman, Alexey ; Kemme, Bettina ; Shapiro, Marc
• Integrating Process-Oriented and Event-Based Systems (Dagstuhl Seminar 16341)
  Eyers, David ; Gal, Avigdor ; Jacobsen, Hans-Arno ; Weidlich, Matthias