Filters
Unified Syntax for Abstract State Machines
The paper presents our efforts in defining UASM, a unified syntax for Abstract State Machines (ASMs), based on the syntaxes of two of the main ASM frameworks, CoreASM and ASMETA, which have been adapted to accept UASM as in...
IN - Informatika
- 2016 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
AsmetaVis - Asmeta Visualizer
The tool provides a visual notation for Abstract State Machines (ASMs). The basic visualization visualizes the structure of ASM transition rules is shown. The semantic visualization allows to visualize part of the behavior ...
IN - Informatika
- 2016 •
- R •
- Link
Rok uplatnění
R - Software
Výsledek na webu
AsmRefProver - Asmeta Refinement correctness Prover
Model refinement is one of the main concepts which the Abstract State Machine (ASM) formal method is built on. The tool automatically checks refinement correctness by using an SMT representation of the ASM models....
IN - Informatika
- 2016 •
- R •
- Link
Rok uplatnění
R - Software
Výsledek na webu
Visual notation and patterns for Abstract State Machines
notation for Abstract State Machines (ASMs), and we introduce visual trees that permit to visualize part of the behavior of the machine. A tool is also available......
IN - Informatika
- 2016 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Machine milking and its influence on temperature states of udder. Abstract.
Annotation not available...
BD - Teorie informace
- 2000 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Finite State Machines Play Extensive-Form Games
Finite state machines are a well-known representation of strategies in (in)finitely repeated or stochastic games. Actions of players correspond to states in the machine and the transition between machine-<...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
An Approach to Knowledge Exchange and Sharing between Agents
between abstract systems (agents). Finite state machines (FSM) are used both as the formalism of knowledge and communication. Some machines acquire procedural knowledge fully describe both the procedural knowledge...
JC - Počítačový hardware a software
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
How to assure correctness and safety of medical software: the Hemodialysis Machine Case Study
. The process is based on the Abstract State Machine formal method and its model refinement takes advantage of the Hemodialysis machine case study to present a formal......
IN - Informatika
- 2016 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
MAL (Model Abstraction Layer) - Data Compiler
Software is an interface between formal specification of the automata diagram and the interpretation for the purpose of the real-time operating system....
JC - Počítačový hardware a software
- 2009 •
- R
Rok uplatnění
R - Software
Machine-learning abstractions for component-based self-optimizing systems
This paper features an approach that combines machine-learning abstractions the machine-learning abstractions into our ensemble-based component model DEECo. We further endow the DEECo component model with abstr...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
- 1 - 10 out of 124 364