Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Проблеми програмування за назвою

Репозиторій DSpace/Manakin

Перегляд Проблеми програмування за назвою

Сортувати за: Порядок: Результатів:

  • Realistic correct systems implementation 
    Goerigk, Wolfgang; Langmaack, Hans (2003)
    Подана перша частина статті і наступна її друга частина присвячені методам коректної побудови і функціонування великих комп'ютерних систем. У центрі уваги – проблема обґрунтування, що подається в сенсі формулювання ...
  • Reputation-based secyrity for heterogtneous structurally complex systems 
    Kussul, O.M. (Проблеми програмування, 2012)
    In this paper we present the service-oriented infrastructure within the Wide Area Grid (WAG) project that was carried out within the Working Group on Information Systems and Services of the Committee on Earth Observation ...
  • Research and development workstation environment: the new class of Current Research Information Systems 
    Palagin, O.V.; Velychko, V.Yu.; Malakhov, K.S.; Shchurov, O.S. (Проблеми програмування, 2018)
    Against the backdrop of the development of modern technologies in the field of scientific research, the new class of Current Research Information Systems (CRIS) and related intelligent information technologies have arisen. ...
  • Research on methods of building an interactive map in a web application 
    Katerynych, L.O.; Sazonov, N.V. (Проблеми програмування, 2022)
    The purpose of this article is to formulate a list of rules for creating an efficient and convenient informational system for vicinity and building navigation and to create a web-app with this functionality. To accomplish ...
  • Research trends in high performance Parallel Input/Output for cluster environments 
    Ludwig, T. (2004)
    Parallel input/output in high performance computing is a field of increasing importance. In particular with compute clusters we see the concept of replicated resources being transferred to I/O issues. Consequently, we ...
  • Security basic model for applied tasks of the distributed information system 
    Rodin, Y.S.; Sinitsyn, I.P. (Проблеми програмування, 2021)
    The tasks of modelling and the components of the basic model of applied task protection of a distributed information system have been considered. The measurement and relationship of security parameters, protection, new and ...
  • Semantic alignment of ontologies meaningful categories with the generalization of descriptive structures 
    Manziuk, E.A.; Barmak, O.V.; Krak, Iu.V.; Pasichnyk, O.A.; Radiuk, P.M.; Mazurets, O.V. (Проблеми програмування, 2022)
    The presented work addresses the issue of semantic alignment of ontology components with a generalized structured corpus. The field of research refers to the sphere of determining the features of trust in artificial ...
  • Semantics and pragmatics of programming language ASAMPL 
    Sulema, Ye.; Glinskii, V. (Проблеми програмування, 2020)
    This paper presents semantics and practical implementation of the domain-specific programming language ASAMPL. This programming language has been developed to support the efficient processing of multimodal data processing, ...
  • Semantic web как новая модель информационного пространства интернет 
    Андон, Ф.И.; Гришанова, И.Ю.; Резниченко, В.А. (2008)
    Описаны базовые концепции и архитектура Semantic Web, а также положение дел по разработке данного проекта по состоянию на конец 2007 года. Выделены проблемы, которые стоят перед мировым сообществом для дальнейшего развития ...
  • Simple non-deterministic rewriting in verification 
    Letichevsky, A.; Peschanenko, V. (2010)
    Abstract. We discuss the non-deterministic rewriting in application for engine functions of Verification of Formal Specification (VFS) system in this paper. VFS – are tools to prove properties of systems described as formal ...
  • Simulations of human hemodynamic responses to blood temperature and volume changes 
    Grygoryan, R.D.; Degoda, A.G.; Lyudovyk, T.V.; Yurchak, O.I. (Проблеми програмування, 2023)
    An advanced version (AV) of special software based on modified quantitative models of mechanisms that provide the overall control of human circulation is proposed. AV essentially expands the range of tasks concerning the ...
  • Software engineering and big data software 
    Sydorov, M.O.; Sydorova, N.M. (Проблеми програмування, 2022)
    Software engineering is a mature industry of human activity focused on the creation, deployment, marketing and maintenance of software. The fundamental concepts of engineering are life cycle model; three main components ...
  • Software engineering ontologies categorization 
    Sydorov, N.A.; Sydorova, N.N.; Mendzebrovsky, I.B. (Проблеми програмування, 2018)
    Software engineering is an own scientific and practice aria with an own structure, terminology, products, processes and resources. The software product is a knowledge-based product and it is the result of the knowledge-based ...
  • The software system for modelling gas-dynamic parameters of the opencast atmosphere 
    Zberovsky, A.V.; Goman, O.G.; Zadornova, V.V.; Kharytonov, M.M. (2006)
    The local meteorological elements are connected with technical, economic and social parameters of the opencast atmosphere. The goal of this paper is the realization of methods and the developing of software for the ...
  • Solving contest problems via formal program verification 
    Shilov, N.V.; Shilova, S.O. (2010)
    The interface between mathematics and computer science is many-sided. In particular, E.W. Dijkstra promoted a special “computer science” approach to mathematics problem solving. The approach combines a heuristic algorithm ...
  • Specialized software for simulating the multiple control and modulations of human hemodynamics 
    Grygoryan, R.D.; Yurchak, O.I.; Degoda, A.G.; Lyudovyk, T.V. (Проблеми програмування, 2021)
    Most models of human hemodynamics describe only a small part of physiological mechanisms that directly or indirectly alter activities of the heart pump and vascular tones. Therefore, a very narrow range of tasks related ...
  • Specific features of the use of artificial intelligence in the development of the architecture of intelligent fault-tolerant radar systems 
    Коsovets, M.; Tovstenko, L. (Проблеми програмування, 2021)
    The problem of architecture development of modern radar systems using artificial intelligence technology is considered. The main difference is the use of a neural network in the form of a set of heterogeneous neuromultim ...
  • A Support tool for the reachability and other petri nets- related problems and formal design and analysis of discrete systems 
    Hudak, S.; Korecko, S.; Simonak, S. (2008)
    Annotation. In this paper we deal with the PNtool - a tool for a design, analysis and development of concurrent and time-critical systems specified using the Petri nets (PN) formalism. The PNtool supports four Petri nets ...
  • Table interpretation of the temporal description logic LTLALC 
    Reznichenko, V.A.; Chystiakova, I.S. (Проблеми програмування, 2022)
    Description logics are widely used to describe and represent knowledge in the Semantic Web. This is a modern and powerful mechanism that provides the possibility of extracting knowledge from already existing ones. Thanks ...
  • Technological trends & software engineering education: a systematic review study 
    Nesterenko, O.V. (Проблеми програмування, 2022)
    The quality of software engineering education is influenced by the consideration of modern industrial trends, IT trends and software development methodologies. The transition to a new level of industry - “Industry 4.0”, ...

Пошук


Розширений пошук

Перегляд

Мій обліковий запис