Deductive verification of requirements for event-driven architecture von Letichevsky, A.A., Letichevsky, O.O., Peschanenko, V.S., Guba, A.A.

Volltext

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes von Yatsenko, O.A.

Volltext

Service-oriented, distributed real-time systems in digital libraries von Novitsky, O.V.

Volltext

Partial evaluation in insertion modeling system von Peschanenko, V.S.

Volltext

Semantic web and Wiki-systems von Glibovets, A.M., Glibovets, M.M., Pokopcev, D.E., Sydorenko, M.O.

Volltext

Multiagent models based on fuzzy logic of the highest type for a high-performance environment von Parasyuk, I.N., Ershov, S.V.

Volltext

Software simulator of the pancreas von Grygoryan, R.D., Aksonova, T.V., Mar­ke­vich, R.A., Deryev, I. I.

Volltext

Toolkit for simulation of heterogeneous GPU-based environments von Okonsky, I.V., Doroshenko, A.Yu., Zhe­reb, K.A.

Volltext

Conception of industry scientific software to decision scientific tasks von Lavrischeva, K.M.

Volltext

Technological Model for the Process of Software Automated Production von Slabospitska, O.O.

Volltext

Accelerating algorithms for Bayesian network recovery. Adaptation to structures without cycles von Balabanov, O.S.

Volltext

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation von Goerigk, W., Langmaack, H.

Volltext

Models and methods of analytical support for strategic management decision-making von Ilina, E.P., Sinitsyn, I.P., Slabospitskaya, O.А., Yablokova, T.L.

Volltext

-calculus as a realistic formalization of a class of rewriting systems von Shevchenko, R.S., Doroshenko, A.Yu.

Volltext

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms von Yatsenko, O.A.

Volltext

Formal description of the types and - data structures mixed programmes von Stenyashin, A.Yu.

Volltext

Трансформационный поход к разработке интеллектуальных агентов на основе нечетких моделей von Parasyuk, I.M., Yershov, S.V.

Volltext

Model program, systems and operational environments von Lavrischeva, K.M.

Volltext

Optimization of parallel perceptron for central processing units von Doroshenko, A.Yu., Kosan, O.S.

Volltext

Ontological design of subject domain with problems of e-Science von Zinkovich, V.M.

Volltext