Sciweavers

    2813 search results - page 4 / 563
    » Formalizing Architectural Connection
    Sort
    View
    TPHOL
    2009
    IEEE
    257views Automated Reasoning» more  TPHOL 2009»
    Formalizing the Logic-Automaton Connection
    16 years 13 days ago
    Formalizing the Logic-Automaton Connection
    Download  www4.in.tum.de
    Stefan Berghofer, Markus Reiter
    claim paper
    Read More »
    ISOLA
    2010
    Springer
    125views Formal Methods» more  ISOLA 2010»
    Dependability Analysis and Verification for Connected Systems
    15 years 3 months ago
    Dependability Analysis and Verification for Connected Systems
    Download  www.prismmodelchecker.org
    Felicita Di Giandomenico, Marta Z. Kwiatkowska, Ma...
    claim paper
    Read More »
    179
    Voted
    IHIS
    2005
    ACM
    157views Information Technology» more  IHIS 2005»
    An architecture for the interoperability of workflow models
    15 years 11 months ago
    An architecture for the interoperability of workflow models
    Download  www.loria.fr
    The goal of this work is to contribute to the field of interoperability of Workflow models. To achieve this interoperability, we have built a generic architecture that s three lev...
    Salah Hamri, Mahmoud Boufaïda, Nacer Boudjlid...
    claim paper
    Read More »
    159
    Voted
    EMSOFT
    2010
    Springer
    120views Software Engineering» more  EMSOFT 2010»
    Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures
    15 years 3 months ago
    Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures
    Download  www-rocq.inria.fr
    We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
    Dumitru Potop-Butucaru, Akramul Azim, Sebastian Fi...
    claim paper
    Read More »
    DAC
    1997
    ACM
    64views Computer Architecture» more  DAC 1997»
    Formal Verification in a Commercial Setting
    15 years 10 months ago
    Formal Verification in a Commercial Setting
    Download  www.cerc.utexas.edu
    Robert P. Kurshan
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.