A method for guided search and test scenarios generation in verification of formal models of asynchronous systems by Kolchin, A.V.

Get full text

Insertion modeling in distributed system design by Letichevsky, A.A., Kapitonova, J.V., Kotlyarov, V.P., Letichevsky Jr., A.A., Nikitchenko, N.S., Volkov, V.A., Weigert, T.

Get full text

Approaches and tasks to the composition of services in the semantic web environment by Deretsky, V.A.

Get full text

The models of the quality expert analysis for the decisions made under target programming by Ilyina, E.P.

Get full text

The method for forming a fuzzy logical conclusion with the involvement of an expert committee by Telenik, S.F., Bidyuk, P.I., Korshevnyuk, L.O., Khmelyuk, V.S.

Get full text

Facilities for automation of development of parallel programs on the basis of ontologies and algebra of algorithms by Doroshenko, A.Yu., Yatsenko, E.A.

Get full text

Потокові моделі мережі Інтернет за умов атак на відмову by Andon, P.I., Ignatenko, O.P.

Get full text

The automation of the stages of elaboration and exploitation of the imitation models of transport systems by Maksimey, I.V., Sukach, E.I., Erofeeva, E.А., Giruts, P.V.

Get full text

AI landscape of software engineering by Nesterenko, O.V., Fedorov, V.V., Yatsuk, P.P.

Get full text

Formation of recommendations for critical infrastructure objects based on streaming data, machine learning and artificial intelligence approaches by Huskova, V.G., Shkolnikov, V.I., Lysov, B.S., Khalygov, A.A.

Get full text

An adaptive consistency and parallelism model in distributed databases by Lipatov, D.Yu., Khrypko, S.L.

Get full text

Software system architecture for anthropocentric scheduling of educational workload in higher education institutions by Sytnik, O.O.

Get full text

Simulation and analysis of peer-to-peer robot swarm network by Rahozin, D.V., Smirnov, V.Ye.

Get full text

Analysis of the resilience of an intelligent system for detecting means of unauthorized information access in the face of deliberate interference by Shuklin, G.V., Barabash, O.V., Grebennikov, A.B., Danylov, I.D., Pepa, U.N.

Get full text

Implementation of hot reloading in compiled programming languages by Shcherbak, D.V., Zhereb, K.A.

Get full text

Formal model for verification of personalized educational trajectories based on ALLOY by Poltoratskyi, M.Yu., Volianiuk, A.S.

Get full text

Development of agent recommendation system of virtual university based on JADE by Glybovets, M.M., Konyushenko, O.V.

Get full text

Power of n and nth root of multi-digit numbers based on recurrent relations by Tereshchenko, A.N.

Get full text

Renaissance of actor model application to the development of parallel and distributed systems by Glybovets, M.M., Gorochovskiy, S.S., Zinchuk, S.O., Kravchenko, M.V.

Get full text

Development support system formation and analysis of annual reports of institutions of NAS of Ukraine by Tverdokhlib, Ye.M., Perkonos, P.I., Subotin, S.V.

Get full text