Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Filtern nach
Aktive Filter
Letzte Suchanfragen

Ergebnisse für *

Es wurden 1 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 1 von 1.

Sortieren

  1. Stabilization, Safety, and Security of Distributed Systems
    17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings
    Autor*in: Pelc, Andrzej
    Erschienen: 2015; ©2015
    Verlag:  Springer International Publishing AG, Cham

    Intro -- Preface -- Organization -- Keynote Lectures -- Distributed Runtime Verification -- A Fast and Scalable Payment Network with Bitcoin Duplex Micropayment Channels -- Correctness Conditions for Randomized Shared Memory Algorithms -- Contents --... mehr

    Zugang:
    Aggregator (Lizenzpflichtig)

    Standort:
    Hochschulbibliothek Friedensau
    Signatur:
    Online-Ressource
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

     

    Intro -- Preface -- Organization -- Keynote Lectures -- Distributed Runtime Verification -- A Fast and Scalable Payment Network with Bitcoin Duplex Micropayment Channels -- Correctness Conditions for Randomized Shared Memory Algorithms -- Contents -- Keynote Lecture -- A Fast and Scalable Payment Network with Bitcoin Duplex Micropayment Channels -- 1 Introduction -- 2 Bitcoin -- 3 Building Blocks -- 3.1 Bitcoin Contracts -- 3.2 Timelocks and Invalidation -- 3.3 Shared Accounts -- 3.4 Simple Micropayment Channels -- 3.5 Atomic Multiparty Opt-In -- 3.6 Hashed Timelock Contracts (HTLC) -- 4 Duplex Micropayment Channel -- 4.1 Structure -- 4.2 Setup -- 4.3 Reset -- 4.4 Teardown and Commit -- 4.5 Refresh -- 5 Routing Payments -- 6 Related Work -- 7 Conclusion -- References -- Regular Papers -- Reaching Approximate Byzantine Consensus with Multi-hop Communication -- 1 Introduction -- 2 System Model and Structure of Iterative Algorithms -- 3 Necessary Condition -- 3.1 Equivalent Characterization of Condition NC -- 4 Sufficiency: Algorithm 1 -- 4.1 Matrix Representation of Algorithm 1 -- 5 Unbounded Path Length -- 5.1 Undirected Graph with Unbounded Path Length -- 5.2 Directed Graph with Unbounded Path Length -- 6 Summary and Discussion -- References -- The Complexity of Data Aggregation in Static and Dynamic Wireless Sensor Networks -- 1 Introduction -- 2 Model and Preliminaries -- 3 NP-Hardness -- 3.1 Static Grid Graphs of Degree at Most Three -- 3.2 Dynamic Graphs of Degree at Most Two -- 4 Upper and Lower Bounds -- 5 Impossibility Results -- 6 Approximation Algorithm -- 7 Conclusion -- References -- Enabling Minimal Dominating Set in Highly Dynamic Distributed Systems -- 1 Introduction -- 2 Time-Varying Graph: Model and Complexity -- 2.1 Model -- 2.2 Complexity Measures -- 3 Underlying Graph Computation -- 3.1 Algorithm -- 3.2 Time Optimality.

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Schwarzmann, Alexander A. (MitwirkendeR)
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 9783319217413
    Schriftenreihe: Lecture Notes in Computer Science Ser. ; v.9212
    Schlagworte: Computer security; Electronic books
    Umfang: 1 online resource (303 pages)
    Bemerkung(en):

    Description based on publisher supplied metadata and other sources