ASM
2010
ASM
14 years 3 months ago
2010
ASM
Traditionally, simulation is used to perform probabilistic analysis. However, it provides less accurate results and cannot handle large-scale problems due to the enormous CPU time ...
ASM
2003
ASM
14 years 4 months ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
ASM
2003
ASM
14 years 4 months ago
2003
ASM
ASM
2003
ASM
14 years 4 months ago
2003
ASM
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...
ASM
2003
ASM
14 years 4 months ago
2003
ASM
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...
ASM
2003
ASM
14 years 4 months ago
2003
ASM
ASM
2003
ASM
14 years 4 months ago
2003
ASM
ASM
2003
ASM
14 years 4 months ago
2003
ASM
Abstract. We compare three specification frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...
ASM
2003
ASM
14 years 4 months ago
2003
ASM
ASM
2003
ASM
14 years 4 months ago
2003
ASM
The question raised in [15] is answered how to naturally dely used forms of recursion by abstract machines. We show that turbo ASMs as defined in [7] allow one to faithfully refl...