Sciweavers

    401 search results - page 7 / 81
    » Formal Analysis of Meeting Protocols
    Sort
    View
    ICFEM
    2003
    Springer
    130views Software Engineering» more  ICFEM 2003»
    Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures
    15 years 11 months ago
    Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures
    Download  www.irisa.fr
    The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
    Mickaël Kerboeuf, David Nowak, Jean-Pierre Ta...
    claim paper
    Read More »
    125
    Voted
    IFIP
    2007
    Springer
    73views Programming Languages» more  IFIP 2007»
    Formal Modeling and Analysis of the Modbus Protocol
    15 years 12 months ago
    Formal Modeling and Analysis of the Modbus Protocol
    Download  www.csl.sri.com
    Bruno Dutertre
    claim paper
    Read More »
    IPPS
    2006
    IEEE
    104views Distributed And Parallel Com...» more  IPPS 2006»
    A formal framework for the performance analysis of P2P networks protocols
    15 years 12 months ago
    A formal framework for the performance analysis of P2P networks protocols
    Download  www.cecs.uci.edu
    Angelo Spognardi, Roberto Di Pietro
    claim paper
    Read More »
    CCS
    2010
    ACM
    209views Security Privacy» more  CCS 2010»
    Inference and analysis of formal models of botnet command and control protocols
    15 years 6 months ago
    Inference and analysis of formal models of botnet command and control protocols
    Download  bitblaze.cs.berkeley.edu
    Chia Yuan Cho, Domagoj Babic, Eui Chul Richard Shi...
    claim paper
    Read More »
    106
    Voted
    ENTCS
    2007
    73views more  ENTCS 2007»
    Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems
    15 years 5 months ago
    Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems
    Download  www.ic.uff.br
    Carlos Bazílio, Edward Hermann Haeusler, Ma...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.