Sciweavers

    FORTE
    2007
    177views Formal Methods» more  FORTE 2007»
    Coordination Via Types in an Event-Based Framework
    13 years 6 months ago
    Coordination Via Types in an Event-Based Framework
    Download  rap.dsi.unifi.it
    We propose a novel approach to service choreography through a typed process calculus that features an event notification paradigm for coordinating distributed components (e.g., se...
    GianLuigi Ferrari, Roberto Guanciale, Daniele Stro...
    claim paper
    Read More »
    FORTE
    2007
    139views Formal Methods» more  FORTE 2007»
    The DHCP Failover Protocol: A Formal Perspective
    13 years 6 months ago
    The DHCP Failover Protocol: A Formal Perspective
    Download  groups.csail.mit.edu
    Abstract. We present a formal specification and analysis of a faulttolerant DHCP algorithm, used to automatically configure certain host parameters in an IP network. Our algorith...
    Rui Fan, Ralph E. Droms, Nancy D. Griffeth, Nancy ...
    claim paper
    Read More »
    FORTE
    2007
    100views Formal Methods» more  FORTE 2007»
    Improvements for the Symbolic Verification of Timed Automata
    13 years 6 months ago
    Improvements for the Symbolic Verification of Timed Automata
    Download  www-verimag.imag.fr
    Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan...
    claim paper
    Read More »
    FORTE
    2007
    58views Formal Methods» more  FORTE 2007»
    State Isomorphism in Model Programs with Abstract Data Structures
    13 years 6 months ago
    State Isomorphism in Model Programs with Abstract Data Structures
    Download  research.microsoft.com
    Margus Veanes, Juhan P. Ernits, Colin Campbell
    claim paper
    Read More »
    FORTE
    2007
    164views Formal Methods» more  FORTE 2007»
    Composition of Model Programs
    13 years 6 months ago
    Composition of Model Programs
    Download  research.microsoft.com
    Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
    Margus Veanes, Colin Campbell, Wolfram Schulte
    claim paper
    Read More »
    FORTE
    2007
    127views Formal Methods» more  FORTE 2007»
    Testing Distributed Systems Through Symbolic Model Checking
    13 years 6 months ago
    Testing Distributed Systems Through Symbolic Model Checking
    Download  www.ulb.ac.be
    Gabriel Kalyon, Thierry Massart, Cédric Meu...
    claim paper
    Read More »
    FORTE
    2007
    95views Formal Methods» more  FORTE 2007»
    Recovering Repetitive Sub-functions from Observations
    13 years 6 months ago
    Recovering Repetitive Sub-functions from Observations
    Download  www.site.uottawa.ca
    This paper proposes an algorithm which, given a set of observations of an existing concurrent system that has repetitive subfunctions, constructs a Message Sequence Charts (MSC) gr...
    Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hü...
    claim paper
    Read More »
    FORTE
    2007
    154views Formal Methods» more  FORTE 2007»
    Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
    13 years 6 months ago
    Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
    Download  dscpi.uninsubria.it
    Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
    Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spolet...
    claim paper
    Read More »
    FORTE
    2007
    96views Formal Methods» more  FORTE 2007»
    Transactional Reduction of Component Compositions
    13 years 6 months ago
    Transactional Reduction of Component Compositions
    Download  www.lsv.ens-cachan.fr
    Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
    Serge Haddad, Pascal Poizat
    claim paper
    Read More »
    FORTE
    2007
    104views Formal Methods» more  FORTE 2007»
    Event Correlation with Boxed Pomsets
    13 years 6 months ago
    Event Correlation with Boxed Pomsets
    Download  thomas.gazagnaire.com
    This paper proposes a diagnosis framework for distributed systems based on pomset languages. Diagnosis is performed by projecting these models on a collection of observable labels ...
    Thomas Gazagnaire, Loïc Hélouët
    claim paper
    Read More »
    « first‹ previous123456789next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.