Sciweavers

    15614 search results - page 292 / 3123
    » The State of State
    Sort
    View
    VLDB
    1994
    ACM
    103views Database» more  VLDB 1994»
    Scientific Databases - State of the Art and Future Directions
    15 years 10 months ago
    Scientific Databases - State of the Art and Future Directions
    Download  www.vldb.org
    Maria Zemankova, Yannis E. Ioannidis
    claim paper
    Read More »
    EURODAC
    1990
    IEEE
    73views VHDL» more  EURODAC 1990»
    A new method for the state reduction of incompletely specified finite sequential machines
    15 years 10 months ago
    A new method for the state reduction of incompletely specified finite sequential machines
    Download  web.cecs.pdx.edu
    Maria J. Avedillo, José M. Quintana, Jos&ea...
    claim paper
    Read More »
    ANCS
    2007
    ACM
    109views Computer Networks» more  ANCS 2007»
    Enhancing interoperability and stateful analysis of cooperative network intrusion detection systems
    15 years 10 months ago
    Enhancing interoperability and stateful analysis of cooperative network intrusion detection systems
    Download  www.cse.wustl.edu
    Michele Colajanni, Daniele Gozzi, Mirco Marchetti
    claim paper
    Read More »
    CAISE
    2007
    Springer
    205views Information Technology» more  CAISE 2007»
    Formalization and Verification of EPCs with OR-Joins Based on State and Context
    15 years 10 months ago
    Formalization and Verification of EPCs with OR-Joins Based on State and Context
    Download  is.tm.tue.nl
    The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
    Jan Mendling, Wil M. P. van der Aalst
    claim paper
    Read More »
    CAV
    2007
    Springer
    122views Hardware» more  CAV 2007»
    Parameterized Verification of Infinite-State Processes with Global Conditions
    15 years 10 months ago
    Parameterized Verification of Infinite-State Processes with Global Conditions
    Download  www.disi.unige.it
    We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
    Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...
    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.