Sciweavers

    10585 search results - page 699 / 2117
    » The Orc Programming Language
    Sort
    View
    CISIS
    2008
    IEEE
    133views Software Engineering» more  CISIS 2008»
    Integrating Shadows in Model Driven Engineering for Agile Software Development
    16 years 1 months ago
    Integrating Shadows in Model Driven Engineering for Agile Software Development
    Download  hal.archives-ouvertes.fr
    Shadows are well known as a programming language feature in the application area of MUDs (a certain type of multi-player online game). We argue that agile methodologies can be enh...
    Marc Conrad, Marianne Huchard, Thomas Preuss
    claim paper
    Read More »
    ICALP
    2007
    Springer
    105views Programming Languages» more  ICALP 2007»
    A Framework for Dynamizing Succinct Data Structures
    16 years 1 months ago
    A Framework for Dynamizing Succinct Data Structures
    Download  www.cs.duke.edu
    Ankur Gupta, Wing-Kai Hon, Rahul Shah, Jeffrey Sco...
    claim paper
    Read More »
    IFIP
    2007
    Springer
    89views Programming Languages» more  IFIP 2007»
    Model Order Reduction for Nonlinear IC Models
    16 years 1 months ago
    Model Order Reduction for Nonlinear IC Models
    Download  alexandria.tue.nl
    Arie Verhoeven, E. Jan W. ter Maten, Michael Strie...
    claim paper
    Read More »
    UM
    2007
    Springer
    103views Programming Languages» more  UM 2007»
    What's in a Step? Toward General, Abstract Representations of Tutoring System Log Data
    16 years 1 months ago
    What's in a Step? Toward General, Abstract Representations of Tutoring System Log Data
    Download  www.public.asu.edu
    Kurt VanLehn, Kenneth R. Koedinger, Alida Skogshol...
    claim paper
    Read More »
    SIGADA
    2005
    Springer
    81views Programming Languages» more  SIGADA 2005»
    Experiences using SPARK in an undergraduate CS course
    16 years 28 days ago
    Experiences using SPARK in an undergraduate CS course
    Download  www.sigada.org
    This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
    Anthony S. Ruocco
    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.