Вы здесь

Главная

протокол

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

A Structured TCP in Standard ML
A Survey of X Protocol Multiplexors
A Synchronization Scheme for Stored Multimedia Streams
Asynchronous Epoch Management in Replicated Databases
A System for Deciding the Security of Cryptographic Protocols
ATM as a Link in an ST-2 Internet
ATM Concepts, Architectures, and Protocols
At-Most-Once Message Delivery. A Case Study in Algorithm Verification
A Two-Level Approach for Modeling and Verification of Telecommunication Systems
A Unified Algebraic Framework for Specifying Communication Protocols
A Unified Framework for Multicast Forwarding
A Unix Network Protocol Security Study: Network Information Service
Automated Analysis of an Audio Control Protocol
Automated Synthesis of Protocol Specifications from Service Specifications with Parallelly Executable Multiple Primitives
Automated Technology for Verification and Analysis: Proc./12th International Symposium, ATVA 2014, Sydney,NSW,Australia, November 2014
Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol
Automated Verifications of Communication Protocols Using CCS and BDDs
Automatized Verification of Ad Hoc Routing Protocols
Autonomic and Trusted Computing: Proc./6th International Conference, ATC 2009. Brisbane, Australia, July 2009
Autonomic Group Protocol for Peer-to-Peer (P2P) Systems
A Verification Procedure via Invariant for Extended Communicating Finite-State Machines
Avoiding Confusion in Metacircularity: The Meta-Helix
A Witness-Aided Routing Protocol for Mobile Ad-Hoc Networks with Unidirectorial Links
A Z Based Approach to Verifying Security Protocols
Bakery Algorithms
Basic Protocols: Specification Language for Distributed Systems
Beacon Based Authentication
Behavior Modeling - Foundations and Applications: Revised Selected Papers/ International Workshops, BM-FA 2009-2014
Better Login Protocols for Computer Networks
Beyond Definition/Use: Architectural Interconnection
Boosting the Performance of Three-Tier Web Servers Deploying SMP Architecture
Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR
Broadcasting in the Arrowhead Torus
BSP in CSP: Easy as ABC
Checking Verifications of Protocols and Distributed Systems by Computer
Choice Coordination with Multiple Alternatives
Closed Schedulers: Construction and Applications to Consensus Protocols
COBRA и IIOP: программирование распределенных систем
Colored Petri Nets Based Modeling and Simulation of the Static and Dynamic Allocation Policies of the Asynchronous Bandwidth in the Fieldbus Protocol
Combinatorial Optimization and Applications, Part I: Proc./11th International Conference, COCOA 2017, Shanghai, China, December 2017
Combined Performance Gains of Simple Cache Protocol Extensions
Communication Protocols in Multi-agent Systems: A Development Method and Reference Architecture
Composition of Secure Multi-Party Protocols
Computational Science - ICCS 2007: Part II: Proc./7th International Conference. Beijing, China, May 2007
Computer Aided Verification: Proc./8th International Conference, CAV 96. New Brunswick.NJ.USA,July/August 1996
Computer-Assisted Verification of a Protocol for Certified Email
Concurrency Control Protocols Guaranteeing Atomicity and Serializability
Constraint-Based Analysis of Broadcast Protocols
Constraint-Based Verification of Client-Server Protocols
Construction of Deadlock-free Designs of Communication Protocols from Observations