Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Valerie NOVITZKA"'
Publikováno v:
Journal of Applied Mathematics and Computational Mechanics, Vol 23, Iss 2, Pp 79-92 (2024)
Externí odkaz:
https://doaj.org/article/366332ce48d24e02be997ebe49c22dca
Publikováno v:
Symmetry, Vol 14, Iss 3, p 588 (2022)
Communication is one of the most notable processes in a multi-agent system. For this reason, considerable attention is paid to it—from abstract levels presenting theoretical models describing the basic principles to an implementation level with man
Externí odkaz:
https://doaj.org/article/999abe7fb905413cb44853f0982d18b3
Publikováno v:
Mathematics, Vol 9, Iss 18, p 2290 (2021)
Computer network security is an important aspect of computer science. Many researchers are trying to increase security using different methods, technologies, or tools. One of the most common practices is the deployment of an Intrusion Detection Syste
Externí odkaz:
https://doaj.org/article/4a58a3b0ef434cc3b5ce2fdca91248a0
Publikováno v:
Journal of Applied Mathematics and Computational Mechanics, Vol 15, Iss 2, Pp 105-118 (2016)
Externí odkaz:
https://doaj.org/article/b6cf2977f60642b4b7947179213698e3
Publikováno v:
Symmetry, Vol 12, Iss 10, p 1584 (2020)
We present a categorical formalization of a variant of first-order logic. Unlike other texts on this topic, the goal of this paper is to give a very transparent and self-contained account without requiring more background than basic logic and set the
Externí odkaz:
https://doaj.org/article/b9b9cd48ab3c4bd6af8c9e80e57b5200
Publikováno v:
Journal of Applied Mathematics and Computational Mechanics, Vol 14, Iss 1, Pp 27-42 (2015)
Externí odkaz:
https://doaj.org/article/068c492b97a7459bb1589454344c13fd
Autor:
William Steingartner, Valerie Novitzká
Publikováno v:
Journal of Information and Organizational Sciences, Vol 40, Iss 2 (2016)
Definition of programming languages consists of the formal definition of syntax and semantics. One of the most popular semantic methods used in various stages of software engineering is structural operational semantics. It describes program behavior
Externí odkaz:
https://doaj.org/article/d4fae8e772344ab4b3d0833c319904a1
Publikováno v:
Acta Electrotechnica et Informatica, Vol 17, Iss 2, Pp 3-10 (2017)
Formal methods and formal models are important tools in software engineering. Formal methods provide unambiguous meaning of programs written in some language or constructed from modules. Moreover, they provide the basic mathematical techniques neces
Externí odkaz:
https://doaj.org/article/5390b5bf96e2477fbdb41a099f4d7fae
Autor:
William Steingartner, Valerie Novitzká
Publikováno v:
Journal of Applied Mathematics and Computational Mechanics, Vol 16, Iss 2, Pp 145-157 (2017)
Externí odkaz:
https://doaj.org/article/8e30a697c1514d47bf83ce694c3964b7
Publikováno v:
Journal of Applied Mathematics and Computational Mechanics, Vol 14, Iss 1, Pp 91-100 (2015)
Externí odkaz:
https://doaj.org/article/495f6f4ae5fb41489be0ae50ec12e62b