Sciweavers

    890 search results - page 63 / 178
    » Programming language methods in computer security
    Sort
    View
    AINA
    2009
    IEEE
    88views Computer Networks» more  AINA 2009»
    Layer-Based Dome Contents Creation Using Scenario Description Language
    14 years 2 months ago
    Layer-Based Dome Contents Creation Using Scenario Description Language
    Download  lab.sdm.keio.ac.jp
    —In recent years, dome display has become popular, and it is desired to establish a method to create dome image contents easily. In this study, psychophysical experiment was cond...
    Tetsuro Ogi, Daisuke Furuyama, Tetsuro Fujise
    claim paper
    Read More »
    ICTAI
    2006
    IEEE
    167views Artificial Intelligence» more  ICTAI 2006»
    Graph Grammar Induction on Structural Data for Visual Programming
    14 years 4 months ago
    Graph Grammar Induction on Structural Data for Visual Programming
    Download  www.utdallas.edu
    Computer programs that can be expressed in two or more dimensions are typically called visual programs. The underlying theories of visual programming languages involve graph gramm...
    Keven Ates, Jacek P. Kukluk, Lawrence B. Holder, D...
    claim paper
    Read More »
    GI
    2009
    Springer
    177views Theoretical Computer Science» more  GI 2009»
    Reasoning about Contextual Equivalence: From Untyped to Polymorphically Typed Calculi
    14 years 2 months ago
    Reasoning about Contextual Equivalence: From Untyped to Polymorphically Typed Calculi
    Download  www.ki.informatik.uni-frankfurt.de
    : This paper describes a syntactical method for contextual equivalence in polymorphically typed lambda-calculi. Our specific calculus has letrec as cyclic let, data constructors, ...
    David Sabel, Manfred Schmidt-Schauß, Frederi...
    claim paper
    Read More »
    ACTAC
    2002
    102views more  ACTAC 2002»
    Handling Pointers and Unstructured Statements in the Forward Computed Dynamic Slice Algorithm
    13 years 10 months ago
    Handling Pointers and Unstructured Statements in the Forward Computed Dynamic Slice Algorithm
    Download  www.inf.u-szeged.hu
    Different program slicing methods are used for debugging, testing, reverse engineering and maintenance. Slicing algorithms can be classified as a static slicing or dynamic slicing...
    Csaba Faragó, Tamás Gergely
    claim paper
    Read More »
    CCS
    2007
    ACM
    175views Security Privacy» more  CCS 2007»
    Analyzing network traffic to detect self-decrypting exploit code
    14 years 2 months ago
    Analyzing network traffic to detect self-decrypting exploit code
    Download  discovery.csc.ncsu.edu
    Remotely-launched software exploits are a common way for attackers to intrude into vulnerable computer systems. As detection techniques improve, remote exploitation techniques are...
    Qinghua Zhang, Douglas S. Reeves, Peng Ning, S. Pu...
    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.