Зображення обкладинки

Symbolic Modeling of Basic Protocols Systems with Arbitrary Number of Agents

Збережено в:

Бібліографічні деталі
Дата:	2013
Автор:	S. V. Potiyenko
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2013
Назва видання:	Artificial intelligence
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0000357630
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

Схожі ресурси

Symbolic modeling of basic protocols systems with arbitrary number of agents
за авторством: Potiyenko, S.V.
Опубліковано: (2013)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством: A. A. Guba
Опубліковано: (2014)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством: Guba, A.A.
Опубліковано: (2025)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством: Guba, A.A.
Опубліковано: (2014)

On new symbolic key exchange protocols and cryptosystems based on a hidden tame homomorphism
за авторством: V. A. Ustimenko
Опубліковано: (2018)

Efficient Protocol for Distributed Systems
за авторством: M. K. Buza
Опубліковано: (2013)

Exact relativistic maxwellian magnetized plasma dielectric tensor evaluation for arbitrary wave numbers
за авторством: Pavlov, S.S.
Опубліковано: (2016)

Superintegrable systems with arbitrary spin
за авторством: A. G. Nikitin
Опубліковано: (2013)

Superintegrable systems with arbitrary spin
за авторством: A. G. Nikitin
Опубліковано: (2013)

The Principal-Agent Model with an Informative Signal to the Advantage of the Agent
за авторством: I. V. Nykyforchyn
Опубліковано: (2019)

Intelligent Agent and Multi-Agent systems in manufacturing
за авторством: D. A. Samodurova
Опубліковано: (2019)

Multi-agent approach to modeling an information and analytical system
за авторством: Dodonov, O. G., та інші
Опубліковано: (2016)

Berlin protocol in modern space law
за авторством: O. O. Zadorozhnii
Опубліковано: (2017)

Aggregate signature protocol with group Leader
за авторством: H. L. Kozina, та інші
Опубліковано: (2021)

Studies on the DNA sequence data in systematics: general issues and a model protocol
за авторством: O. V. Humovskyi

Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
за авторством: Iwaniak, M., та інші
Опубліковано: (2013)

Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
за авторством: M. Iwaniak, та інші
Опубліковано: (2013)

Methods of simulation of behavior of agents in multi-agent system “Navigation”
за авторством: Yalovets, A.L.
Опубліковано: (2025)

Interface-oriented approach to modelling tools for multi-agent systems
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2025)

Effect of cryopreservation protocols on integrity of human fibroblasts
за авторством: L. G. Abrafikova
Опубліковано: (2007)

Analysis of structured data serialization methods for transfer by the application layer protocol of the OSI model
за авторством: R. B. Andrushchenko, та інші
Опубліковано: (2018)

Agent-Oriented Modeling of Stock Market
за авторством: A. O. Prymostka
Опубліковано: (2015)

Symbolic enclaves and change of symbolic universums
за авторством: A. Shulga
Опубліковано: (2015)

Symbolic enclaves and change of symbolic universums
за авторством: O. Shulha
Опубліковано: (2015)

Ontology and model of information transformation in situational agents&#039; systems
за авторством: Ye. Kovalenko
Опубліковано: (2020)

Bifurcations in the Basic Models of Multi-Dimensional Systems
за авторством: N. V. Nikitina
Опубліковано: (2018)

Secure Data Exchange Protocol Development for Special Networks
за авторством: M. I. Ohurtsov
Опубліковано: (2019)

The visitation protocol of the basilian monastery of Letnia in 1764 year
за авторством: Yu. O. Stetsyk, та інші
Опубліковано: (2016)

Time-Released Cryptographic Protocol in Peer-to-Peer Network
за авторством: S. A. Honchar
Опубліковано: (2015)

Ecological and Forest Policy of Ukraine in the Context of Kyoto Protocol
за авторством: I. M. Syniakevych, та інші
Опубліковано: (2009)

National Forest Policy of Ukraine in the Context of Kyoto Protocol
за авторством: U. P. Babkevych
Опубліковано: (2010)

Simplified mathematical model of three-dimensional electromagnetic field of arbitrary current system near conducting body
за авторством: Yu. M. Vasetskyi
Опубліковано: (2020)

Protocol of performing various types of surgical interventions in acute cholangitis
за авторством: V. A. Vovk
Опубліковано: (2019)

Analysis of data loss in information systems which use Modbus RTU protocol for data transfer
за авторством: B. S. Stohnii, та інші
Опубліковано: (2015)

World and cognitive agent behavior and interaction models
за авторством: Ju. A. Prokopchuk
Опубліковано: (2013)

Typification of Sustainable Management Systems and Formalization of Their Basic Models
за авторством: V. V. Mykytenko
Опубліковано: (2022)

Cyclicity of Control Operations on an Arbitrary Modulus
за авторством: Mаtоv, О. Ya., та інші
Опубліковано: (2013)

The protocols of the Committee of the Ukrainian Centralna Rada (April, 1917 r.)
за авторством: O. Kudlai
Опубліковано: (2013)

Sritical care COVID-19 management protocol: Slinical case
за авторством: M. Cherkes, та інші
Опубліковано: (2020)

Development of Systematic Parameter Optimization for Cryopreservation Protocols for Cellular Suspensions
за авторством: N. Khofmann, та інші
Опубліковано: (2011)