Search Sciweavers | Sciweavers

1116 search results - page 9 / 224

» Applying Predicate Abstraction to Abstract State Machines

102

click to vote

AIIDE
2008

101views Artificial Intelligence» more AIIDE 2008»

Implementation Walkthrough of a Homegrown 'Abstract State Machine' Style System in a Commercial Sports Game

15 years 8 months ago

Download www.aaai.org

Brian Schwab

claim paper

Read More »

click to vote

LMCS
2007

61views more LMCS 2007»

Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem

15 years 5 months ago

Download research.microsoft.com

Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Ben...

claim paper

Read More »

145

click to vote

ASM
2000
ASM

157views Computational Biology» more ASM 2000»

Abstract State Machines and Computationally Complete Query Languages

15 years 10 months ago

Download research.microsoft.com

Andreas Blass, Yuri Gurevich, Jan Van den Bussche

claim paper

Read More »

119

click to vote

ASM
1998
ASM

84views Computational Biology» more ASM 1998»

Interacting Abstract State Machines

15 years 10 months ago

Download www.eecs.umich.edu

Marcelo de Almeida Maia, Vladimir Oliveira Di Iori...

claim paper

Read More »

159

click to vote

APAQS
2001
IEEE

255views Software Engineering» more APAQS 2001»

Testable Use Cases in the Abstract State Machine Language

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers