Sciweavers

    FORTE
    2004
    122views Formal Methods» more  FORTE 2004»
    Symbolic Performance and Dependability Evaluation with the Tool CASPA
    14 years 28 days ago
    Symbolic Performance and Dependability Evaluation with the Tool CASPA
    Download  www.swe.informatik.uni-goettingen.de
    This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
    Matthias Kuntz, Markus Siegle, Edith Werner
    claim paper
    Read More »
    FORTE
    2004
    94views Formal Methods» more  FORTE 2004»
    Formal Verification of Web Applications Modeled by Communicating Automata
    14 years 28 days ago
    Formal Verification of Web Applications Modeled by Communicating Automata
    Download  www.iro.umontreal.ca
    In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
    May Haydar, Alexandre Petrenko, Houari A. Sahraoui
    claim paper
    Read More »
    FORTE
    2004
    103views Formal Methods» more  FORTE 2004»
    A Construction Kit for Modeling the Security of M-commerce Applications
    14 years 28 days ago
    A Construction Kit for Modeling the Security of M-commerce Applications
    Download  www.informatik.uni-augsburg.de
    Abstract. In this article we present a method to avoid security problems in modern m-commerce applications. The security problems that we are addressing are breaches of security du...
    Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
    claim paper
    Read More »
    FORTE
    2004
    140views Formal Methods» more  FORTE 2004»
    PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application
    14 years 28 days ago
    PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application
    Download  www.dcs.ed.ac.uk
    Abstract. We apply the PEPA nets modelling language to modelling a peer-topeer medical informatics application, the FieldCare PDA-based medical records system developed by SINTEF T...
    Stephen Gilmore, Valentin Haenel, Jane Hillston, L...
    claim paper
    Read More »
    FORTE
    2004
    113views Formal Methods» more  FORTE 2004»
    Composing Event Constraints in State-Based Specification
    14 years 28 days ago
    Composing Event Constraints in State-Based Specification
    Download  fmt.isti.cnr.it
    Abstract. Event-based process algebraic specification languages support an elegant specification technique by which system behaviours are described as compositions of constraints o...
    Tommaso Bolognesi
    claim paper
    Read More »
    FORTE
    2004
    100views Formal Methods» more  FORTE 2004»
    Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing
    14 years 28 days ago
    Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing
    Download  fmt.isti.cnr.it
    Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
    Antonio Bucchiarone, Henry Muccini, Patrizio Pelli...
    claim paper
    Read More »
    FORTE
    2004
    146views Formal Methods» more  FORTE 2004»
    Localizing Program Errors for Cimple Debugging
    14 years 28 days ago
    Localizing Program Errors for Cimple Debugging
    Download  www.cs.iastate.edu
    Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
    Samik Basu, Diptikalyan Saha, Scott A. Smolka
    claim paper
    Read More »
    FORTE
    2004
    128views Formal Methods» more  FORTE 2004»
    How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results
    14 years 28 days ago
    How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results
    Download  www.dcs.ed.ac.uk
    Passage time densities are useful performance measurements in stochastic systems. With them the modeller can extract probabilistic quality-of-service guarantees such as: the proba...
    Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thoma...
    claim paper
    Read More »
    FORTE
    2004
    104views Formal Methods» more  FORTE 2004»
    A Logical Account of NGSCB
    14 years 28 days ago
    A Logical Account of NGSCB
    Download  research.microsoft.com
    Abstract. As its name indicates, NGSCB aims to be the "Next-Generation Secure Computing Base". As envisioned in the context of Trusted Computing initiatives, NGSCB provid...
    Martín Abadi, Ted Wobber
    claim paper
    Read More »
    FORTE
    2004
    122views Formal Methods» more  FORTE 2004»
    Symbolic Diagnosis of Partially Observable Concurrent Systems
    14 years 28 days ago
    Symbolic Diagnosis of Partially Observable Concurrent Systems
    Download  www.irisa.fr
    Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...
    Thomas Chatain, Claude Jard
    claim paper
    Read More »
    « first‹ previous12
    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.