Вы здесь

Главная

протокол

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

Verifying Part of the ACCESS.bus Protocol Using PVS
Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets
VIP: A Protocol Proving Host Mobility
VIPER: A VIsual Protocol EditoR
Visualizing Packet Traces
Von Electronic-Mail zu multimedialer Post
Web and Communication Technologies and Internet-Related Social Issues - HSI 2003: Proc./Second Intern. Conf. on Human.Society@Internet, Seoul, Korea, June 2003
What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis
What s in a Trace: The Box Model Revisited
Windows 2000 Terminal Service
Wired/Wireless Internet Communications: Proc./7th International Conference, WWIC 2009. Enschede, The Netherlands, May 2009
Wired-Wireless Multimedia Networks and Services Management: Proc./12th IFIP/IEEE International Conference MMNS 2009, Venice, Italy> October 2009
Wireless Algorithms, Systems, and Applications: Proc./8th International Conference, WASA 2013, Zhangjiajie, China, August 2013
Wireless Algorithms, Systems, and Applications: Proc./9th International Conference, WASA 2014, Harbin, China, June 2014
Wireless Algorithms, Systems, and Applications: Proc./First International Conference, WASA 2006. Xi an, China, August 2006
Wireless Systems and Mobility in Next Generation Internet: Revised Selected Papers/Third Intl Workshop of the EURO-NGI Network of Excellence. Sitges, Spain, June 2006
Адаптивное управление параметрами линейного протокола в системах передачи информации с коммутацией пакетов
Алгоритмическое обеспечение для маршрутизации с поддержкой качества обслуживания данных в беспроводных вычислительных сетях
Алмаз неограненный
Анализ и верификация MSC-диаграмм распределенных систем с помо ью раскрашенных сетей Петри
Атака на NNTP-сервер
АТМ - сетевая технология буду его
"Вглядываясь" в киберпространство...
Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри
Верификация коммуникационных протоколов, представленных на языке Estelle, с помо ью сетей Петри высокого уровня
Верификация раскрашенных сетей Петри методом проверки моделей
Виртуальные частные сети на базе Windows NT
Дедуктивная верификация протокола скользя его окна
Дедуктивная верификация телекоммуникационных систем, представленных на языке Си
За ита информации в глобальной сети Интернет
Заставит ли IPNG распро аться с TCP/IP?
Использование метода проверки моделей для верификации коммуникационных протоколов, представленных раскрашенными сетями Петри
Исследование и разработка методов верификации протоколов распределенных систем на основе биссимуляционной эквивалентности сетей Петри
История развития протоколов передачи данных
Композициональные методы разработки протоколов на основе сетей Петри
Курс лекций по сетевым технологиям. Часть I
ЛВС и TCP/IP - с чего начать?
Метод формального описания протоколов функционирования бортовых подсистем обмена информацией объектов
Моделирование и валидация коммуникационных протоколов, представленных на языках Estelle и SDL, с помо ью сетей Петри высокого уровня
Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помо ью сетей Петри высокого уровня
Об одном приложении вычислений с оракулом
Определение основ взаимодействия объектов в компьютерных сетях
О применении линейных моделей при оптимизации параметров TTP-протоколов
Организация работы Web-сервисов
Отказоустойчивая ЛВС управления промышленными объектами
Открытые системы электронной почты
Офисные системы буду его
Песня о Юниксе
Пороговые системы гомоморфного шифрования и за ита информации в облачных вычислениях
Построение моделей и анализ вероятностных характеристик протокола установления сессий