Sciweavers

    FORTE
    2007
    164views Formal Methods» more  FORTE 2007»
    Composition of Model Programs
    14 years 29 days 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
    14 years 29 days 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
    14 years 29 days 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
    14 years 29 days 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
    14 years 29 days 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
    14 years 29 days 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 »
    FORTE
    2007
    69views Formal Methods» more  FORTE 2007»
    New Bisimulation Semantics for Distributed Systems
    14 years 29 days ago
    New Bisimulation Semantics for Distributed Systems
    Download  antares.sip.ucm.es
    Bisimulation semantics are a very pleasant way to define the semantics of systems, mainly because the simplicity of their definitions and their nice coalgebraic properties. Howev...
    David de Frutos-Escrig, Fernando Rosa Velardo, Car...
    claim paper
    Read More »
    FORTE
    2007
    109views Formal Methods» more  FORTE 2007»
    A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets
    14 years 29 days ago
    A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets
    Download  www.daimi.au.dk
    Positive flows provide very useful informations that can be used to perform efficient analysis of a model. Although algorithms computing (a generative family of) positive flows i...
    Sami Evangelista, Christophe Pajault, Jean-Fran&cc...
    claim paper
    Read More »
    FORTE
    2007
    116views Formal Methods» more  FORTE 2007»
    Specifying and Composing Interaction Protocols for Service-Oriented System Modelling
    14 years 29 days ago
    Specifying and Composing Interaction Protocols for Service-Oriented System Modelling
    Download  homepages.di.fc.ul.pt
    Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
    João Abreu, Laura Bocchi, José Luiz ...
    claim paper
    Read More »
    FORTE
    2007
    127views Formal Methods» more  FORTE 2007»
    Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation
    14 years 29 days ago
    Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation
    Download  www.is.pku.edu.cn
    Web service choreography describes protocols for multiparty collaboration, whereas orchestration focuses on single peers. One key requirement of choreography is to support transact...
    Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu
    claim paper
    Read More »
    « first‹ previous…262728293031323334…next ›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.