Sciweavers

    807 search results - page 93 / 162
    » Model Transformation Language MOLA
    Sort
    View
    APLAS
    2004
    ACM
    143views Programming Languages» more  APLAS 2004»
    An Algebraic Approach to Bi-directional Updating
    14 years 3 months ago
    An Algebraic Approach to Bi-directional Updating
    Download  www.iis.sinica.edu.tw
    In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform — synchronising bookmarks in diï...
    Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
    claim paper
    Read More »
    COMPASS
    1994
    172views Programming Languages» more  COMPASS 1994»
    Equations for Describing Dynamic Nets of Communicating Systems
    14 years 2 months ago
    Equations for Describing Dynamic Nets of Communicating Systems
    Download  www4.in.tum.de
    We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
    Manfred Broy
    claim paper
    Read More »
    MICRO
    1996
    IEEE
    106views Hardware» more  MICRO 1996»
    Optimization of Machine Descriptions for Efficient Use
    14 years 2 months ago
    Optimization of Machine Descriptions for Efficient Use
    Download  www.cs.princeton.edu
    A machine description facility allows compiler writers to specify machine execution constraints to the optimization and scheduling phases of an instruction-level parallelism (ILP)...
    John C. Gyllenhaal, Wen-mei W. Hwu, B. Ramakrishna...
    claim paper
    Read More »
    IEICET
    2007
    110views more  IEICET 2007»
    A Higher-Order Knuth-Bendix Procedure and Its Applications
    13 years 10 months ago
    A Higher-Order Knuth-Bendix Procedure and Its Applications
    Download  www.sakabe.nuie.nagoya-u.ac.jp
    The completeness (i.e. confluent and terminating) property is an important concept when using a term rewriting system (TRS) as a computational model of functional programming lang...
    Keiichirou Kusakari, Yuki Chiba
    claim paper
    Read More »
    UML
    1998
    Springer
    220views Natural Language Processing» more  UML 1998»
    Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams
    14 years 2 months ago
    Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams
    Download  www.iro.umontreal.ca
    The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
    Ismaïl Khriss, Mohammed Elkoutbi, Rudolf K. K...
    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.