Found: 12
Select item for more details and to access through your institution.
An Improved Abstract State Machine Based Choreography Specification and Execution Algorithm for Semantic Web Services.
- Published in:
- Scientific Programming, 2018, p. 1, doi. 10.1155/2018/4094951
- By:
- 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:
- Publication type:
- Article
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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
An ASM-based Model for Grid Job Management.
- Published in:
- Informatica (03505596), 2013, v. 37, n. 3, p. 295
- By:
- 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:
- 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:
- Publication type:
- Article