Sciweavers

1995 search results - page 12 / 399
» The Chemical Abstract Machine
Sort
View
ASM
2004
ASM
15 years 3 months ago
The Cryptographic Abstract Machine
tographic Abstract Machine Dean Rosenzweig and Davor Runje University of Zagreb The Cryptographic Abstract Machine is an executional model of cryptographic actions, independent of ...
Dean Rosenzweig, Davor Runje
59
Voted
LOPSTR
2004
Springer
15 years 3 months ago
From Natural Semantics to Abstract Machines
Machines Mads Sig Ager BRICS Report Series RS-04-20 ISSN 0909-0878 October 2004 04-20M.S.Ager:FromNaturalSemanticstoAbstractMachines
Mads Sig Ager
SEQLEARN
2001
Springer
221views Algorithms» more  SEQLEARN 2001»
15 years 2 months ago
On the Need for a Neural Abstract Machine
eed for a Neural Abstract Machine Diego Sona, Alessandro Sperduti Dipartimento di Informatica Universit`a di Pisa
Diego Sona, Alessandro Sperduti
COORDINATION
2005
Springer
15 years 3 months ago
A Correct Abstract Machine for Safe Ambients
t Abstract Machine for Safe Ambients Daniel Hirschkoff1 , Damien Pous1 , and Davide Sangiorgi2 1 ENS Lyon, France 2 Universit`a di Bologna, Italy Abstract. We describe an abstract...
Daniel Hirschkoff, Damien Pous, Davide Sangiorgi
DLT
2006
14 years 11 months ago
Can Abstract State Machines Be Useful in Language Theory?
ract State Machines Be Useful in Language Theory? Yuri Gurevich a Margus Veanes a Charles Wallace b aMicrosoft Research, Redmond, Washington, USA bMichigan Tech, Houghton, Michigan...
Yuri Gurevich, Charles Wallace