Вы здесь

Главная

протокол

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

Constructive Protocol Specification Using Cicero
Continuous Media Communication with Dynamic QOS Control Using ARTS with an EDDI Network
Control Handling in Real-Time Communication Protocols
Convergence of Telecommunications and Computing to Networking Models for Integrated Services and Applications
Conversation Protocols: Modeling and Implementing Conversations in Agent-Based Systems
Coordination, Organizations, Institutions and Norms in Agent Systems IV: Revised Selected Papers/ COIN 2008 International Workshops, COIN@AAMAS 2008, Estoril, Poetugal, May 2008, COIN@AAAI 2008, Chicago, USA, July 2008
Correct Hardware Design and Verification Methods: Proc./12th IFIP WG 10.5 Advanced Research Working Conf., CHARME 2003, L Aquila, Italy, October 2003
Correctness of Programs and Protocols through Randomization
Correctness Requirements for Multiagent Commitment Protocols
Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies
Crash Resilient Communication in Dynamic Networks
Creating New Learning Experiences on a Global Scale: Proc./Second European Conference on Technology Enhanced Learning, EC-TEL 2007. Crete, Greece, September 2007
Credit-Based Flow Control for ATM Networks: Credit Update Protocol, Adaptive Credit Allocation, and Statistical Multiplexing
Cryptographic Protocols for Auctions and Bargaining
Cryptographic Protocols for Vickrey Auctions
C Wolf - A Toolset for Extracting Models from C Programs
DDE и OLE в сети
Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation
Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols
Deriving Optimal Checkpoint Protocols for Distributed Shared Memory Architectures
Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process Algebra
Design and Implementation of a Hard Real-Time Communication Protocol
Design and Implementation of a High Quality Video Distribution System using XTP Reliable Multicast
Design and Implementation of an Application Layer Protocol for Reducing UDP Traffic Based on User Hints and Policies
Design and Implementation of a Real-Time Static Locking Protocol for Main-Memory Database Systems
Design Challenges of Virtual Networks: Fast, General-Purpose Communication
Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN TM
Designing Secure Key Exchange Protocols
Design of EDI Security MIB Based on SNMP Protocol
Deterministic Fault Injection of Distributed Systems
Disseminating Critical Terget-Specific Synchronization Information in Parallel Discrete Event Simulations
Distributed Algorithms: Proc./6th Intern. Workshop, WDAG 92, Haifa, Israel, November 1992
Distributed Algorithms: Proc./8th Intern. Workshop, WDAG 94. Terschelling, The Netherlands, September-Oktober 1994
Distributed Algorithms: Proc./9th International Workshop, WDAG 95, Le Mont-Saint-Michel, France, September 1995
Distributed Computing and Internet Technology: Proc./4th International Conference, ICDCIT 2007. Bangalore, India, December 2007
Distributed Computing and Networking: Proc./9th International Conference, ICDCN 2008. Kolkatta, India, January 2008
Distributed Computing - IWDC 2004: Proc./6th International Workshop. Kolkata, India, December 2004
Distributed Computing: Proc./27th International Symposium, DISC 2013, Jerusalem, Israel, October 2013
Distributed Object Implementations for Interactive Applications
Distributed programming environments: an example of a message protocol
Distributed Run-Time System, a Protocol for Ada
Dynamic of Distributed Shortest-Path Routing Algorithms
Easy Intruder Deductions
Effect of Packet Losses on End-User Cost in Internetworks with Usage Based Charging
Efficient Demultiplexing of Incoming TCP Packets
Efficient Encoding Rules for ASN.1-Based Protocols
Efficient Gateway Synthesis from Formal Specificatons
Efficient Identity-Based Conference Key Distribution Protocols
Embedded and Ubiquitous Computing: Proc./International Conference, EUC 2004. Aizu-Wakamatsu City, Japan, August 2004
Emerging Technologies for Authorization and Authentication: Proc./2nd International Workshop, ETAA 2019, Luxembourg City, Luxembourg, September 2019