Sciweavers

    TIT
    2002
    91views more  TIT 2002»
    On limited-delay lossy coding and filtering of individual sequences
    13 years 11 months ago
    On limited-delay lossy coding and filtering of individual sequences
    Download  www.stanford.edu
    Abstract--We continue the study of adaptive schemes for the sequential lossy coding of individual sequences which was recently initiated by Linder and Lugosi. Specifically, we cons...
    Tsachy Weissman, Neri Merhav
    claim paper
    Read More »
    SP
    2002
    IEEE
    161views Security Privacy» more  SP 2002»
    Improving Computer Security Using Extended Static Checking
    13 years 11 months ago
    Improving Computer Security Using Extended Static Checking
    Download  www.vantuyl.com
    We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...
    Brian Chess
    claim paper
    Read More »
    ASE
    1998
    81views more  ASE 1998»
    Program Understanding as Constraint Satisfaction: Representation and Reasoning Techniques
    13 years 11 months ago
    Program Understanding as Constraint Satisfaction: Representation and Reasoning Techniques
    Download  www.cse.ust.hk
    The process of understanding a source code in a high-level programming language involves complex computation. Given a piece of legacy code and a library of program plan templates, ...
    Steven G. Woods, Qiang Yang
    claim paper
    Read More »
    CN
    2000
    88views more  CN 2000»
    JavaML: a markup language for Java source code
    13 years 11 months ago
    JavaML: a markup language for Java source code
    Download  www.badros.com
    The classical plain-text representation of source code is convenient for programmers but requires parsing to uncover the deep structure of the program. While sophisticated softwar...
    Greg J. Badros
    claim paper
    Read More »
    ASE
    2002
    141views more  ASE 2002»
    On the Automatic Recovery of Style-Specific Architectural Relations in Software Systems
    13 years 11 months ago
    On the Automatic Recovery of Style-Specific Architectural Relations in Software Systems
    Download  www.cs.drexel.edu
    The cost of maintaining a software system over a long period of time far exceeds its initial development cost. Much of the maintenance cost is attributed to the time required by ne...
    Martin Traverso, Spiros Mancoridis
    claim paper
    Read More »
    TSE
    2008
    101views more  TSE 2008»
    DeMIMA: A Multilayered Approach for Design Pattern Identification
    13 years 11 months ago
    DeMIMA: A Multilayered Approach for Design Pattern Identification
    Download  www-etud.iro.umontreal.ca
    Design patterns are important in object-oriented programming because they offer design motifs, elegant solutions to recurrent design problems, which improve the quality of software...
    Yann-Gaël Guéhéneuc, Giuliano A...
    claim paper
    Read More »
    TIT
    2008
    86views more  TIT 2008»
    Optimal Prefix Codes for Infinite Alphabets With Nonlinear Costs
    13 years 11 months ago
    Optimal Prefix Codes for Infinite Alphabets With Nonlinear Costs
    Download  hkn.eecs.berkeley.edu
    Let P = {p(i)} be a measure of strictly positive probabilities on the set of nonnegative integers. Although the countable number of inputs prevents usage of the Huffman algorithm, ...
    Michael B. Baer
    claim paper
    Read More »
    IJDE
    2007
    123views more  IJDE 2007»
    Identifying Authorship by Byte-Level N-Grams: The Source Code Author Profile (SCAP) Method
    13 years 11 months ago
    Identifying Authorship by Byte-Level N-Grams: The Source Code Author Profile (SCAP) Method
    Download  www.utica.edu
    Source code author identification deals with identifying the most likely author of a computer program, given a set of predefined author candidates. There are several scenarios whe...
    Georgia Frantzeskou, Efstathios Stamatatos, Stefan...
    claim paper
    Read More »
    ENTCS
    2007
    85views more  ENTCS 2007»
    Stochastic Modelling of Communication Protocols from Source Code
    13 years 11 months ago
    Stochastic Modelling of Communication Protocols from Source Code
    Download  lanther.co.uk
    A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
    Michael J. A. Smith
    claim paper
    Read More »
    DKE
    2007
    115views more  DKE 2007»
    An improved methodology on information distillation by mining program source code
    13 years 11 months ago
    An improved methodology on information distillation by mining program source code
    Download  www.cs.man.ac.uk
    This paper presents a methodology for knowledge acquisition from source code. We use data mining to support semiautomated software maintenance and comprehension and provide practi...
    Yiannis Kanellopoulos, Christos Makris, Christos T...
    claim paper
    Read More »
    « first‹ previous123456789…next ›last »
    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.