Sciweavers

    10871 search results - page 350 / 2175
    » A stable programming language
    Sort
    View
    174
    Voted
    ICLP
    2007
    Springer
    131views Automated Reasoning» more  ICLP 2007»
    Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity
    16 years 1 months ago
    Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity
    Download  www.mimuw.edu.pl
    Linh Anh Nguyen
    claim paper
    Read More »
    159
    Voted
    ICLP
    2007
    Springer
    96views Automated Reasoning» more  ICLP 2007»
    Prosper: A Framework for Extending Prolog Applications with a Web Interface
    16 years 1 months ago
    Prosper: A Framework for Extending Prolog Applications with a Web Interface
    Download  prospear.sourceforge.net
    Levente Hunyadi
    claim paper
    Read More »
    IFIP
    2007
    Springer
    73views Programming Languages» more  IFIP 2007»
    Formal Modeling and Analysis of the Modbus Protocol
    16 years 1 months ago
    Formal Modeling and Analysis of the Modbus Protocol
    Download  www.csl.sri.com
    Bruno Dutertre
    claim paper
    Read More »
    137
    Voted
    IFIP
    2007
    Springer
    98views Programming Languages» more  IFIP 2007»
    Agile Software Development at Scale
    16 years 1 months ago
    Agile Software Development at Scale
    Download  www.internetevolution.com
    Scott W. Ambler
    claim paper
    Read More »
    138
    Voted
    IFIP
    2007
    Springer
    91views Programming Languages» more  IFIP 2007»
    A Tool for Supporting Feature-Driven Development
    16 years 1 months ago
    A Tool for Supporting Feature-Driven Development
    Download  www.fit.vutbr.cz
    Marek Rychlý, Pavlína Tichá
    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.