Search Sciweavers | Sciweavers

370 search results - page 7 / 74

» Object-Oriented Abstract State Machines

161

click to vote

LPAR
2005
Springer

112views Automated Reasoning» more LPAR 2005»

Model Checking Abstract State Machines with Answer Set Programming

15 years 11 months ago

Download www.cs.sfu.ca

ECKING ABSTRACT STATE MACHINES WITH ANSWER SET PROGRAMMING by Calvin Kai Fan Tang B.Sc., Simon Fraser University, 2003 a thesis submitted in partial fulfillment of the requirements...

Calvin Kai Fan Tang, Eugenia Ternovska

claim paper

Read More »

138

click to vote

APSCC
2008
IEEE

131views Applied Computing» more APSCC 2008»

Abstract State Machine Models for Basic Service-Oriented Architectures

16 years 9 days ago

Download work.thekirchbergs.info

Markus Kirchberg

claim paper

Read More »

115

click to vote

ASM
2003
ASM

104views Computational Biology» more ASM 2003»

A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines

15 years 11 months ago

Download www.informatik.uni-ulm.de

Wolf Zimmermann, Axel Dold

claim paper

Read More »

133

click to vote

CSL
2001
Springer

93views Automated Reasoning» more CSL 2001»

A Logic for Abstract State Machines

15 years 10 months ago

Download www.jucs.org

Robert F. Stärk, Stanislas Nanchen

claim paper

Read More »

115

click to vote

SRDS
2000
IEEE

81views Operating System» more SRDS 2000»

Abstractions for Devising Byzantine-Resilient State Machine Replication

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers