Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
протокол
Связанные издания:
Message Logging: Pessimistic, Optimistic, Causal, and Optimal
Metropolitan Area Networks (MANs): Protocols, Modeling and Performance Evaluation
Microsoft TCP/IP Training
Middleware 2013: Proc./ ACM/IFIP/Usenix 14th International Middleware Conference, Beijing, China, December 2013
Mobile Ad-hoc and Sensor Networks: Proc./Second International Conference, MSN 2006. Hong Kong, China, December 2006
Model Checking Communication Protocols
Model Checking Security Protocols Using a Logic of Belief
Model Checking Software: Proc./11th Intern. SPIN Workshop, Barcelona, Spain, April 2004
Modeling and Analysis of Contract Net Protocol
Modeling and Model Checking a Distributed Shared Memory Consistency Protocol
Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking
Modeling the WAP Transaction Service Using Coloured Petri Nets
Moderate Concurrency Control in Distributed Object Systems
Multicast Routing Extensions for OSPF
Multimedia Applications, Services and Techniques - ECMAST 97: Proc./Second European Conf. Milan, Italy, May 1997
Nesting Action through Asynchronous Message Passing: the ACS Protocol
NetWare раскидывает глобальную сеть
Network and System Security: Proc./14th International Conference, NSS 2020, Melbourne,VIC,Australia, November 2020
Network and System Security: Proc./15th International Conference, NSS 2021, Tianjin, China, October 2021
Networked Systems: Revised Selected Papers/1st International Conference, NETYS 2013, Marrakech, Morocco, May 2013
NETWORKING 2009: Proc./8th International IFIP-TC6 Networking Conference. Aachen, Germany, May 2009
NETWORKING 2011 Workshops: Revised Selected Papers/ International IFIP TC6, Workshops, PE-CRN, NC-Pro, WCNS, and SUNSET 2011, Held at NETWORKING 2011, Valencia, Spain, May 2011
Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach
New Phase 1 Exchange Mode for IKE Framework
Next Generation Structure of Management Information for the Internet
Next Generation Teletraffic and Wired/Wireless Advanced Networking: Proc./7th Intl Conference, NEW2AN 2007. St.Petersburg, Russia, September 2007
Object Design for Communication Protocol Software
Object-Oriented Simulation of CSMA Protocols
Object Protocols as Functional Parsers
Observing TCP Dynamics in Real Networks
Obtaining High Performance Data Transmission in the Internet
On Strengthening Authentication Protocols to Foil Cryptanalysis
On the Automation of GNY Logic
On the Complexity of Protocol Validation Problems for Protocols with Bounded Capacity Channels
On the Existence of an Effective and Complete Inference System for Cryptographic Protocols
On the Random Walk Method for Protocol Testing
On the Scalability and Mean-Time to Failure of k Resilient Protocols
On the Security of Three-Party Criptographic Protocols
On the Structuring of Reliable Multicast Protocols for Distributed Mobile Systems
On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers
Open Commit Protocols Tolerating Commission Failures
Open Systems Interconnection Abstract Syntax Notation: ASN.CG
Optimal Early Stopping in Distributed Consensus
Optimal Primary-Backup Protocols
Optimal Privacy and Authentication on a Portable Communications System
Optimal Time Byzantine Agreement for t < n/8 with Linear Messages
Optimistic Secure Real-Time Concurrency Control Using Multiple Data Version
Parallelism Analyser for Conservative Parallel Discrete Event Simulation
Parameter Region for the Proper Operation of the IEEE 802.2 LLC Type 3 Protocol: A Petri Nets Approach
Partial Order Reductions for Security Protocol Verification
« первая
‹ предыдущая
…
3
4
5
6
7
8
9
10
11
следующая ›
последняя »