Sciweavers

    54 search results - page 10 / 11
    » eceasst 2008
    Sort
    View
    ECEASST
    2008
    106views more  ECEASST 2008»
    Controlling resource access in Directed Bigraphs
    13 years 5 months ago
    Controlling resource access in Directed Bigraphs
    Download  tfs.cs.tu-berlin.de
    : We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous vers...
    Davide Grohmann, Marino Miculan
    claim paper
    Read More »
    ECEASST
    2008
    84views more  ECEASST 2008»
    An Incremental OCL Compiler for Modeling Environments
    13 years 5 months ago
    An Incremental OCL Compiler for Modeling Environments
    Download  fots.ua.ac.be
    In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...
    Tamás Vajk, Gergely Mezei, Tihamer Levendov...
    claim paper
    Read More »
    ECEASST
    2008
    88views more  ECEASST 2008»
    Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators
    13 years 5 months ago
    Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators
    Download  tfs.cs.tu-berlin.de
    : Graph parsing is known to be computationally expensive. For this reason the construction of special-purpose parsers may be beneficial for particular graph languages. In the domai...
    Steffen Mazanek, Mark Minas
    claim paper
    Read More »
    ECEASST
    2008
    121views more  ECEASST 2008»
    Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships
    13 years 5 months ago
    Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships
    Download  st.inf.tu-dresden.de
    The OCL (Object Constraint Language) as part of the UML (Unified Modeling Language) is a rich language with different collection kinds (sets, multi-sets, sequences) and a large var...
    Mirco Kuhlmann, Martin Gogolla
    claim paper
    Read More »
    ECEASST
    2008
    69views more  ECEASST 2008»
    Verifying Model Transformations by Structural Correspondence
    13 years 5 months ago
    Verifying Model Transformations by Structural Correspondence
    Download  tfs.cs.tu-berlin.de
    : Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. ...
    Anantha Narayanan, Gabor Karsai
    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.