Microbiology | Sciweavers

43

ASM
2010
ASM

248views Computational Biology» more ASM 2010»

Formal Probabilistic Analysis: A Higher-Order Logic Based Approach

14 years 5 months ago

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 ...

Osman Hasan, Sofiène Tahar

claim paper

Read More »

41

click to vote

ASM
2003
ASM

147views Computational Biology» more ASM 2003»

An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions

14 years 5 months ago

Download www-omega.imag.fr

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...

Ileana Ober

claim paper

Read More »

49

click to vote

ASM
2003
ASM

153views Computational Biology» more ASM 2003»

UML and Concurrency

14 years 5 months ago

Download homepages.inf.ed.ac.uk

Perdita Stevens

claim paper

Read More »

39

click to vote

ASM
2003
ASM

104views Computational Biology» more ASM 2003»

Privacy, Abstract Encryption and Protocols: An ASM Model - Part I

14 years 5 months ago

Download titan.fsb.hr

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...

Dean Rosenzweig, Davor Runje, Neva Slani

claim paper

Read More »

41

click to vote

ASM
2003
ASM

138views Computational Biology» more ASM 2003»

A Framework for Proving Contract-Equipped Classes

14 years 5 months ago

Download se.ethz.ch

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...

Bertrand Meyer

claim paper

Read More »

40

click to vote

ASM
2003
ASM

93views Computational Biology» more ASM 2003»

Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education

14 years 5 months ago

Download www.cs.mtu.edu

James Huggins, Jean Mayo, Charles Wallace

claim paper

Read More »

33

click to vote

ASM
2003
ASM

106views Computational Biology» more ASM 2003»

Partial Updates Exploration II

14 years 5 months ago

Download research.microsoft.com

Yuri Gurevich, Nikolai Tillmann

claim paper

Read More »

38

click to vote

ASM
2003
ASM

121views Computational Biology» more ASM 2003»

ASMs versus Natural Semantics: A Comparison with New Insights

14 years 5 months ago

Download www.info.uni-karlsruhe.de

Abstract. We compare three speciﬁcation frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...

Sabine Glesner

claim paper

Read More »

31

click to vote

ASM
2003
ASM

123views Computational Biology» more ASM 2003»

Designing the Parlay Call-Control Using ASMs

14 years 5 months ago

Download softeng.polito.it

Paolo Falcarin, Alessandra Cavarra

claim paper

Read More »

44

click to vote

ASM
2003
ASM

103views Computational Biology» more ASM 2003»

Remarks on Turbo ASMs for Functional Equations and Recursion Schemes

14 years 5 months ago

Download www.di.unipi.it

The question raised in [15] is answered how to naturally dely used forms of recursion by abstract machines. We show that turbo ASMs as deﬁned in [7] allow one to faithfully reﬂ...

Egon Börger, Tommaso Bolognesi

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers