waite
Uploaded by
4 SLIDES
165 VUES
40LIKES

Exploring Gossip Protocols: A Comprehensive Look at Full Validation Spectrum in Systems

DESCRIPTION

This paper explores the full validation spectrum of gossip protocols, emphasizing their probabilistic nature and the need for a more formal specification of desired properties. The authors highlight the successful application of these protocols in various systems and advocate for the integration of probabilistic methods into system design. By discussing the verification and explanation of system behavior, both quantitative and qualitative aspects are covered. Influenced by notable insights from experts like David Tennenhouse, the paper calls for a shift from deterministic to probabilistic models in computing.

1 / 4

Télécharger la présentation

Exploring Gossip Protocols: A Comprehensive Look at Full Validation Spectrum in Systems

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Gossip Protocols:Exploring the Full Validation Spectrum François Bonnet, Rana Bakhshi Wan Fokkink, Boudewijn Haverkort(Verification WG)

  2. EFFORT / COST “THINK” Spectrum of Validation

  3. Why exploit the full spectrum? • Has been successful in other areas and for other types of systems • Gossip protocols are intrinsically probabilistic • More formal statement of desired properties needed (to be precise) • Eases the way to verify and explain system behaviour (quantitative and qualitative)

  4. We Have Good Company! David Tennenhouse (VP Intel Research): “ICT is finally reaching a scale where probabilistic methods should play a larger role in system design…” “…it’s time for CS taking a leap from deterministic models to probabilistic models, in much the way that physics moved from classical to quantum physics”. Comm. ACM, May 2000, “Proactive Computing”

More Related