13 серпня 2016 р. виповнюється 80 років відомому українському вченому в галузі інформатики, обчислювальної математики, системного аналізу та математичного моделювання, доктору фізико-математичних наук, професору, директору ...

For a discrete model with tree-like structure, we demonstrate that if a separating variable (a root vertex) is binary, then constraints (like “tetrad difference”) hold. Specifically, when there are four or three manifest ...

Розроблений авторами метод динамічної композиції адаптивного семантичного Веб-сервісу розви- нуто алгоритмами узгодженого застосування спеціальної OWL-S-специфікації контексту його виконання на етапах життєвого циклу та ...

Зафіксовано основні проблеми розроблення сучасних прикладних застосунків. Проаналізовано особливості їх постановок у парадигмах компонентного та сервісного програмування. Підсумовано результати фахівців ІПС НАНУ з опрацювання ...

Статтю присвячено 90-річчю від дня народження академіка НАН України і АН СРСР Віктора Михайловича Глушкова, його внеску в становлення та розвиток Київської школи програмування.

У роботі описано основні напрямки досліджень у сфері побудови моделей автоматизації комп’ютерного розпізнавання сутності цифрового зображення. Введено поняття семантичної моделі зображення та описано реалізацію моделі ...

Широке розповсюдження Інтернету і створення глобальної світової мережі даних (WWW) створило нові засади розробки програм, обумовлені появою, з одного боку, нових викликів і проблем, які ускладнюють розробку, а з іншого, ...

Робота присвячена дослідженню одного з типів вторгнень через мережу Інтернет – атакам на відмову. Описана історія виникнення проблеми та причини, що зумовили її появу. Проведено огляд існуючих видів атак. Розглянута загальна ...