Sciweavers

    1604 search results - page 140 / 321
    » Development Separation in Lambda-Calculus
    Sort
    View
    SSR
    2001
    134views more  SSR 2001»
    Generation of visitor components that implement program transformations
    13 years 11 months ago
    Generation of visitor components that implement program transformations
    Download  www.cse.msu.edu
    The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of softwar...
    Kurt Stirewalt, Laura K. Dillon
    claim paper
    Read More »
    UAI
    2004
    88views Artificial Intelligence» more  UAI 2004»
    Mixtures of Deterministic-Probabilistic Networks and their AND/OR Search Space
    13 years 11 months ago
    Mixtures of Deterministic-Probabilistic Networks and their AND/OR Search Space
    Download  www.ics.uci.edu
    The paper introduces mixed networks, a new framework for expressing and reasoning with probabilistic and deterministic information. The framework combines belief networks with con...
    Rina Dechter, Robert Mateescu
    claim paper
    Read More »
    WICSA
    2004
    151views Software Engineering» more  WICSA 2004»
    An Architectural Approach to Mobility - The Handover Case Study
    13 years 11 months ago
    An Architectural Approach to Mobility - The Handover Case Study
    Download  ctp.di.fct.unl.pt
    COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...
    Cristóvão Oliveira, Michel Wermeling...
    claim paper
    Read More »
    WSC
    2004
    141views Modeling And Simulation» more  WSC 2004»
    Foundations of Validating Reusable Behavioral Models in Engineering Design Problems
    13 years 11 months ago
    Foundations of Validating Reusable Behavioral Models in Engineering Design Problems
    Download  www.informs-sim.org
    We present a conceptual framework for validating reusable behavioral models. The setting for this work is a modern product development environment in which design is performed by ...
    Richard J. Malak, Christiaan J. J. Paredis
    claim paper
    Read More »
    SERP
    2003
    163views Software Engineering» more  SERP 2003»
    3CoFramework: A Component-Based Framework for Distributed Applications
    13 years 11 months ago
    3CoFramework: A Component-Based Framework for Distributed Applications
    Download  cse.unl.edu
    The software engineering community has introduced component and connector concepts to support architecture-based software descriptions. However, there still exists a gap in transi...
    Shifeng Zhang, Steve Goddard
    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.