Вы здесь

Главная

распределенная система

Связанные издания:

Верификация раскрашенных сетей Петри методом проверки моделей
Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий
Виртуализация в прикладных распределенных программных системах
Вопросы технологии программирования распределенных гетерогенных систем со статическим разделением функций
Вопросы управления межмашинными взаимодействиями в распределенных вычислительных системах
За ита данных в распределенных системах
Инструментальные средства построения распределенных систем тестирования микропроцессорных устройств ввода-вывода ЕС ЭВМ
Интеллектуальная система анализа и контрроля качества телекоммуникационных услуг в распределенных системах дистанционного обучения
Интеллектуальное управление в распределенной системе дистанционного обучения
Информационная система WAIS
Исследования и разработка распределенных систем интерактивной машинной графики
Комбинированное средство верификации распределенных вычислительных систем реального времени
Концепция словарей программных компонентов и ее использование в процессе разработки программных продуктов
Критерии выбора программной платформы для сервисов и служб распределенных информационных систем широкого пользования
Маршалинг данных в распределенных системах: сравнение двух подходов
Материалы XIII конференции представителей региональных научно-образовательных сетей "RELARN-2006"
Методы и средства моделирования хардвера распределенных вычислительных систем
Методы управления ресурсами в проблемно-ориентированных вычислительных средах
Многопользовательская автоматизированная распределенная система тестирования
Моделирование ESTELLE-спецификаций распределенных систем с помо ью раскрашенных сетей Петри
Моделирование и верификация распределенных систем, представленных на языке SDL
Моделирование и верификация распределенных систем, представленных на языке SDL, с помо ью языка DYNAMIC-REAL
Моделирование распределенных недерминированных систем и их тестирование на основе автоматных мультиагентных вероятностных моделей
Моделирование распределенных недетерминированных программных систем и их тестирование на основе автоматных мультиагентных вероятностных моделей
Моделирование спецификаций языка SDL с помощью модифицированных ИВТ-сетей
Модель поведения сетевых объектов в распределенных вычислительных системах
Модель формирования телеэффектов реального времени и ее приложения
Мультиагентная задача о роботах в пространстве: сложностной, информационный и криптографический аспекты
Некоторые методы ресурсного анализа сетей Петри
Онтология промежуточного ПО
Оптимизационные процедуры в аффинной проверке моделей
Основные принципы создания распределенной системы дистанционного обучения на базе виртуальной среды
Отображение параллельных вычислений на распределённые системы, использующие технологию RapidIO
О трансформациях нечетких графов, задаваемых FD-грамматиками
Применение языка DYNAMIC-REAL для анализа и верификации распределенных систем. специфицированных на языке SDL
Проблема описания и синтеза распределенных имитацтонных моделей сложных многокомпонентных систем
Проблемно-ориентированная верификация спецификаций распределенных систем
Проверка моделей распределенных систем с помо ью афинного представления данных
Проецирование систем переходов: преодоление комбинаторного взрыва при верификации параллельных систем
Разработка и исследование методов хранения и передачи информации в распределенных системах
Разработка методов и средств спецификации взаимодействия распределенных систем на основе композициональных сетей Петри
Распределенная версия системы моделирования и верификации коммуникационных протоколов SPV
Распределенная система хранения и поиска информации для Интернет-приложений
Распределенные системы передачи и обработки информации
Репликация в распределённых системах: модели, методы и протоколы
Система параллельного распределенного программирования MC#2.0
Системы с приоритетами: конформность, тестирование, композиция
Спецификация и анализ распределенных систем с использованием инструментальных средств, поддерживаю их модели сетей Петри
Способ построения раскрашенных сетей Петри, моделирующих SDL-системы
Средства за иты информации в системе АРСОТ