Вы здесь

Главная

протокол

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

The Interaction of Parallel Programming Constructs and Coherence Protocols
The LAMS-DLC ARQ Protocol
The Management of Replicated Data
The Modeling and Analysis of IEEE 802.6 s Configuration Control Protocol with Coloured Petri Nets
The Need for an Open Hypertext Protocol
The OSI Managed-Object Model
The Rampart Toolkit for Building High-Integrity Services
The Real-Time Channel Administration Protocol
The Stanford FLASH Multiprocessor
The Use of Name Spaces in Plan 9
Three Applications of Formal Methods at MITRE
Through the Protocol Maze
Timed Ethernet: Real-Time Formal Specification of Ethernet
Timely Authentication in Distributed Systems
Timestamp-Based Protocols for Synchronizing Access on XML Documents
TOMP: A Total Ordering Multicast Protocol
Towards a Methodology for Explicit Composition of MetaObjects
Towards an Implementation-oriented Specification of TP Protocol in LOTOS
Towards Meta-Agent Protocols
Towards Modeling and Testing of IP Routing Protocols
Towards RSVP Version 2
Towards Verification of Estelle-specified Communication Protocols: Coloured Petri Net Approach
Traffic Monitoring and Analysis: Proc./7th International Workshop, TMA 2015, Barcelona, Spain, April 2015
Transactional Memory: Foundations, Algorithms, Tools, and Applications: COST Action Euro-TM IC1001
Transactions on Computational Science XI: Special Issue on Security in Computing, Part II
Transactions on Petri Nets and Other Models of Concurrency VII
Trustworthy Global Computing: Revised Selected Papers/5th International Symposium, TGC 2010, Munich, Germany, February 2010
UEPS - A Second Generation Electronic Wallet
Understanding OSI Applications
Universal Multiservice Networks: Proc./Third European Conference, ECUMN 2004. Porto, Portugal, October 2004
User Action Recovery in Internet SAGAs (iSAGAs)
User-Level Network Interface Protocols
User-space Protocols Deliver High Performance to Applications on a Low-cost Gb/s LAN
Using Colored Petri Nets for Conversation Modeling
Using CSP to Detect Errors in the TMN Protocol
Using CSP to Verify a Timed Protocol over a Fair Medium
Using Message Semantics to Reduce Rollback in the Time Warp Mechanism
Using Metaobject Protocols to Implement Atomic Data Types
Using Static Analysis to Improve Automatic Test Generation
Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS
Using the TrustME Tool Suite for Automatic Component Protocol Adaptation
Validation of the Sessionless Mode of the HTTPR Protocol
Valuation of Trust in Open Networks
Verics: A Tool for Verifying Timed Automata and Estelle Specifications
Verification and Improvement of the Sliding Window Protocol
Verification and Modelling of Authentication Protocols
Verification Experiments on the MASCARA Protocol
Verification Oriented Specification of Distributed Systems in Estelle
Verification with Real-Time COSPAN
Verifying Distributed Directory-based Cache Coherence Protocols: S3.mp, a Case Study