Symbolic Modeling of Basic Protocols Systems with Arbitrary Number of Agents
Gespeichert in:
| Datum: | 2013 |
|---|---|
| 1. Verfasser: | S. V. Potiyenko |
| Format: | Artikel |
| Sprache: | Englisch |
| Veröffentlicht: |
2013
|
| Schriftenreihe: | Artificial intelligence |
| Online Zugang: | http://jnas.nbuv.gov.ua/article/UJRN-0000357630 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Library portal of National Academy of Sciences of Ukraine | LibNAS |
Institution
Library portal of National Academy of Sciences of Ukraine | LibNASÄhnliche Einträge
Symbolic modeling of basic protocols systems with arbitrary number of agents
von: Potiyenko, S.V.
Veröffentlicht: (2013)
von: Potiyenko, S.V.
Veröffentlicht: (2013)
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
von: Guba, A.A.
Veröffentlicht: (2014)
von: Guba, A.A.
Veröffentlicht: (2014)
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
von: A. A. Guba
Veröffentlicht: (2014)
von: A. A. Guba
Veröffentlicht: (2014)
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
von: Guba, A.A.
Veröffentlicht: (2025)
von: Guba, A.A.
Veröffentlicht: (2025)
On new symbolic key exchange protocols and cryptosystems based on a hidden tame homomorphism
von: V. A. Ustimenko
Veröffentlicht: (2018)
von: V. A. Ustimenko
Veröffentlicht: (2018)
On new symbolic key exchange protocols and cryptosystems based on a hidden tame homomorphism
von: Ustimenko, V.A.
Veröffentlicht: (2018)
von: Ustimenko, V.A.
Veröffentlicht: (2018)
Efficient Protocol for Distributed Systems
von: M. K. Buza
Veröffentlicht: (2013)
von: M. K. Buza
Veröffentlicht: (2013)
The Principal-Agent Model with an Informative Signal to the Advantage of the Agent
von: I. V. Nykyforchyn
Veröffentlicht: (2019)
von: I. V. Nykyforchyn
Veröffentlicht: (2019)
Superintegrable systems with arbitrary spin
von: A. G. Nikitin
Veröffentlicht: (2013)
von: A. G. Nikitin
Veröffentlicht: (2013)
Superintegrable systems with arbitrary spin
von: A. G. Nikitin
Veröffentlicht: (2013)
von: A. G. Nikitin
Veröffentlicht: (2013)
Exact relativistic maxwellian magnetized plasma dielectric tensor evaluation for arbitrary wave numbers
von: Pavlov, S.S.
Veröffentlicht: (2016)
von: Pavlov, S.S.
Veröffentlicht: (2016)
Intelligent Agent and Multi-Agent systems in manufacturing
von: D. A. Samodurova
Veröffentlicht: (2019)
von: D. A. Samodurova
Veröffentlicht: (2019)
Multi-agent approach to modeling an information and analytical system
von: Dodonov, O. G., et al.
Veröffentlicht: (2016)
von: Dodonov, O. G., et al.
Veröffentlicht: (2016)
Aggregate signature protocol with group Leader
von: H. L. Kozina, et al.
Veröffentlicht: (2021)
von: H. L. Kozina, et al.
Veröffentlicht: (2021)
Berlin protocol in modern space law
von: O. O. Zadorozhnii
Veröffentlicht: (2017)
von: O. O. Zadorozhnii
Veröffentlicht: (2017)
Interface-oriented approach to modelling tools for multi-agent systems
von: Shevchenko, R.S., et al.
Veröffentlicht: (2025)
von: Shevchenko, R.S., et al.
Veröffentlicht: (2025)
Methods of simulation of behavior of agents in multi-agent system “Navigation”
von: Yalovets, A.L.
Veröffentlicht: (2025)
von: Yalovets, A.L.
Veröffentlicht: (2025)
Studies on the DNA sequence data in systematics: general issues and a model protocol
von: O. V. Humovskyi
von: O. V. Humovskyi
Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
von: Iwaniak, M., et al.
Veröffentlicht: (2013)
von: Iwaniak, M., et al.
Veröffentlicht: (2013)
Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
von: Iwaniak, M., et al.
Veröffentlicht: (2013)
von: Iwaniak, M., et al.
Veröffentlicht: (2013)
Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
von: M. Iwaniak, et al.
Veröffentlicht: (2013)
von: M. Iwaniak, et al.
Veröffentlicht: (2013)
Bifurcations in the Basic Models of Multi-Dimensional Systems
von: N. V. Nikitina
Veröffentlicht: (2018)
von: N. V. Nikitina
Veröffentlicht: (2018)
Agent-Oriented Modeling of Stock Market
von: A. O. Prymostka
Veröffentlicht: (2015)
von: A. O. Prymostka
Veröffentlicht: (2015)
Analysis of structured data serialization methods for transfer by the application layer protocol of the OSI model
von: R. B. Andrushchenko, et al.
Veröffentlicht: (2018)
von: R. B. Andrushchenko, et al.
Veröffentlicht: (2018)
Effect of cryopreservation protocols on integrity of human fibroblasts
von: L. G. Abrafikova
Veröffentlicht: (2007)
von: L. G. Abrafikova
Veröffentlicht: (2007)
Ontology and model of information transformation in situational agents' systems
von: Ye. Kovalenko
Veröffentlicht: (2020)
von: Ye. Kovalenko
Veröffentlicht: (2020)
Symbolic enclaves and change of symbolic universums
von: A. Shulga
Veröffentlicht: (2015)
von: A. Shulga
Veröffentlicht: (2015)
Symbolic enclaves and change of symbolic universums
von: O. Shulha
Veröffentlicht: (2015)
von: O. Shulha
Veröffentlicht: (2015)
Simple waveguide model of arbitrary filled plane-plane cavity
von: Anokhov, S.
Veröffentlicht: (2000)
von: Anokhov, S.
Veröffentlicht: (2000)
A Note on BKP for the Kontsevich Matrix Model with Arbitrary Potential
von: Borot, Gaëtan, et al.
Veröffentlicht: (2024)
von: Borot, Gaëtan, et al.
Veröffentlicht: (2024)
Typification of Sustainable Management Systems and Formalization of Their Basic Models
von: V. V. Mykytenko
Veröffentlicht: (2022)
von: V. V. Mykytenko
Veröffentlicht: (2022)
Attractors of Three-dimensional Systems in the Basic Models of Mechanics
von: N. V. Nikitina
Veröffentlicht: (2020)
von: N. V. Nikitina
Veröffentlicht: (2020)
World and cognitive agent behavior and interaction models
von: Ju. A. Prokopchuk
Veröffentlicht: (2013)
von: Ju. A. Prokopchuk
Veröffentlicht: (2013)
Ecological and Forest Policy of Ukraine in the Context of Kyoto Protocol
von: I. M. Syniakevych, et al.
Veröffentlicht: (2009)
von: I. M. Syniakevych, et al.
Veröffentlicht: (2009)
Secure Data Exchange Protocol Development for Special Networks
von: M. I. Ohurtsov
Veröffentlicht: (2019)
von: M. I. Ohurtsov
Veröffentlicht: (2019)
The visitation protocol of the basilian monastery of Letnia in 1764 year
von: Yu. O. Stetsyk, et al.
Veröffentlicht: (2016)
von: Yu. O. Stetsyk, et al.
Veröffentlicht: (2016)
Time-Released Cryptographic Protocol in Peer-to-Peer Network
von: S. A. Honchar
Veröffentlicht: (2015)
von: S. A. Honchar
Veröffentlicht: (2015)
National Forest Policy of Ukraine in the Context of Kyoto Protocol
von: U. P. Babkevych
Veröffentlicht: (2010)
von: U. P. Babkevych
Veröffentlicht: (2010)
Alternative energy: problems of classification and positions of Kioto's protocol
von: Rabinovych M.D.
Veröffentlicht: (2003)
von: Rabinovych M.D.
Veröffentlicht: (2003)
Current situation and problems of Ukraine’s participation in Kyoto protocol
von: Ivanenko N.P.
Veröffentlicht: (2006)
von: Ivanenko N.P.
Veröffentlicht: (2006)
Ähnliche Einträge
-
Symbolic modeling of basic protocols systems with arbitrary number of agents
von: Potiyenko, S.V.
Veröffentlicht: (2013) -
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
von: Guba, A.A.
Veröffentlicht: (2014) -
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
von: A. A. Guba
Veröffentlicht: (2014) -
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
von: Guba, A.A.
Veröffentlicht: (2025) -
On new symbolic key exchange protocols and cryptosystems based on a hidden tame homomorphism
von: V. A. Ustimenko
Veröffentlicht: (2018)