Works matching DE "ABSTRACT state machines (Computer science)"

Results: 13

Computing the Expected Edit Distance from a String to a Probabilistic Finite-State Automaton.

Published in:

International Journal of Foundations of Computer Science, 2017, v. 28, n. 5, p. 603, doi. 10.1142/S0129054117400093

By:

Calvo-Zaragoza, Jorge;
Oncina, Jose;
de la Higuera, Colin

Publication type:

Article

Fluency Expresses Implicit Knowledge of Tonal Symmetry.

Published in:

Frontiers in Psychology, 2016, p. 1, doi. 10.3389/fpsyg.2016.00057

By:

Xiaoli Ling;
Fengying Li;
Fuqiang Qiao;
Xiuyan Guo;
Zoltan Dienes;
Chunlei Shan;
Kanji Tanaka

Publication type:

Article

The abstract state machines method for mular design and analysis of pogramming languages.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 2, p. 417, doi. 10.1093/logcom/exu077

By:

BÖRGER, EGON

Publication type:

Article

An ASM-based Model for Grid Job Management.

Published in:

Informatica (03505596), 2013, v. 37, n. 3, p. 295

By:

Bianchi, Alessandro;
Manelli, Luciano;
Pizzutilo, Sebastiano

Publication type:

Article

Early modeling and validation of timed system requirements using Timed Use Case Maps.

Published in:

Requirements Engineering, 2015, v. 20, n. 2, p. 181, doi. 10.1007/s00766-013-0200-9

By:

Hassine, Jameleddine

Publication type:

Article

Concurrent abstract state machines.

Published in:

Acta Informatica, 2016, v. 53, n. 5, p. 469, doi. 10.1007/s00236-015-0249-7

By:

Börger, Egon;
Schewe, Klaus-Dieter

Publication type:

Article

Enhancement of Hardware Security by Hamming-Ball Based State Assignment.

Published in:

Information Security Journal: A Global Perspective, 2013, v. 22, n. 5/6, p. 216, doi. 10.1080/19393555.2014.891276

By:

Shumsky, Igor;
Keren, Osnat

Publication type:

Article

Rigorous development process of a safety-critical system: from ASM models to Java code.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 2, p. 247, doi. 10.1007/s10009-015-0394-x

By:

Arcaini, Paolo;
Gargantini, Angelo;
Riccobene, Elvinia

Publication type:

Article

A complete logic for Database Abstract State Machines.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 5, p. 700, doi. 10.1093/jigpal/jzx021

By:

FERRAROTTI, FLAVIO;
SCHEWE, KLAUS-DIETER;
TEC, LOREDANA;
QING WANG

Publication type:

Article

MÁQUINAS ABSTRACTAS DE ESTADOS Y SUS APLICACIONES.

Published in:

Revista Educación en Ingeniería, 2012, n. 13, p. 55

By:

Reyes Vera, Javier Mauricio

Publication type:

Article

Numerical and Experimental Studies of Parasitic Heat Losses in Coldfinger of a Pulse Tube Cryocooler in Off-State Condition.

Published in:

Heat Transfer Engineering, 2019, v. 40, n. 11, p. 959, doi. 10.1080/01457632.2018.1446892

By:

Thota, Srikanth;
Srikantaiah, Gurudath C.;
Padmanabhan;
Akkimaradi, Basavaraj S.;
Ambirajan, Amrit;
GSVL, Narasimham

Publication type:

Article

Analyzing the exhaustiveness of the Synapse protocol.

Published in:

Peer-to-Peer Networking & Applications, 2015, v. 8, n. 5, p. 793, doi. 10.1007/s12083-014-0293-z

By:

Marinković, Bojan;
Ciancaglini, Vincenzo;
Ognjanović, Zoran;
Glavan, Paola;
Liquori, Luigi;
Maksimović, Petar

Publication type:

Article

The Size Impact of Little Iterative Array Resources.

Published in:

Journal of Cellular Automata, 2012, v. 7, n. 5/6, p. 489

By:

KUTRIB, MARTIN;
MALCHER, ANDREAS

Publication type:

Article