2214 search results - page 114 / 443 » Dynamic Protocol Recovery |
NCA
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper proposes the modeling and the performance analysis of a high-level control protocol – COCOP, which enables cooperative groups of clients to control a shared server de...
EUSAI
2003
Springer
14 years 3 months ago
2003
Springer
Due to bandwidth constraint and dynamic topology of mobile ad hoc networks, supporting Quality of Service (QoS) is a challenging task. In this paper we present a complete solution...
CDC
2009
IEEE
14 years 3 months ago
2009
IEEE
— This work presents an H2 performance analysis of the agreement protocol in the presence of noise. The agreement protocol is first transformed into an equivalent system induced...
AMAST
2000
Springer
14 years 2 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
CAD
2000
Springer
13 years 10 months ago
2000
Springer
The protocols selected and developed by the NIIIP Consortium have been validated in three end-of-cycle demonstrations. In each cycle, a team with expertise in technical product da...