Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
протоколы
Связанные издания:
A Comparative Analysis of Two-Phase-Commit Protocols
A Framework for Parallel Composition of Protocols
Algorithms and System Design in the Highly Available Systems Project
A Multimedia Application Adaptation Layer (MAAL) Protocol
An Algebra of Regular Macronets for Formal Specification of Communication Protocols
Analysis of Recovery in a Database System Using a Write-Ahead Log Protocol
An Approach to Integrate Formal Validation in an OO Life-cycle of Protocols
An Efficient, Fault-Tolerant Protocol for Replicated Data Management
A Responsive Distributed Algorithm for Shortest-path Routing within Autonomous Systems
A Stepwise Refinement Heuristic for Protocol Construction
Computational Science - ICCS 2007: Part III: Proc./7th International Conference. Beijing, China, May 2007
Computational Science - ICCS 2007: Part I: Proc./7th International Conference. Beijing, China, May 2007
Computational Science - ICCS 2007: Part IV: Proc./7th International Conference. Beijing, China, May 2007
Contribution de l approche orientee objet a la conception de protocoles experimentaux: application a l evaluation d informations graphiques
Critical Issues for the Development of Distributed Real-Time Computing Sustems
Designing Application Software in Wide Area Network Settings
Efficient Routing Protocols in Nameless Networks
Emerging Technologies for Authorization and Authentication: Proc./3rd International Workshop, ETAA 2020, Guildford, UK, September 2020
Formal Description Techniques in Data Security: An Evaluation and Comparison
Fundamental Concepts of Qualitative Probabilistic Networks
How To Decode 150 Protocols
Integrating Security in Inter-Domain Routing Protocols
Marginal Throughtput of a Stask Algorithm for CSMA/CD Random Length Packet Communication When the Loud is Over the Channel Efficiency
Multidimensional Voting
Multi-Level Specification and Protocol Design for Distributed Multimedia Communication
Multiple Access Communications: Proc./8th International Workshop, MACOM 2015, Helsinki, Finland, September 2015
Networked Systems: Revised Selected Papers/2nd International Conference, NETYS 2014, Marrakech, Morocco, May 2014
Object-Oriented Implementation of OSI Application Layer Protocols
On Key Distributed Protocols for Repeated Authentication
Performance Comparison of Routing Protocols using MaRS: Distance-Vector versus Link-State
Priority Consistency in Protocol Architectures
PROCOL: A concurrent object-oriented language with protocols delegation and constraints
Protocol Support for Distributed Multimedia Applications
Randomized Agreement Protocols
Reliable Information Service for Internet Computer Conferencing
Research in Attacks, Intrusions, and Defenses: Proc./21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 2018
Simulation von Kommunikationsprotokollen
Specification of the Two-way Handshake in VDM
The Alternating Bit Protocol - Revisited
The Minimal Coverability Graph for Petri Nets
TIP: A Transport and Internetworking Package for ATM
Use of a Formal Description Technique in the Specification of Authentication Protocols
Using Delayed Commitment in Locking Protocols For Real-Time Databases
Using Higher Order Logic for Modelling Real-Time Protocols
Voting and Relocation Strategies Preserving Consistency among Replicated Files
Алгебра структур протоколов на основе теории сетей Петри
Анализаторы протоколов локальных сетей фирмы Hewlett-Packard
Архитектура и протоколы вычислительных сетей
Гарантированная доставка сооб ений: новая коммуникационная концепция
Исследование транспортного протокола пакета программ сетевой телеобработки, реализуемого в среде операционной системы мини-ЭВМ
1
2
следующая ›
последняя »