Sciweavers

    2050 search results - page 21 / 410
    » A formal foundation for process modeling
    Sort
    View
    LICS
    2002
    IEEE
    104views Automated Reasoning» more  LICS 2002»
    A Syntactic Approach to Foundational Proof-Carrying Code
    15 years 11 months ago
    A Syntactic Approach to Foundational Proof-Carrying Code
    Download  www.utdallas.edu
    Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
    Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, S...
    claim paper
    Read More »
    ISSS
    1997
    IEEE
    59views Hardware» more  ISSS 1997»
    Derivation of Formal Representations from Process-Based Specification and Implementation Models
    15 years 10 months ago
    Derivation of Formal Representations from Process-Based Specification and Implementation Models
    Download  www.cs.york.ac.uk
    Steven Vercauteren, Diederik Verkest, Gjalt G. de ...
    claim paper
    Read More »
    GI
    2010
    Springer
    107views Theoretical Computer Science» more  GI 2010»
    Formalizing Dependencies in Business Process Models Using Constraint Satisfaction
    15 years 4 months ago
    Formalizing Dependencies in Business Process Models Using Constraint Satisfaction
    Download  www.inf.uos.de
    Wolfgang Runte
    claim paper
    Read More »
    EDOC
    2002
    IEEE
    102views Distributed And Parallel Com...» more  EDOC 2002»
    From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods
    15 years 11 months ago
    From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods
    Download  www.zurich.ibm.com
    Jana Koehler, Giuliano Tirenni, Santhosh Kumaran
    claim paper
    Read More »
    IJCINI
    2008
    68views more  IJCINI 2008»
    Formal RTPA Models for a Set of Meta-Cognitive Processes of the Brain
    15 years 6 months ago
    Formal RTPA Models for a Set of Meta-Cognitive Processes of the Brain
    Download  www2.enel.ucalgary.ca
    Yingxu Wang
    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.