Sciweavers

    12981 search results - page 272 / 2597
    » Model Checking (Abstract)
    Sort
    View
    127
    Voted
    EDOC
    2006
    IEEE
    128views Distributed And Parallel Com...» more  EDOC 2006»
    UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions
    15 years 9 months ago
    UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions
    Download  pagesperso-systeme.lip6.fr
    Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc
    claim paper
    Read More »
    84
    Voted
    ICEIS
    2006
    IEEE
    101views Information Technology» more  ICEIS 2006»
    Towards Practical Tools for Mining Abstractions in UML Models
    15 years 9 months ago
    Towards Practical Tools for Mining Abstractions in UML Models
    Download  www.lirmm.fr
    Michel Dao, Marianne Huchard, Mohamed Rouane Hacen...
    claim paper
    Read More »
    EDOC
    2005
    IEEE
    110views Distributed And Parallel Com...» more  EDOC 2005»
    Abstract Interactions and Interaction Refinement in Model-Driven Design
    15 years 9 months ago
    Abstract Interactions and Interaction Refinement in Model-Driven Design
    Download  is.tm.tue.nl
    João Paulo A. Almeida, Remco M. Dijkman, Lu...
    claim paper
    Read More »
    106
    Voted
    BPM
    2005
    Springer
    88views Business» more  BPM 2005»
    Mining Hierarchies of Models: From Abstract Views to Concrete Specifications
    15 years 9 months ago
    Mining Hierarchies of Models: From Abstract Views to Concrete Specifications
    Download  dns2.icar.cnr.it
    Gianluigi Greco, Antonella Guzzo, Luigi Pontieri
    claim paper
    Read More »
    95
    Voted
    CP
    2005
    Springer
    110views Artificial Intelligence» more  CP 2005»
    Methods to Learn Abstract Scheduling Models
    15 years 9 months ago
    Methods to Learn Abstract Scheduling Models
    Download  lia.deis.unibo.it
    Tom Carchrae, J. Christopher Beck, Eugene C. Freud...
    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.