Search Sciweavers | Sciweavers

2050 search results - page 21 / 410

» A formal foundation for process modeling

click to vote

LICS
2002
IEEE

104views Automated Reasoning» more LICS 2002»

A Syntactic Approach to Foundational Proof-Carrying Code

15 years 2 months ago

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 »

click to vote

ISSS
1997
IEEE

59views Hardware» more ISSS 1997»

Derivation of Formal Representations from Process-Based Specification and Implementation Models

15 years 1 months ago

Download www.cs.york.ac.uk

Steven Vercauteren, Diederik Verkest, Gjalt G. de ...

claim paper

Read More »

click to vote

GI
2010
Springer

107views Theoretical Computer Science» more GI 2010»

Formalizing Dependencies in Business Process Models Using Constraint Satisfaction

14 years 8 months ago

Download www.inf.uos.de

Wolfgang Runte

claim paper

Read More »

click to vote

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 2 months ago

Download www.zurich.ibm.com

Jana Koehler, Giuliano Tirenni, Santhosh Kumaran

claim paper

Read More »

click to vote

IJCINI
2008

68views more IJCINI 2008»

Formal RTPA Models for a Set of Meta-Cognitive Processes of the Brain

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers