Sciweavers

    20638 search results - page 334 / 4128
    » Network Computing
    Sort
    View
    AINA
    2003
    IEEE
    112views Computer Networks» more  AINA 2003»
    Content-Based Information Retrieval for VRML 3D Objects
    16 years 18 days ago
    Content-Based Information Retrieval for VRML 3D Objects
    Download  ir.lib.au.edu.tw
    Ching-Sheng Wang, Timothy K. Shih, Chun-Hung Huang...
    claim paper
    Read More »
    DSN
    2003
    IEEE
    137views Computer Networks» more  DSN 2003»
    An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software
    16 years 18 days ago
    An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software
    Download  rw4.cs.uni-sb.de
    Stephan Thesing, Jean Souyris, Reinhold Heckmann, ...
    claim paper
    Read More »
    161
    Voted
    DSN
    2002
    IEEE
    92views Computer Networks» more  DSN 2002»
    SMART: Stochastic Model-checking Analyzer for Reliability and Timing
    16 years 7 days ago
    SMART: Stochastic Model-checking Analyzer for Reliability and Timing
    Download  www.cs.ucr.edu
    Gianfranco Ciardo, R. L. Jones III, Robert M. Marm...
    claim paper
    Read More »
    DSN
    2002
    IEEE
    118views Computer Networks» more  DSN 2002»
    An Experimental Evaluation of the REE SIFT Environment for Spaceborne Applications
    16 years 7 days ago
    An Experimental Evaluation of the REE SIFT Environment for Spaceborne Applications
    Download  www.crhc.illinois.edu
    Keith Whisnant, Ravishankar K. Iyer, P. Jones, Rap...
    claim paper
    Read More »
    ICNP
    2002
    IEEE
    120views Computer Networks» more  ICNP 2002»
    A Formal Approach for Passive Testing of Protocol Data Portions
    16 years 7 days ago
    A Formal Approach for Passive Testing of Protocol Data Portions
    Download  www.ieee-icnp.org
    David Lee, Dongluo Chen, Ruibing Hao, Raymond E. M...
    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.