Sciweavers

    170 search results - page 5 / 34
    » Panda: a Pattern-based Programming System for Automatic Code...
    Sort
    View
    IFM
    2005
    Springer
    95views Formal Methods» more  IFM 2005»
    Generating Path Conditions for Timed Systems
    14 years 1 months ago
    Generating Path Conditions for Timed Systems
    Download  www-verimag.imag.fr
    We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
    Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros...
    claim paper
    Read More »
    USS
    2008
    179views Operating System» more  USS 2008»
    Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking
    13 years 10 months ago
    Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking
    Download  suif.stanford.edu
    Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...
    Michael C. Martin, Monica S. Lam
    claim paper
    Read More »
    HCI
    2007
    137views Human Computer Interaction» more  HCI 2007»
    Visual Agent Programming (VAP): An Interactive System to Program Animated Agents
    13 years 9 months ago
    Visual Agent Programming (VAP): An Interactive System to Program Animated Agents
    Download  www.cs.ait.ac.th
    An interactive system in which the user can program animated agents visually is introduced: the Visual Agent Programming (VAP) software provides a GUI to program life-like agents. ...
    Kamran Khowaja, Sumanta Guha
    claim paper
    Read More »
    CODES
    2006
    IEEE
    158views Software Engineering» more  CODES 2006»
    Automatic phase detection for stochastic on-chip traffic generation
    13 years 11 months ago
    Automatic phase detection for stochastic on-chip traffic generation
    Download  www.cs.york.ac.uk
    During System on Chip (SoC) design, Network on Chip (NoC) prototyping is used for adapting NoC parameters to the application running on the chip. This prototyping is currently don...
    Antoine Scherrer, Antoine Fraboulet, Tanguy Risset
    claim paper
    Read More »
    DATE
    2006
    IEEE
    82views Hardware» more  DATE 2006»
    Dynamic code overlay of SDF-modeled programs on low-end embedded systems
    14 years 1 months ago
    Dynamic code overlay of SDF-modeled programs on low-end embedded systems
    Download  peace.snu.ac.kr
    In this paper we propose a dynamic code overlay technique of synchronous data-flow (SDF) –modeled program for low-end embedded systems which lack MMUsupport. With this technique...
    Hae-woo Park, Kyoungjoo Oh, Soyoung Park, Myoung-m...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.