Sciweavers

    5863 search results - page 305 / 1173
    » On Model-Checking of P Systems
    Sort
    View
    ATAL
    1997
    Springer
    100views Intelligent Agents» more  ATAL 1997»
    Modelling and Design of Multi-Agent Systems
    15 years 11 months ago
    Modelling and Design of Multi-Agent Systems
    Download  www.upv.es
    David Kinny, Michael P. Georgeff
    claim paper
    Read More »
    FPCA
    1993
    73views Programming Languages» more  FPCA 1993»
    A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism
    15 years 11 months ago
    A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism
    Download  web.cecs.pdx.edu
    Mark P. Jones
    claim paper
    Read More »
    ICDE
    1990
    IEEE
    55views Database» more  ICDE 1990»
    An Algorithmic Basis for Integrating Production Systems and Large Databases
    15 years 11 months ago
    An Algorithmic Basis for Integrating Production Systems and Large Databases
    Download  sp.cmc.msu.ru
    Daniel P. Miranker, David A. Brant
    claim paper
    Read More »
    72
    Voted
    IEAAIE
    1989
    Springer
    63views Artificial Intelligence» more  IEAAIE 1989»
    Hierarchical scheduling in an intelligent environmental control system
    15 years 11 months ago
    Hierarchical scheduling in an intelligent environmental control system
    Download  smslab.kaist.ac.kr
    Tag Gon Kim, Bernard P. Zeigler
    claim paper
    Read More »
    SEC
    2008
    113views Security Privacy» more  SEC 2008»
    YASIR: A Low-Latency, High-Integrity Security Retrofit for Legacy SCADA Systems
    15 years 8 months ago
    YASIR: A Low-Latency, High-Integrity Security Retrofit for Legacy SCADA Systems
    Download  www.ists.dartmouth.edu
    Patrick P. Tsang, Sean W. Smith
    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.