Sciweavers

    13913 search results - page 95 / 2783
    » models 2007
    Sort
    View
    151
    Voted
    BPM
    2007
    Springer
    218views Business» more  BPM 2007»
    Transforming Object-Oriented Models to Process-Oriented Models
    16 years 18 days ago
    Transforming Object-Oriented Models to Process-Oriented Models
    Download  www.dis.uniroma1.it
    Guy Redding, Marlon Dumas, Arthur H. M. ter Hofste...
    claim paper
    Read More »
    ICS
    2007
    Tsinghua U.
    97views Distributed And Parallel Com...» more  ICS 2007»
    Modeling correlated workloads by combining model based clustering and a localized sampling algorithm
    16 years 17 days ago
    Modeling correlated workloads by combining model based clustering and a localized sampling algorithm
    Download  www.liacs.nl
    Hui Li, Michael Muskulus, Lex Wolters
    claim paper
    Read More »
    MODELS
    2007
    Springer
    110views Natural Language Processing» more  MODELS 2007»
    Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse
    16 years 16 days ago
    Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse
    Download  opus.kobv.de
    Emine G. Aydal, Richard F. Paige, Jim Woodcock
    claim paper
    Read More »
    MODELS
    2007
    Springer
    105views Natural Language Processing» more  MODELS 2007»
    Model-Driven Construction of Certified Binaries
    16 years 16 days ago
    Model-Driven Construction of Certified Binaries
    Download  www.sei.cmu.edu
    Sagar Chaki, James Ivers, Peter Lee, Kurt C. Walln...
    claim paper
    Read More »
    LANMR
    2007
    100views Logical Reasoning» more  LANMR 2007»
    Generating maximal models using the stable model semantics
    15 years 7 months ago
    Generating maximal models using the stable model semantics
    Download  sunsite.informatik.rwth-aachen.de
    Given a propositional formula X, we present a mapping that constructs a general program P, such that the maximal models of X correspond to the stable models of P, after intersectin...
    Juan Carlos Nieves, Mauricio Osorio
    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.