Sciweavers

    ENTCS
    2006
    157views more  ENTCS 2006»
    Analysing the Robustness of Surfing Circuits
    13 years 11 months ago
    Analysing the Robustness of Surfing Circuits
    Download  www.cs.ubc.ca
    Suwen Yang, Mark R. Greenstreet
    claim paper
    Read More »
    ENTCS
    2006
    119views more  ENTCS 2006»
    Trace Machines for Observing Continuous-Time Markov Chains
    13 years 11 months ago
    Trace Machines for Observing Continuous-Time Markov Chains
    Download  www.inf.tu-dresden.de
    In this paper, we study several linear-time equivalences (Markovian trace equivalence, failure and ready trace equivalence) for continuous-time Markov chains that refer to the pro...
    Verena Wolf, Christel Baier, Mila E. Majster-Ceder...
    claim paper
    Read More »
    ENTCS
    2006
    130views more  ENTCS 2006»
    LSC Verification for UML Models with Unbounded Creation and Destruction
    13 years 11 months ago
    LSC Verification for UML Models with Unbounded Creation and Destruction
    Download  seshome.informatik.uni-oldenburg.de
    The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
    Bernd Westphal
    claim paper
    Read More »
    ENTCS
    2006
    113views more  ENTCS 2006»
    Mining Propositional Simplification Proofs for Small Validating Clauses
    13 years 11 months ago
    Mining Propositional Simplification Proofs for Small Validating Clauses
    Download  www.cs.utexas.edu
    The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small subsets of the current par...
    Ian Wehrman, Aaron Stump
    claim paper
    Read More »
    ENTCS
    2006
    105views more  ENTCS 2006»
    Integrating a SAT Solver with an LCF-style Theorem Prover
    13 years 11 months ago
    Integrating a SAT Solver with an LCF-style Theorem Prover
    Download  www.cl.cam.ac.uk
    Tjark Weber
    claim paper
    Read More »
    ENTCS
    2006
    139views more  ENTCS 2006»
    Improving the Usability of a Graph Transformation Language
    13 years 11 months ago
    Improving the Usability of a Graph Transformation Language
    Download  tfs.cs.tu-berlin.de
    Model transformation tools implemented using graph transformation techniques are often expected to provide high performance. For this reason, in the Graph Rewriting and Transforma...
    Attila Vizhanyo, Sandeep Neema, Feng Shi, Daniel B...
    claim paper
    Read More »
    ENTCS
    2006
    137views more  ENTCS 2006»
    Automated Security Protocol Analysis With the AVISPA Tool
    13 years 11 months ago
    Automated Security Protocol Analysis With the AVISPA Tool
    Download  www.avispa-project.org
    The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specif...
    Luca Viganò
    claim paper
    Read More »
    ENTCS
    2006
    100views more  ENTCS 2006»
    Typed Mobile Ambients in Maude
    13 years 11 months ago
    Typed Mobile Ambients in Maude
    Download  maude.sip.ucm.es
    Maude has revealed itself as a powerful tool for implementing different kinds of semantics so that quick prototypes are available for trying examples and proving properties. In th...
    Fernando Rosa Velardo, Clara Segura, Alberto Verde...
    claim paper
    Read More »
    ENTCS
    2006
    119views more  ENTCS 2006»
    Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs
    13 years 11 months ago
    Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs
    Download  www.inrialpes.fr
    We consider the issue of exploiting the structural form of ESTEREL programs to partition the algorithmic RSS (reachable state space) fix-point construction used in model-checking t...
    Eric Vecchié, Robert de Simone
    claim paper
    Read More »
    ENTCS
    2006
    162views more  ENTCS 2006»
    Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans
    13 years 11 months ago
    Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans
    Download  tfs.cs.tu-berlin.de
    The current paper makes two contributions for the graph pattern matching problem of model transformation tools. First, model-sensitive search plan generation is proposed for patte...
    Gergely Varró, Katalin Friedl, Dánie...
    claim paper
    Read More »
    « first‹ previous…456789101112…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.