ISS Library

Year: 2005

Number of items: 35.

Article

Pistore M. and Traverso P. and Bertoli P. and Marconi A. (2005) ПІДХІД ДЛЯ АВТОМАТИЗОВАНОЇ КОМПОЗИЦІЇ BPEL ПРОЦЕСІВ / ПЕРЕКЛАД СТАТТІ «AN APPROACH FOR THE AUTOMATED COMPOSITION OF BPEL PROCESSES» (ПЕРЕКЛАД РЕМАРОВИЧ С.). (Unpublished)

Грищенко В.М. (2005) КОМПОНЕНТНО-ОРІЄНТОВАНИЙ ПІДХІД ДО РОЗРОБКИ ПРОГРАМНИХ СИСТЕМ НА ОСНОВІ ІНТЕГРАЦІЇ МЕНЕДЖЕРІВ ІНФОРМАЦІЙНИХ РЕСУРСІВ. Проблеми програмування (1). pp. 3-13.

Анисимов А.В. and Зубенко А.В. (2005) ДИНАМИЧЕСКИЕ КОАЛИЦИИ — НОВАЯ ПАРАДИГМА В ОБЛАСТИ РАСПРЕДЕЛЕННЫХ КОМПЬЮТЕРНО-КОММУНИКАЦИОННЫХ СИСТЕМ. Проблеми програмування (1). pp. 51-68.

Верёвка О.В. and Кузьмина К.И. and Сёмик Т.М. (2005) БАЙЕСОВСКОЕ ПРОГНОЗИРОВАНИЕ ЭФФЕКТИВНОСТИ ДЕЯТЕЛЬНОСТИ ОПЕРАТОРА ПО СОЦИОПСИХО-ФИЗИО-ЛОГИЧЕСКИМ ХАРАКТЕРИСТИКАМ СТРУКТУРЫ ЛИЧНОСТИ. Проблеми програмування (1). pp. 69-84. ISSN 1727-4907

Дорошенко А.Е. and Алистратов О.В. and Тырчак Ю.М. and Розенблат А.П. (2005) СИСТЕМЫ GRID-ВЫЧИСЛЕНИЙ — ПЕРСПЕКТИВА ДЛЯ НАУЧНЫХ ИССЛЕДОВАНИЙ. Проблеми програмування (1). pp. 14-38.

Левчук В.Д. (2005) БАЗОВАЯ СХЕМА ФОРМАЛИЗАЦИИ СИСТЕМЫ МОДЕЛИРОВАНИЯ MICIC4. Проблеми програмування (1). pp. 85-95. ISSN 1727-4907

Рачковский Д.А. and Мисуно И.С. and Слипченко С.В. and Соколов А.М. (2005) ПОИСК АНАЛОГОВ С ПОМОЩЬЮ РАСПРЕДЕЛЕННЫХ ПРЕДСТАВЛЕНИЙ. Проблеми програмування (1). pp. 39-50.

Алексеєв В.А. and Ільїн С.А and Терещенко В.С. and Ференц Д.А. (2005) РЕІНЖЕНІРІНГ БАЗ ДАНИХ ІНФОРМАЦІЙНИХ СИСТЕМ З РОЗГАЛУЖЕНОЮ МЕРЕЖЕЮ ПУНКТІВ ЗБОРУ ПЕРВИННОЇ ІНФОРМАЦІЇ. Проблеми програмування (2). pp. 3-14. ISSN 1727-4907

Бабич В.І. and Перевертун І.М. (2005) ПОРІВНЯЛЬНИЙ АНАЛІЗ ІСНУЮЧИХ ПІДХОДІВ ДО ІНТЕРАКТИВНОГО ОРГАНІЗАЦІЙНО-ТЕХНОЛОГІЧНОГО МОДЕЛЮВАННЯ БУДІВЕЛЬНОГО ВИРОБНИЦТВА. Проблеми програмування (2). pp. 52-63. ISSN 1727-4907

Верьовка О.В. (2005) ЛІНІЙНА ІНТЕРПОЛЯЦІЙНА ПРОЦЕДУРА ОБЧИСЛЕННЯ НЕЧІТКИХ БАЙЄСІВСЬКИХ ОЦІНОК. Проблеми програмування (2). pp. 64-78. ISSN 1727-4907

Коваль Г.І. (2005) БАЙЄСІВСЬКІ МЕРЕЖІ ЯК ЗАСІБ ОЦІНЮВАННЯ ТА ПРОГНОЗУВАННЯ ЯКОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ. Проблеми програмування (2). pp. 15-24. ISSN 1727-4907

Максимей И. В. and Смородин В. С. and Сукач Е. И. and Соболь И. В. (2005) СИСТЕМА АВТОМАТИЗАЦИИ МОДЕЛИРОВАНИЯ ВЕРОЯТНОСТНЫХ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ, РЕАЛИЗУЮЩАЯ АГРЕГАТНЫЙ СПОСОБ ИМИТАЦИИ. Проблеми програмування (2). pp. 79-87. ISSN 1727-4907

Терейковський І.А. (2005) ЗАХИЩЕНІСТЬ WEB-СЕРВЕРІВ APACHE ТА IIS. Проблеми програмування (2). pp. 42-51. ISSN 1727-4907

Антонюк А.А. (2005) О ФУНКЦИЯХ ЗАЩИТЫ ИНФОРМАЦИИ. Проблеми програмування (3). pp. 97-103. ISSN 1727-4907

Дерецький В.О. (2005) ПІДХІД ДО АВТОМАТИЧНОЇ ПОБУДОВИ ТЕМАТИЧНОЇ ОНТОЛОГІЇ ДОКУМЕНТА ДЛЯ УДОСКОНАЛЕННЯ ІНФОРМАЦІЙНОГО ПОШУКУ. Проблеми програмування (3). pp. 76-82. ISSN 1727-4907

Зинькович В.М. and Моренцов Е.И. (2005) СОЗДАНИЕ МЕТОДОЛОГИИ ПРОЭКТИРОВАНИЯ CASE-СРЕД НА БАЗЕ СИТУАЦИОННОГО МЕТОДА. Проблеми програмування (3). pp. 26-34. ISSN 1727-4907

Коваль Г.І. (2005) ОСНОВНІ ЗАДАЧІ ПІДТРИМКИ ПРИЙНЯТТЯ РІШЕНЬ В ІНЖЕНЕРІЇ НАДІЙНОСТІ ПРОГРАМНИХ СИСТЕМ. Проблеми програмування (3). pp. 35-41. ISSN 1727-4907

Лаба М.Н. and Матвейшин С.Н. (2005) НЕКОТОРЫЕ АСПЕКТЫ РАЗРАБОТКИ И ДАЛЬНЕЙШЕГО РАЗВИТИЯ ИНСТРУМЕНТАЛЬНЫХ СРЕДСТВ УПРАВЛЕНИЯ ТРЕБОВАНИЯМИ ПРИ СОЗДАНИИ СЛОЖНЫХ ПРОГРАМНЫХ СИСТЕМ. Проблеми програмування (3). pp. 42-52. ISSN 1727-4907

Маторин С.И. (2005) «UFO-TOOLKIT» – BI-ИНСТРУМЕНТАРИЙ НОВОГО ПОКОЛЕНИЯ. Проблеми програмування (3). pp. 53-66. ISSN 1727-4907

Редько И.В. (2005) ПРАГМАТИЧЕСКИЕ ОСНОВАНИЯ ДЕСКРИПТИВНЫХ СРЕД. Проблеми програмування (3). pp. 3-25. ISSN 1727-4907

Рогушина Ю.В. and Гришанова И.Ю. (2005) ПОШУК МУЛЬТИМЕДІЙНИХ ОБ’ЄКТІВ ЗА КОНТЕКСТОМ ТА МЕТАОПИСАМИ ГІПЕРМЕДІЙНИХ ІНФОРМАЦІЙНИХ РЕСУРСІВ. Проблеми програмування (3). pp. 83-96. ISSN 1727-4907

Стрєлов І.А. and Ігнатенко П.П. (2005) ІДЕНТИФІКАЦІЯ ТА ВІДОБРАЖЕННЯ ФУНКЦІОНАЛЬНИХ ЕЛЕМЕНТІВ FPA-МЕТОДУ В UML-МОДЕЛІ СТВОРЮВАНОЇ СИСТЕМИ ДЛЯ ОЦІНЮВАННЯ ЇЇ ЕКОНОМІЧНИХ ХАРАКТЕРИСТИК. Проблеми програмування (3). pp. 67-75. ISSN 1727-4907

Chapyzhenka A. V. and Ragozin D.V. and Umnov A.L. (2005) LOW-POWER ARCHITECTURE FOR CIL-CODE HARDWARE PROCESSOR. Проблеми програмування (4). pp. 20-38. ISSN 1727-4907

Биляк В.И. (2005) МЕТОДОЛОГИЯ ВВЕДЕНИЯ КОЛИЧЕСТВЕННОГО АНАЛИЗА В ЯЗЫК ОПИСАНИЙ И СПЕЦИФИКАЦИЙ ТРЕБОВАНИЙ К АЛГОРИТМАМ ПРОТОКОЛОВ ИНТЕЛЛЕКТУАЛЬНЫХ СЕТЕЙ. Проблеми програмування (4). pp. 73-83. ISSN 1727-4907

Ильина Е.П. and Слабоспицкая О.А. (2005) ФОРМЫ, МЕТРИКИ И СВОЙСТВА ОТНОШЕНИЯ СХОДСТВА МЕЖДУ КОНЦЕПТАМИ В ОНТОЛОГИЯХ ЭКСПЕРТНЫХ ТОЧЕК ЗРЕНИЯ. Проблеми програмування (4). pp. 39-49. ISSN 1727-4907

Летичевский А.А. (2005) ОБ ОДНОМ КЛАССЕ БАЗОВЫХ ПРОТОКОЛОВ. Проблеми програмування (4). pp. 3-19. ISSN 1727-4907

Максимей И.В. and Гончаров А.Н. and Гируц П.Л. and Смородин В. С. (2005) ВОЗМОЖНОСТИ АГРЕГАТНОЙ СИСТЕМЫ МОДЕЛИРОВАНИЯ ВЕРОЯТНОСТНЫХ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ ПРОИЗВОДСТВА. Проблеми програмування (4). pp. 84-94. ISSN 1727-4907

Мисуно И.С. and Рачковский Д.А. and Слипченко С.В. and Соколов А.М. (2005) ПОИСК ТЕКСТОВОЙ ИНФОРМАЦИИ С ПОМОЩЬЮ ВЕКТОРНЫХ ПРЕДСТАВЛЕНИЙ. Проблеми програмування (4). pp. 50-59. ISSN 1727-4907

Резніченко В.А. and Захарова О.В. and Захарова Е.Г. (2005) ЕЛЕКТРОННІ БІБЛІОТЕКИ: ІНФОРМАЦІЙНІ РЕСУРСИ ТА СЕРВІСИ. Проблеми програмування (4). pp. 60-72. ISSN 1727-4907

Сидорчук Н.М. (2005) ТЕХНОЛОГІЧНІ АСПЕКТИ РЕАЛІЗАЦІЇ ОНЛАЙНОВОЇ ЛЕКСИКОГРАФІЧНОЇ СИСТЕМИ „СЛОВНИКИ УКРАЇНИ”. Проблеми програмування (4). pp. 95-105. ISSN 1727-4907

Conference or Workshop Item

Pistore M. and Traverso P. and Bertoli P. and Marconi A. (2005) АВТОМАТИЗОВАНИЙ СИНТЕЗ КОМПОЗИТНИХ BPEL4WS ВЕБ-СЕРВІСІВ. ПЕРЕКЛАД СТАТТІ «AUTOMATED SYNTHESIS OF COMPOSITE BPEL4WS WEB SERVICES» (ПЕРЕКЛАД РЕМАРОВИЧ С.). In: Proceedings. 2005 IEEE International Conference on Web Service.

Other

Pistore Marco and Traverso Paolo (2005) ТЕОРЕТИЧНА ІНТЕГРАЦІЯ ВЕБ-СЕРВІСІВ ВИЯВЛЕННЯ І КОМПОЗИЦІЇ / D2.4.6. A THEORETICAL INTEGRATION OF WEB SERVICE DISCOVERY AND COMPOSITION (ПЕРЕКЛАД РЕМАРОВИЧ С.). The document is part of research project funded by the IST Programme of the Commission of the European Communities as project IST-2004-507482.

Thesis

Коваль Г.І. (2005) МОДЕЛІ І МЕТОДИ ІНЖЕНЕРІЇ ЯКОСТІ ПРОГРАМНИХ СИСТЕМ НА РАННІХ СТАДІЯХ ЖИТТЄВОГО ЦИКЛУ. PhD, Інституті програмних систем НАНУ.

Коротун Т.М. (2005) МОДЕЛІ І МЕТОДИ ІНЖЕНЕРІЇ ТЕСТУВАННЯ ПРОГРАМНИХ СИСТЕМ В УМОВАХ ОБМЕЖЕНИХ РЕСУРСІВ. PhD, Інституті програмних систем НАНУ.

Яценко О.А. (2005) РОЗРОБКА ІНТЕГРОВАНИХ АЛГЕБРО-АЛГОРИТМІЧНИХ МОДЕЛЕЙ: ЕЛЕМЕНТИ ТЕОРІЇ, ІНСТРУМЕНТАРІЙ, ЗАСТОСУВАННЯ. PhD, Інститут програмних систем НАНУ.

This list was generated on Sat Dec 20 01:04:42 2014 EET.