Insertion modeling in distributed system design
The paper describes insertion modeling methodology, its implementation and applications. Insertion modeling is a methodology of model driven distributed system design. It is based on the model of interaction of agents and environments [1-2] and use Basic Protocol Specification Language (BPSL) for th...
Збережено в:
| Дата: | 2026 |
|---|---|
| Автори: | , , , , , , |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2026
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/1013 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |  |
Репозитарії
Problems in programmingСхожі ресурси
Insertion modeling in distributed system design
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2008)
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2008)
Системи біортогональних нелінійних комбінацій експоненціальних функцій
за авторством: Andrusyak, I. V.; Андрусяк І. В.; Національний університет «Львівська політехніка», Львів, та інші
Опубліковано: (2019)
за авторством: Andrusyak, I. V.; Андрусяк І. В.; Національний університет «Львівська політехніка», Львів, та інші
Опубліковано: (2019)
Modification of the family three-point iterative method for refinement of simple roots of monotonic nonsmooth function
за авторством: Шелудько, Г. А., та інші
Опубліковано: (2015)
за авторством: Шелудько, Г. А., та інші
Опубліковано: (2015)
Modification of the family three-point iterative method for refinement of simple roots of monotonic nonsmooth function
за авторством: Шелудько, Г. А., та інші
Опубліковано: (2015)
за авторством: Шелудько, Г. А., та інші
Опубліковано: (2015)
Mathematical modeling of the automobile bodies with the help of R-functions
за авторством: Лисин, Д. А., та інші
Опубліковано: (2013)
за авторством: Лисин, Д. А., та інші
Опубліковано: (2013)
Mathematical modeling of the automobile bodies with the help of R-functions
за авторством: Лисин, Д. А., та інші
Опубліковано: (2013)
за авторством: Лисин, Д. А., та інші
Опубліковано: (2013)
Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
Spline-interlineation in building of optimal by exactness cubature formula for the exact evaluating of 3D Fourier’s coefficients on one differential class
за авторством: Литвин, О. М., та інші
Опубліковано: (2016)
за авторством: Литвин, О. М., та інші
Опубліковано: (2016)
The estimations of error of approaching Fourier's coefficients of two variables by the cubature formula on the class of differentiable functions
за авторством: Литвин, О. М., та інші
Опубліковано: (2016)
за авторством: Литвин, О. М., та інші
Опубліковано: (2016)
The estimations of error of approaching Fourier's coefficients of two variables by the cubature formula on the class of differentiable functions
за авторством: Литвин, О. М., та інші
Опубліковано: (2016)
за авторством: Литвин, О. М., та інші
Опубліковано: (2016)
Spline-interlineation in building of optimal by exactness cubature formula for the exact evaluating of 3D Fourier’s coefficients on one differential class
за авторством: Литвин, О. М., та інші
Опубліковано: (2016)
за авторством: Литвин, О. М., та інші
Опубліковано: (2016)
Screw-Type Symmetry in Machine Components and Design at Implementation on a 3D Printer
за авторством: Sheyko, T. I., та інші
Опубліковано: (2019)
за авторством: Sheyko, T. I., та інші
Опубліковано: (2019)
Screw-Type Symmetry in Machine Components and Design at Implementation on a 3D Printer
за авторством: Sheyko, T. I., та інші
Опубліковано: (2019)
за авторством: Sheyko, T. I., та інші
Опубліковано: (2019)
Constraint programming in insertion modeling system
за авторством: Letichevsky, O.A., та інші
Опубліковано: (2025)
за авторством: Letichevsky, O.A., та інші
Опубліковано: (2025)
APS C++ User's Library
за авторством: Letichevsky, A., та інші
Опубліковано: (2008)
за авторством: Letichevsky, A., та інші
Опубліковано: (2008)
Analytical identification of three-dimensional geometric objects by information about the shape of their cross-sections
за авторством: Литвинова, Ю. С., та інші
Опубліковано: (2017)
за авторством: Литвинова, Ю. С., та інші
Опубліковано: (2017)
Analytical identification of three-dimensional geometric objects by information about the shape of their cross-sections
за авторством: Литвинова, Ю. С., та інші
Опубліковано: (2017)
за авторством: Литвинова, Ю. С., та інші
Опубліковано: (2017)
About one method of retracing on a plane
за авторством: Yalovets, A.L.
Опубліковано: (2025)
за авторством: Yalovets, A.L.
Опубліковано: (2025)
To the problem of pursuit on the plane
за авторством: Yalovets, A.L.
Опубліковано: (2025)
за авторством: Yalovets, A.L.
Опубліковано: (2025)
Methods of simulation of behavior of agents in multi-agent system “Navigation”
за авторством: Yalovets, A.L.
Опубліковано: (2025)
за авторством: Yalovets, A.L.
Опубліковано: (2025)
Problem of creation of groups of agents in prosecution/evasion tasks on a plane
за авторством: Yalovets, A.L.
Опубліковано: (2025)
за авторством: Yalovets, A.L.
Опубліковано: (2025)
About the method of the nearest point as a method of management of strategies of pursuit/evasion of agents
за авторством: Yalovets, A.L.
Опубліковано: (2025)
за авторством: Yalovets, A.L.
Опубліковано: (2025)
Satisfiability For Symbolic Verification in VRS
за авторством: A. Letichevsky, та інші
Опубліковано: (2013)
за авторством: A. Letichevsky, та інші
Опубліковано: (2013)
Satisfiability For Symbolic Verification in VRS
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)
Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2025)
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2025)
Maximal time of pursuit for the strategy of parallel approach
за авторством: Pashko, S.V., та інші
Опубліковано: (2019)
за авторством: Pashko, S.V., та інші
Опубліковано: (2019)
Numerical Methods for Solving the Pursuit Optimization Problems
за авторством: Pashko, C.V., та інші
Опубліковано: (2025)
за авторством: Pashko, C.V., та інші
Опубліковано: (2025)
Simple non-deterministic rewriting in verification
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2026)
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2026)
Insertion semantics of VHDL as electronic design languge
за авторством: O. O. Letychevskyi, та інші
Опубліковано: (2022)
за авторством: O. O. Letychevskyi, та інші
Опубліковано: (2022)
NP-hardness of collective pursuiting optimization problems
за авторством: Pashko, S.V.
Опубліковано: (2025)
за авторством: Pashko, S.V.
Опубліковано: (2025)
Test scenarios generation based on formal model
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2026)
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2026)
Modernization adaptive piecewise linear approximation of difficult-to-compute functions
за авторством: Sheludko, G. A., та інші
Опубліковано: (2018)
за авторством: Sheludko, G. A., та інші
Опубліковано: (2018)
Modernization adaptive piecewise linear approximation of difficult-to-compute functions
за авторством: Sheludko, G. A., та інші
Опубліковано: (2018)
за авторством: Sheludko, G. A., та інші
Опубліковано: (2018)
R-functions in the Analytical Description of the Surface of a Flying Wing Unmanned Aerial Vehicle
за авторством: Sheiko, Tetiana I., та інші
Опубліковано: (2019)
за авторством: Sheiko, Tetiana I., та інші
Опубліковано: (2019)
R-functions in the Analytical Description of the Surface of a Flying Wing Unmanned Aerial Vehicle
за авторством: Sheiko, Tetiana I., та інші
Опубліковано: (2019)
за авторством: Sheiko, Tetiana I., та інші
Опубліковано: (2019)
The mathematical and computer modelling of the building constructions on the R-functions basis
за авторством: Литвинова, Ю. С., та інші
Опубліковано: (2014)
за авторством: Литвинова, Ю. С., та інші
Опубліковано: (2014)
The mathematical and computer modelling of the building constructions on the R-functions basis
за авторством: Литвинова, Ю. С., та інші
Опубліковано: (2014)
за авторством: Литвинова, Ю. С., та інші
Опубліковано: (2014)
Using the R-Functions Theory Apparatus to Mathematically Model the Surface of the Soyuz-Appolo Spacecraft Mock-up for 3D Printing
за авторством: Sheiko, Tetiana I., та інші
Опубліковано: (2020)
за авторством: Sheiko, Tetiana I., та інші
Опубліковано: (2020)
Using the R-Functions Theory Apparatus to Mathematically Model the Surface of the Soyuz-Appolo Spacecraft Mock-up for 3D Printing
за авторством: Sheiko, Tetiana I., та інші
Опубліковано: (2020)
за авторством: Sheiko, Tetiana I., та інші
Опубліковано: (2020)
Problem of modelling of maneuvering of agents in prosecution/evasion tasks on a plane
за авторством: Yalovets, A.L.
Опубліковано: (2017)
за авторством: Yalovets, A.L.
Опубліковано: (2017)