Sciweavers

    31387 search results - page 225 / 6278
    » Abstracting abstract machines
    Sort
    View
    CAV
    2001
    Springer
    100views Hardware» more  CAV 2001»
    Automatic Abstraction for Verification of Timed Circuits and Systems
    15 years 11 months ago
    Automatic Abstraction for Verification of Timed Circuits and Systems
    Download  www.csee.usf.edu
    Hao Zheng, Eric Mercer, Chris J. Myers
    claim paper
    Read More »
    123
    Voted
    CCS
    2001
    ACM
    91views Security Privacy» more  CCS 2001»
    Distributed credential chain discovery in trust management: extended abstract
    15 years 11 months ago
    Distributed credential chain discovery in trust management: extended abstract
    Download  crypto.stanford.edu
    Ninghui Li, William H. Winsborough, John C. Mitche...
    claim paper
    Read More »
    CIKM
    2001
    Springer
    76views Information Technology» more  CIKM 2001»
    Alternative Representations and Abstractions for Moving Sensors Databases
    15 years 11 months ago
    Alternative Representations and Abstractions for Moving Sensors Databases
    Download  cimic.rutgers.edu
    Jacob Eisenstein, Shahram Ghandeharizadeh, Cyrus S...
    claim paper
    Read More »
    146
    Voted
    COSIT
    2001
    Springer
    134views GIS» more  COSIT 2001»
    Recognition of Abstract Regions in Cartographic Maps
    15 years 11 months ago
    Recognition of Abstract Regions in Cartographic Maps
    Download  www.cosy.informatik.uni-bremen.de
    Joe Heike Steinhauer, Tom Wiese, Christian Freksa,...
    claim paper
    Read More »
    CSL
    2001
    Springer
    109views Automated Reasoning» more  CSL 2001»
    An Abstract Look at Realizability
    15 years 11 months ago
    An Abstract Look at Realizability
    Download  www.dcs.qmul.ac.uk
    act Look at Realizability Edmund Robinson and Guiseppe Rosolini Department of Computer Science Research Report No. RR-01-01 ISSN 1470-5559 March 2001
    Edmund Robinson, Giuseppe Rosolini
    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.