Search Sciweavers | Sciweavers

1889 search results - page 19 / 378

» An Abstract Machine for Oz

156

Voted

CSL
1995
Springer

105views Automated Reasoning» more CSL 1995»

An Evolving Algebra Abstract Machine

15 years 11 months ago

Download www.eecs.umich.edu

Giuseppe Del Castillo, Igor Durdanovic, Uwe Gl&aum...

claim paper

Read More »

138

click to vote

ICLP
1991
Springer

101views Automated Reasoning» more ICLP 1991»

Warren's Abstract Machine

15 years 11 months ago

Download www.di.uevora.pt

Hassan Aït-Kaci

claim paper

Read More »

127

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

Download www.aaai.org

Brian Schwab

claim paper

Read More »

171

click to vote

CALCO
2007
Springer

98views Mathematics» more CALCO 2007»

A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines

15 years 9 months ago

Download www2.informatik.hu-berlin.de

Andreas Glausch, Wolfgang Reisig

claim paper

Read More »

125

Voted

DAGSTUHL
2007

95views Software Engineering» more DAGSTUHL 2007»

Composing Web-service-like abstract state machines (ASM)

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers