Sciweavers

    15614 search results - page 301 / 3123
    » The State of State
    Sort
    View
    ICRA
    1995
    IEEE
    79views Robotics» more  ICRA 1995»
    Partitioning COntact-State Space Using The Theory of Polyhedral Convex Cones
    15 years 10 months ago
    Partitioning COntact-State Space Using The Theory of Polyhedral Convex Cones
    Download  www.ri.cmu.edu
    George V. Paul, Katsushi Ikeuchi
    claim paper
    Read More »
    ICSE
    1995
    IEEE-ACM
    104views Software Engineering» more  ICSE 1995»
    Completeness and Consistency Analysis of State-Based Requirements
    15 years 10 months ago
    Completeness and Consistency Analysis of State-Based Requirements
    Download  wwwbruegge.in.tum.de
    Mats Per Erik Heimdahl, Nancy G. Leveson
    claim paper
    Read More »
    137
    Voted
    ICSE
    1995
    IEEE-ACM
    92views Software Engineering» more  ICSE 1995»
    Experimental Software Engineering: A Report on the State of the Art
    15 years 10 months ago
    Experimental Software Engineering: A Report on the State of the Art
    Download  users.ece.utexas.edu
    Lawrence G. Votta, Adam A. Porter
    claim paper
    Read More »
    INFOCOM
    1995
    IEEE
    88views Communications» more  INFOCOM 1995»
    An Inversion Algorithm for Loss Networks with State-Dependent Rates
    15 years 10 months ago
    An Inversion Algorithm for Loss Networks with State-Dependent Rates
    Download  www.columbia.edu
    Gagan L. Choudhury, Kin K. Leung, Ward Whitt
    claim paper
    Read More »
    174
    Voted
    RTSE
    1997
    107views Software Engineering» more  RTSE 1997»
    Abstraction and Modular Verification of Infinite-State Reactive Systems
    15 years 10 months ago
    Abstraction and Modular Verification of Infinite-State Reactive Systems
    Download  react.cs.uni-sb.de
    Zohar Manna, Michael Colón, Bernd Finkbeine...
    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.