Sciweavers

    31387 search results - page 156 / 6278
    » Abstracts
    Sort
    View
    ITICSE
    2005
    ACM
    98views Theoretical Computer Science» more  ITICSE 2005»
    Exploring students' understanding of the concept of algorithm: levels of abstraction
    16 years 1 days ago
    Exploring students' understanding of the concept of algorithm: levels of abstraction
    Download  www.win.tue.nl
    Jacob Perrenet, Jan Friso Groote, Eric Kaasenbrood
    claim paper
    Read More »
    MSR
    2005
    ACM
    88views Software Engineering» more  MSR 2005»
    Understanding source code evolution using abstract syntax tree matching
    16 years 1 days ago
    Understanding source code evolution using abstract syntax tree matching
    Download  www.cs.umd.edu
    Iulian Neamtiu, Jeffrey S. Foster, Michael W. Hick...
    claim paper
    Read More »
    SWS
    2005
    ACM
    83views Internet Technology» more  SWS 2005»
    Tailoring the Dolev-Yao abstraction to web services realities
    16 years 1 days ago
    Tailoring the Dolev-Yao abstraction to web services realities
    Download  www.infsec.cs.uni-saarland.de
    Michael Backes, Thomas Groß
    claim paper
    Read More »
    ASM
    2005
    ASM
    116views Computational Biology» more  ASM 2005»
    Tools for System Validation with B Abstract Machines
    16 years 1 days ago
    Tools for System Validation with B Abstract Machines
    Download  rodin.cs.ncl.ac.uk
    Michael J. Butler, Michael Leuschel, Colin F. Snoo...
    claim paper
    Read More »
    ATAL
    2005
    Springer
    89views Intelligent Agents» more  ATAL 2005»
    Towards flexible teamwork in behavior-based robots: extended abstract
    16 years 1 days ago
    Towards flexible teamwork in behavior-based robots: extended abstract
    Download  u.cs.biu.ac.il
    Gal A. Kaminka, Inna Frenkel
    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.