Sciweavers

    2108 search results - page 11 / 422
    » An Operational Semantics for Stateflow
    Sort
    View
    JLP
    2006
    111views more  JLP 2006»
    Executable structural operational semantics in Maude
    14 years 9 months ago
    Executable structural operational semantics in Maude
    Download  maude.sip.ucm.es
    This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
    Alberto Verdejo, Narciso Martí-Oliet
    claim paper
    Read More »
    CONTEXT
    1999
    Springer
    128views Modeling and Simulation» more  CONTEXT 1999»
    Putting Similarity Assessments into Context: Matching Functions with the User's Intended Operations
    15 years 1 months ago
    Putting Similarity Assessments into Context: Matching Functions with the User's Intended Operations
    Download  www.spatial.maine.edu
    This paper presents a practical application of context for the evaluation of semantic similarity. The work is based on a new model for the assessment of semantic similarity among ...
    M. Andrea Rodríguez, Max J. Egenhofer
    claim paper
    Read More »
    IGPL
    2010
    158views more  IGPL 2010»
    Ontology-revision operators based on reinterpretation
    14 years 8 months ago
    Ontology-revision operators based on reinterpretation
    Download  www.informatik.uni-hamburg.de
    Communication between natural or artificial agents relies on the use of a common vocabulary. Since sharing terms does not necessarily imply that the terms have exactly the same m...
    Carola Eschenbach, Özgür L. Öz&cced...
    claim paper
    Read More »
    FUIN
    2002
    94views more  FUIN 2002»
    A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems
    14 years 9 months ago
    A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems
    Download  hal.archives-ouvertes.fr
    This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...
    Hanna Klaudel, Franck Pommereau
    claim paper
    Read More »
    POPL
    2007
    ACM
    110views Programming Languages» more  POPL 2007»
    Operational semantics for multi-language programs
    15 years 10 months ago
    Operational semantics for multi-language programs
    Download  www.eecs.northwestern.edu
    Jacob Matthews, Robert Bruce Findler
    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.