Sciweavers

    11168 search results - page 62 / 2234
    » Abstract State Processes
    Sort
    View
    104
    Voted
    ICFCA
    2005
    Springer
    90views Formal Methods» more  ICFCA 2005»
    A Finite State Model for On-Line Analytical Processing in Triadic Contexts
    15 years 9 months ago
    A Finite State Model for On-Line Analytical Processing in Triadic Contexts
    Download  www.kde.cs.uni-kassel.de
    Gerd Stumme
    claim paper
    Read More »
    ER
    2005
    Springer
    103views Database» more  ER 2005»
    Combining Intention-Oriented and State-Based Process Modeling
    15 years 9 months ago
    Combining Intention-Oriented and State-Based Process Modeling
    Download  mis.hevra.haifa.ac.il
    Pnina Soffer, Colette Rolland
    claim paper
    Read More »
    WIA
    2001
    Springer
    87views Artificial Intelligence» more  WIA 2001»
    Using Finite State Technology in Natural Language Processing of Basque
    15 years 8 months ago
    Using Finite State Technology in Natural Language Processing of Basque
    Download  www.ehu.es
    Iñaki Alegria, Maxux J. Aranzabe, Nerea Eze...
    claim paper
    Read More »
    ICNP
    1996
    IEEE
    83views Computer Networks» more  ICNP 1996»
    Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines
    15 years 8 months ago
    Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines
    Download  www.ieee-icnp.org
    Hong Liu, Raymond E. Miller
    claim paper
    Read More »
    AMAST
    2004
    Springer
    90views Software Engineering» more  AMAST 2004»
    State Space Reduction for Process Algebra Specifications
    15 years 7 months ago
    State Space Reduction for Process Algebra Specifications
    Download  www.inrialpes.fr
    Hubert Garavel, Wendelin Serwe
    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.