Sciweavers

    FORTE
    2009
    96views Formal Methods» more  FORTE 2009»
    A Type Graph Model for Java Programs
    13 years 2 months ago
    A Type Graph Model for Java Programs
    Download  eprints.eemcs.utwente.nl
    Arend Rensink, Eduardo Zambon
    claim paper
    Read More »
    FORTE
    2009
    146views Formal Methods» more  FORTE 2009»
    Epistemic Logic for the Applied Pi Calculus
    13 years 2 months ago
    Epistemic Logic for the Applied Pi Calculus
    Download  www.cs.uiuc.edu
    We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
    Rohit Chadha, Stéphanie Delaune, Steve Krem...
    claim paper
    Read More »
    FORTE
    2009
    129views Formal Methods» more  FORTE 2009»
    Typing Component-Based Communication Systems
    13 years 2 months ago
    Typing Component-Based Communication Systems
    Download  sardes.inrialpes.fr
    Abstract. Building complex component-based software systems, for instance communication systems based on the Click, Coyote, Appia, or Dream frameworks, can lead to subtle assemblag...
    Michael Lienhardt, Claudio Antares Mezzina, Alan S...
    claim paper
    Read More »
    FORTE
    2009
    116views Formal Methods» more  FORTE 2009»
    Using First-Order Logic to Reason about Submodule Construction
    13 years 2 months ago
    Using First-Order Logic to Reason about Submodule Construction
    Download  www.site.uottawa.ca
    We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
    Gregor von Bochmann
    claim paper
    Read More »
    FORTE
    2009
    205views Formal Methods» more  FORTE 2009»
    The Orc Programming Language
    13 years 2 months ago
    The Orc Programming Language
    Download  orc.csres.utexas.edu
    Orc was originally presented as a process calculus. It has now evolved into a full programming language, which we describe in this paper. The language has the structure and feel of...
    David Kitchin, Adrian Quark, William R. Cook, Jaya...
    claim paper
    Read More »
    FORTE
    2009
    146views Formal Methods» more  FORTE 2009»
    A Model-Checking Approach for Service Component Architectures
    13 years 2 months ago
    A Model-Checking Approach for Service Component Architectures
    Download  www.cs.le.ac.uk
    We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
    João Abreu, Franco Mazzanti, José Lu...
    claim paper
    Read More »
    FMCO
    2009
    Springer
    128views Formal Methods» more  FMCO 2009»
    Patterns for Refinement Automation
    13 years 2 months ago
    Patterns for Refinement Automation
    Download  deploy-eprints.ecs.soton.ac.uk
    Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
    Alexei Iliasov, Elena Troubitsyna, Linas Laibinis,...
    claim paper
    Read More »
    FMCO
    2009
    Springer
    203views Formal Methods» more  FMCO 2009»
    Applying Event-B Atomicity Decomposition to a Multi Media Protocol
    13 years 2 months ago
    Applying Event-B Atomicity Decomposition to a Multi Media Protocol
    Download  eprints.ecs.soton.ac.uk
    Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...
    Asieh Salehi Fathabadi, Michael Butler
    claim paper
    Read More »
    FMCO
    2009
    Springer
    161views Formal Methods» more  FMCO 2009»
    The How and Why of Interactive Markov Chains
    13 years 2 months ago
    The How and Why of Interactive Markov Chains
    Download  eprints.eemcs.utwente.nl
    This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
    Holger Hermanns, Joost-Pieter Katoen
    claim paper
    Read More »
    FMCO
    2009
    Springer
    134views Formal Methods» more  FMCO 2009»
    Verification of Context-Dependent Channel-Based Service Models
    13 years 2 months ago
    Verification of Context-Dependent Channel-Based Service Models
    Download  www.win.tue.nl
    Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
    Natallia Kokash, Christian Krause, Erik P. de Vink
    claim paper
    Read More »
    « first‹ previous…91011121314151617…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.