Вы здесь

Главная

протокол

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

Empowering Mobile Software Agents
Evaluation of an Eager Protocol Optimization for MPI
Evaluation of Concurrency Control Strategies for Mixed Soft Real-time Database Systems
E-Voting and Identity: Proc./5th International Conference, VotelD 2015, Bern, Switzerland, September 2015
Excel-NUMA: Toward Programmability, Simplicity, and High Performance
Experiences in Telecommunications Protocols with an OO Based Implementation Framework
Exploiting Parallelism in Cache Coherency Protocol Engines
Extended Modeling Languages for Interaction Protocol Design
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools
File Access Patterns in Public FTP Archives and an Index for Locality of Reference
Flexible Protocol Stacks
Flexible Routing and Addressing for a Next Generation IP
FLIP: An Internetwork Protocol for Supporting Distributed Systems
Formal Aspects in Security and Trust: Revised Selected Papers/5th International Workshop, FAST 2008, Malaga, Spain, October 2008
Formalizing Inductive Proofs of Network Algorithms
Formal Methods and Industrial-Strength Computer Networks
Formal Methods for Assuring Security of Protocols
Formal Methods for Industrial Critical Systems: Proc./20th International Workshop, FMICS 2015, Oslo, Norway, June 2015
Formal Modeling and Analysis of the HLA Component Integration Standard
Formal Specification and Analysis of Communication Protocols using NPNs
Formal Techniques for Networked and Distributed Systems - FORTE 2004: Proc./24th IFIP WG 6.1 International Conference. Madrid, Spain, September 2004
Formal Techniques for Networked and Distributed Systems - Forte 2005: Proc./25th IFIP WG 6.1 International Conference. Taipei, Taiwan, October 2005
Formal Verification of Concurrent Programs Using the Larch Prover
Formal Verification of Distributed Protocols with PVS
Formal Verification of the Horn-Preneel Micropayment Protocol
Forwarding Database Overhead for Inter-Domain Routing
Frame-Based Self-adaptive Test Case Selection
Framework for Implementing the Next Generation of Communication Protocols
Freshness Assurance of Authentication Protocols
From Theory to Practice in Multi-Agent Systems: Proc./Second Intern. Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001, Cracow, Poland, September 2001
GCAP: A New Multimedia Multicasr Architecture for QoS
General Protocols for Consensus in Distributed Systems
Handling Algebraic Properties in Automatic Analysis of Security Protocols
Hardware Flooding (Preliminary Version)
Hardware Support for Flexible Distributed Shared Memory
HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols
Higher Order Logic Theorem Proving and Its Applications: Proc./6th Intern. Workshop, HUG 93. Vancouver, B.C., Canada, August 1993
High Performance Computing and Communications: Proc./First International Conference, HPCC 2005. Sorrento, Italy, September 2005
HMP: Hotspot Mitigation Protocol for Mobile Ad hoc Networks
Homo Sapiens или Homo Spamiens?
Host Migration Transparency in IP Networks: The VIP Approach
How Clean Is the Future of SOAP
HTTP - протокол передачи гипертекстов
ID-based Secret-Key Cryptography
Image Transfer: An End-to-End Design
IMAP4 вместо POP3
Implementierung von Kommunikationsprotokollen
Implementing Communication Protocols in Java
Implementing Network Protocols at User Level
Improved Algorithms for Synchronizing Computer Network Clocks