Sciweavers

    2776 search results - page 15 / 556
    » System-Level Abstraction Semantics
    Sort
    View
    ICALP
    2007
    Springer
    112views Programming Languages» more  ICALP 2007»
    A Fully Abstract Trace Semantics for General References
    16 years 26 days ago
    A Fully Abstract Trace Semantics for General References
    Download  www.cogs.susx.ac.uk
    James Laird
    claim paper
    Read More »
    SKG
    2006
    IEEE
    99views Distributed And Parallel Com...» more  SKG 2006»
    Semantic Abstraction of IA-64 Multimedia Instructions
    16 years 21 days ago
    Semantic Abstraction of IA-64 Multimedia Instructions
    Download  csdl2.computer.org
    Xuemeng Zhang, Rongcai Zhao, Jianmin Pang
    claim paper
    Read More »
    IJCNLP
    2005
    Springer
    138views Natural Language Processing» more  IJCNLP 2005»
    Analogy as Functional Recategorization: Abstraction with HowNet Semantics
    16 years 6 days ago
    Analogy as Functional Recategorization: Abstraction with HowNet Semantics
    Download  afflatus.ucd.ie
    Tony Veale
    claim paper
    Read More »
    129
    Voted
    RULEML
    2005
    Springer
    78views Internet Technology» more  RULEML 2005»
    Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML
    16 years 5 days ago
    Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML
    Download  rewerse.net
    Adrian Giurca, Gerd Wagner
    claim paper
    Read More »
    FMCO
    2004
    Springer
    102views Formal Methods» more  FMCO 2004»
    A Fully Abstract Semantics for UML Components
    16 years 2 days ago
    A Fully Abstract Semantics for UML Components
    Download  www.liacs.nl
    Frank S. de Boer, Marcello M. Bonsangue, Martin St...
    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.