Buchumschlag

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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2026
Hauptverfasser:	Letichevsky, A.A., Kapitonova, J.V., Kotlyarov, V.P., Letichevsky Jr., A.A., Nikitchenko, N.S., Volkov, V.A., Weigert, T.
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2026
Schlagworte:	UDC 623/518.3/517.5
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/1013
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Insertion modeling in distributed system design
von: Letichevsky, A.A., et al.
Veröffentlicht: (2008)

Системи біортогональних нелінійних комбінацій експоненціальних функцій
von: Andrusyak, I. V.; Андрусяк І. В.; Національний університет «Львівська політехніка», Львів, et al.
Veröffentlicht: (2019)

Modification of the family three-point iterative method for refinement of simple roots of monotonic nonsmooth function
von: Шелудько, Г. А., et al.
Veröffentlicht: (2015)

Modification of the family three-point iterative method for refinement of simple roots of monotonic nonsmooth function
von: Шелудько, Г. А., et al.
Veröffentlicht: (2015)

Mathematical modeling of the automobile bodies with the help of R-functions
von: Лисин, Д. А., et al.
Veröffentlicht: (2013)

Mathematical modeling of the automobile bodies with the help of R-functions
von: Лисин, Д. А., et al.
Veröffentlicht: (2013)

Static method of consistency and completeness checking in formal model of distributed software systems
von: Kolchin, A.V., et al.
Veröffentlicht: (2025)

Spline-interlineation in building of optimal by exactness cubature formula for the exact evaluating of 3D Fourier’s coefficients on one differential class
von: Литвин, О. М., et al.
Veröffentlicht: (2016)

The estimations of error of approaching Fourier's coefficients of two variables by the cubature formula on the class of differentiable functions
von: Литвин, О. М., et al.
Veröffentlicht: (2016)

The estimations of error of approaching Fourier's coefficients of two variables by the cubature formula on the class of differentiable functions
von: Литвин, О. М., et al.
Veröffentlicht: (2016)

Spline-interlineation in building of optimal by exactness cubature formula for the exact evaluating of 3D Fourier’s coefficients on one differential class
von: Литвин, О. М., et al.
Veröffentlicht: (2016)

Screw-Type Symmetry in Machine Components and Design at Implementation on a 3D Printer
von: Sheyko, T. I., et al.
Veröffentlicht: (2019)

Screw-Type Symmetry in Machine Components and Design at Implementation on a 3D Printer
von: Sheyko, T. I., et al.
Veröffentlicht: (2019)

Constraint programming in insertion modeling system
von: Letichevsky, O.A., et al.
Veröffentlicht: (2025)

APS C++ User's Library
von: Letichevsky, A., et al.
Veröffentlicht: (2008)

Analytical identification of three-dimensional geometric objects by information about the shape of their cross-sections
von: Литвинова, Ю. С., et al.
Veröffentlicht: (2017)

Analytical identification of three-dimensional geometric objects by information about the shape of their cross-sections
von: Литвинова, Ю. С., et al.
Veröffentlicht: (2017)

About one method of retracing on a plane
von: Yalovets, A.L.
Veröffentlicht: (2025)

To the problem of pursuit on the plane
von: Yalovets, A.L.
Veröffentlicht: (2025)

Methods of simulation of behavior of agents in multi-agent system “Navigation”
von: Yalovets, A.L.
Veröffentlicht: (2025)

Problem of creation of groups of agents in prosecution/evasion tasks on a plane
von: Yalovets, A.L.
Veröffentlicht: (2025)

About the method of the nearest point as a method of management of strategies of pursuit/evasion of agents
von: Yalovets, A.L.
Veröffentlicht: (2025)

Satisfiability For Symbolic Verification in VRS
von: A. Letichevsky, et al.
Veröffentlicht: (2013)

Satisfiability For Symbolic Verification in VRS
von: Letichevsky, A., et al.
Veröffentlicht: (2013)

Deductive verification of requirements for event-driven architecture
von: Letichevsky, A.A., et al.
Veröffentlicht: (2025)

Maximal time of pursuit for the strategy of parallel approach
von: Pashko, S.V., et al.
Veröffentlicht: (2019)

Numerical Methods for Solving the Pursuit Optimization Problems
von: Pashko, C.V., et al.
Veröffentlicht: (2025)

Simple non-deterministic rewriting in verification
von: Letichevsky, A.A., et al.
Veröffentlicht: (2026)

Insertion semantics of VHDL as electronic design languge
von: O. O. Letychevskyi, et al.
Veröffentlicht: (2022)

NP-hardness of collective pursuiting optimization problems
von: Pashko, S.V.
Veröffentlicht: (2025)

Test scenarios generation based on formal model
von: Letichevsky, A.A., et al.
Veröffentlicht: (2026)

Modernization adaptive piecewise linear approximation of difficult-to-compute functions
von: Sheludko, G. A., et al.
Veröffentlicht: (2018)

Modernization adaptive piecewise linear approximation of difficult-to-compute functions
von: Sheludko, G. A., et al.
Veröffentlicht: (2018)

R-functions in the Analytical Description of the Surface of a Flying Wing Unmanned Aerial Vehicle
von: Sheiko, Tetiana I., et al.
Veröffentlicht: (2019)

R-functions in the Analytical Description of the Surface of a Flying Wing Unmanned Aerial Vehicle
von: Sheiko, Tetiana I., et al.
Veröffentlicht: (2019)

The mathematical and computer modelling of the building constructions on the R-functions basis
von: Литвинова, Ю. С., et al.
Veröffentlicht: (2014)

The mathematical and computer modelling of the building constructions on the R-functions basis
von: Литвинова, Ю. С., et al.
Veröffentlicht: (2014)

Using the R-Functions Theory Apparatus to Mathematically Model the Surface of the Soyuz-Appolo Spacecraft Mock-up for 3D Printing
von: Sheiko, Tetiana I., et al.
Veröffentlicht: (2020)

Using the R-Functions Theory Apparatus to Mathematically Model the Surface of the Soyuz-Appolo Spacecraft Mock-up for 3D Printing
von: Sheiko, Tetiana I., et al.
Veröffentlicht: (2020)

Problem of modelling of maneuvering of agents in prosecution/evasion tasks on a plane
von: Yalovets, A.L.
Veröffentlicht: (2017)