Sciweavers

    PTS
    2008
    87views Hardware» more  PTS 2008»
    Test Construction for Mathematical Functions
    13 years 10 months ago
    Test Construction for Mathematical Functions
    Download  panda.ispras.ru
    The article deals with problems of testing implementations of mathematical functions working with floating-point numbers. It considers current standards' requirements to such ...
    Victor V. Kuliamin
    claim paper
    Read More »
    PTS
    2008
    152views Hardware» more  PTS 2008»
    Model-Based Testing Service on the Web
    13 years 10 months ago
    Model-Based Testing Service on the Web
    Download  www.cs.tut.fi
    Abstract. Model-based testing (MBT) seems to be technically superior to conventional test automation. However, MBT features some difficulties that can hamper its deployment in indu...
    Antti Jääskeläinen, Mika Katara, An...
    claim paper
    Read More »
    PTS
    2008
    109views Hardware» more  PTS 2008»
    Runtime Verification of C Programs
    13 years 10 months ago
    Runtime Verification of C Programs
    Download  www.havelund.com
    We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
    Klaus Havelund
    claim paper
    Read More »
    MASCOTS
    2007
    134views Modeling And Simulation» more  MASCOTS 2007»
    PerfCenter: A Methodology and Tool for Performance Analysis of Application Hosting Centers
    13 years 10 months ago
    PerfCenter: A Methodology and Tool for Performance Analysis of Application Hosting Centers
    Download  www.cse.iitb.ac.in
    — We present a tool, PerfCenter, that takes as input the deployment, configuration, message flow and workload details of the hardware and software servers in an application hos...
    Rukma Prabhu Verlekar, Varsha Apte, Prakhar Goyal,...
    claim paper
    Read More »
    PTS
    2008
    80views Hardware» more  PTS 2008»
    Generating Checking Sequences for Partial Reduced Finite State Machines
    13 years 10 months ago
    Generating Checking Sequences for Partial Reduced Finite State Machines
    Download  www.crim.ca
    The problem of generating checking sequences for FSMs with distinguishing sequence has been attracting interest of researchers for several decades. In this paper, a solution is pro...
    Adenilso da Silva Simão, Alexandre Petrenko
    claim paper
    Read More »
    FIC
    2008
    53views Hardware» more  FIC 2008»
    Enrichissement d'ontologies : maintenance de la consistance et évaluation de la qualité
    13 years 10 months ago
    Enrichissement d'ontologies : maintenance de la consistance et évaluation de la qualité
    Download  dafoe4app.fr
    Rim Djedidi, Marie-Aude Aufaure
    claim paper
    Read More »
    EV
    2008
    58views Hardware» more  EV 2008»
    The E-Voting Readiness Index
    13 years 10 months ago
    The E-Voting Readiness Index
    Download  www.e-voting.cc
    Robert Krimmer, Ronald Schuster
    claim paper
    Read More »
    EV
    2008
    62views Hardware» more  EV 2008»
    A Methodology for Assessing Procedural Security: A Case Study in E-Voting
    13 years 10 months ago
    A Methodology for Assessing Procedural Security: A Case Study in E-Voting
    Download  www.e-voting.cc
    Komminist Weldemariam, Adolfo Villafiorita
    claim paper
    Read More »
    EV
    2008
    80views Hardware» more  EV 2008»
    CAPTCHA-based Code Voting
    13 years 10 months ago
    CAPTCHA-based Code Voting
    Download  www.e-voting.cc
    Rolf Oppliger, Jörg Schwenk, Christoph Lö...
    claim paper
    Read More »
    EV
    2008
    86views Hardware» more  EV 2008»
    Long-term Retention in E-Voting - Legal Requirements and Technical Implementation
    13 years 10 months ago
    Long-term Retention in E-Voting - Legal Requirements and Technical Implementation
    Download  www.cdc.informatik.tu-darmstadt.de
    : Legally binding elections require retention of specified election data such as balloting material. This applies to paper-based as well as electronic elections. However, in German...
    Rotraud Gitter, Lucie Langer, Susanne Okunick, Zoi...
    claim paper
    Read More »
    « first‹ previous…211212213214215216217218219…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.