Search Sciweavers | Sciweavers

2303 search results - page 25 / 461

» The Cryptographic Abstract Machine

Voted

ASM
1998
ASM

95views Computational Biology» more ASM 1998»

Object-Oriented Abstract State Machines

15 years 9 months ago

Download www.eecs.umich.edu

Alexandre V. Zamulin

claim paper

Read More »

110

Voted

ASM
1998
ASM

84views Computational Biology» more ASM 1998»

Interacting Abstract State Machines

15 years 9 months ago

Download www.eecs.umich.edu

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

claim paper

Read More »

132

click to vote

ECOOPW
1998
Springer

100views Distributed And Parallel Com...» more ECOOPW 1998»

A Computational Model for a Distributed Object-Oriented Operating System Based on a Reflective Abstract Machine

15 years 9 months ago

Download www.di.uniovi.es

Lourdes Tajes Martínez, Fernando Álv...

claim paper

Read More »

131

click to vote

FM
1998
Springer

155views Formal Methods» more FM 1998»

Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture

15 years 9 months ago

Download www.eecs.umich.edu

Giuseppe Del Castillo

claim paper

Read More »

121

Voted

ECOOPW
1997
Springer

87views Distributed And Parallel Com...» more ECOOPW 1997»

An Object-Oriented Abstract Machine as the Substrate for an Object-Oriented Operating System

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers