Sciweavers

    2873 search results - page 129 / 575
    » Model Checking and the Mu-calculus
    Sort
    View
    FMICS
    2010
    Springer
    213views Formal Methods» more  FMICS 2010»
    Model Checking the FlexRay Physical Layer Protocol
    15 years 5 months ago
    Model Checking the FlexRay Physical Layer Protocol
    Download  react.cs.uni-sb.de
    Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
    Michael Gerke 0002, Rüdiger Ehlers, Bernd Fin...
    claim paper
    Read More »
    114
    Voted
    DAC
    1998
    ACM
    103views Computer Architecture» more  DAC 1998»
    Incremental CTL Model Checking Using BDD Subsetting
    16 years 5 months ago
    Incremental CTL Model Checking Using BDD Subsetting
    Download  reference.kfupm.edu.sa
    Abelardo Pardo, Gary D. Hachtel
    claim paper
    Read More »
    QEST
    2007
    IEEE
    123views Modeling and Simulation» more  QEST 2007»
    Model checking the probabilistic pi-calculus
    15 years 10 months ago
    Model checking the probabilistic pi-calculus
    Download  qav.comlab.ox.ac.uk
    Gethin Norman, Catuscia Palamidessi, David Parker,...
    claim paper
    Read More »
    JALC
    2006
    95views more  JALC 2006»
    On the Decidability of Model-Checking for P Systems
    15 years 4 months ago
    On the Decidability of Model-Checking for P Systems
    Download  www.eecs.wsu.edu
    Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
    Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
    claim paper
    Read More »
    196
    Voted
    CSAC
    2006
    251views Software Engineering» more  CSAC 2006»
    Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
    15 years 5 months ago
    Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
    Download  www.labunix.uqam.ca
    Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
    Faisal Abouzaid
    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.