Sciweavers

    5863 search results - page 346 / 1173
    » On Model-Checking of P Systems
    Sort
    View
    139
    Voted
    DEXA
    1992
    Springer
    119views Database» more  DEXA 1992»
    The INQUERY Retrieval System
    15 years 11 months ago
    The INQUERY Retrieval System
    Download  web.cecs.pdx.edu
    James P. Callan, W. Bruce Croft, Stephen M. Hardin...
    claim paper
    Read More »
    166
    Voted
    CPE
    1998
    Springer
    108views Hardware» more  CPE 1998»
    Edinet: An Execution Driven Interconnection Network Simulator for DSM Systems
    15 years 11 months ago
    Edinet: An Execution Driven Interconnection Network Simulator for DSM Systems
    Download  www.ee.unlv.edu
    Jose Flich, Pedro López, Manuel P. Malumbre...
    claim paper
    Read More »
    134
    Voted
    CCS
    2004
    ACM
    70views Security Privacy» more  CCS 2004»
    Synthesising verified access control systems in XACML
    15 years 11 months ago
    Synthesising verified access control systems in XACML
    Download  www.cs.bham.ac.uk
    Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
    claim paper
    Read More »
    153
    Voted
    FAABS
    2000
    Springer
    82views Intelligent Agents» more  FAABS 2000»
    Controlling Multiple Satellite Constellations Using the TEAMAgent System
    15 years 11 months ago
    Controlling Multiple Satellite Constellations Using the TEAMAgent System
    Download  www.psatellite.com
    Derek M. Surka, Mark E. Campbell, Thomas P. Schett...
    claim paper
    Read More »
    174
    Voted
    VLDB
    1991
    ACM
    143views Database» more  VLDB 1991»
    Effects of Database Size on Rule System Performance: Five Case Studies
    15 years 11 months ago
    Effects of Database Size on Rule System Performance: Five Case Studies
    Download  www.vldb.org
    David A. Brant, Timothy Grose, Bernie J. Lofaso, D...
    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.