Sciweavers

    2024 search results - page 22 / 405
    » A Formal Model of Multi-agent Computations
    Sort
    View
    MEMOCODE
    2003
    IEEE
    168views Formal Methods» more  MEMOCODE 2003»
    Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design
    14 years 19 days ago
    Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design
    Download  formal.cs.uiuc.edu
    An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
    José Meseguer
    claim paper
    Read More »
    DAC
    2001
    ACM
    163views Computer Architecture» more  DAC 2001»
    Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines
    14 years 8 months ago
    Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines
    Download  reference.kfupm.edu.sa
    roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
    Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukul...
    claim paper
    Read More »
    EDOC
    2004
    IEEE
    119views Distributed And Parallel Com...» more  EDOC 2004»
    Formalizing ODP Computational Viewpoint Specifications in Maude
    13 years 11 months ago
    Formalizing ODP Computational Viewpoint Specifications in Maude
    Download  www.lcc.uma.es
    The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational obj...
    José Raúl Romero, Antonio Vallecillo
    claim paper
    Read More »
    ACL
    2010
    129views Computational Linguistics» more  ACL 2010»
    On the Computational Complexity of Dominance Links in Grammatical Formalisms
    13 years 5 months ago
    On the Computational Complexity of Dominance Links in Grammatical Formalisms
    Download  aclweb.org
    Dominance links were introduced in grammars to model long distance scrambling phenomena, motivating the definition of multiset-valued linear indexed grammars (MLIGs) by Rambow (19...
    Sylvain Schmitz
    claim paper
    Read More »
    MEMOCODE
    2006
    IEEE
    81views Formal Methods» more  MEMOCODE 2006»
    A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design
    14 years 1 months ago
    A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design
    Download  www.fermat.ece.vt.edu
    Hiren D. Patel, Sandeep K. Shukla, E. Mednick, Ris...
    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-2024, USA.