Search Sciweavers | Sciweavers

2467 search results - page 113 / 494

» Finite State Machines

117

click to vote

FORMATS
2006
Springer

98views Formal Methods» more FORMATS 2006»

Simulator for Real-Time Abstract State Machines

15 years 10 months ago

Download www.math.spbu.ru

Pavel Vasilyev

claim paper

Read More »

167

click to vote

APAQS
2001
IEEE

255views Software Engineering» more APAQS 2001»

Testable Use Cases in the Abstract State Machine Language

15 years 10 months ago

Download research.microsoft.com

Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte...

claim paper

Read More »

149

click to vote

FASE
2000
Springer

94views Software Engineering» more FASE 2000»

Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach

15 years 10 months ago

Download www.medien.ifi.lmu.de

Gianna Reggio, Egidio Astesiano, Christine Choppy,...

claim paper

Read More »

109

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 »

144

click to vote

CALCO
2007
Springer

98views Mathematics» more CALCO 2007»

A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers