55 search results - page 7 / 11 » Addressing State Explosion in Behavior Protocol Verification |
ENTCS
2008
13 years 7 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
LCN
2003
IEEE
14 years 22 days ago
2003
IEEE
— QoS signaling protocol is one of the key components in Internet QoS architectures to establish, maintain, and remove reservation states in network nodes. This paper gives an ov...
NIPS
2004
13 years 8 months ago
2004
Theories of access consciousness address how it is that some mental states but not others are available for evaluation, choice behavior, and verbal report. Farah, O'Reilly, a...
NOMS
2006
IEEE
14 years 1 months ago
2006
IEEE
— The importance of the routers in the network and the vulnerability in the nature of the link state routing protocol highlight the necessity of effective routing protection agai...
RSP
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...