Sciweavers

    647 search results - page 85 / 130
    » Collage, composites, construction
    Sort
    View
    INFORMATICALT
    2008
    93views more  INFORMATICALT 2008»
    Viewcharts: Syntax and Semantics
    14 years 9 months ago
    Viewcharts: Syntax and Semantics
    Download  www.mii.lt
    In this paper, we present a method for describing the syntax and semantics of viewcharts. Viewcharts is a visual formalism for describing the dynamic behavior of system components....
    Ayaz Isazadeh, Jaber Karimpour
    claim paper
    Read More »
    ENTCS
    2007
    135views more  ENTCS 2007»
    Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
    14 years 9 months ago
    Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
    Download  symbolaris.com
    We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
    André Platzer
    claim paper
    Read More »
    ENTCS
    2007
    85views more  ENTCS 2007»
    Stochastic Modelling of Communication Protocols from Source Code
    14 years 9 months ago
    Stochastic Modelling of Communication Protocols from Source Code
    Download  lanther.co.uk
    A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
    Michael J. A. Smith
    claim paper
    Read More »
    SCP
    2008
    89views more  SCP 2008»
    A challenge for atomicity verification
    14 years 9 months ago
    A challenge for atomicity verification
    Download  iwi.eldoc.ub.rug.nl
    An unpublished algorithm of Haldar and Vidyasankar implements an atomic variable of an arbitrary type T for one writer and one reader by means of 4 unsafe variables of type T , th...
    Wim H. Hesselink
    claim paper
    Read More »
    TCBB
    2008
    138views more  TCBB 2008»
    PairProSVM: Protein Subcellular Localization Based on Local Pairwise Profile Alignment and SVM
    14 years 9 months ago
    PairProSVM: Protein Subcellular Localization Based on Local Pairwise Profile Alignment and SVM
    Download  www.stat.lsa.umich.edu
    The subcellular locations of proteins are important functional annotations. An effective and reliable subcellular localization method is necessary for proteomics research. This pap...
    Man-Wai Mak, Jian Guo, Sun-Yuan Kung
    claim paper
    Read More »
    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-2025, USA.