285 search results - page 30 / 57 » Relating two formal models of path-vector routing |
103
click to vote
ICFP
2012
ACM
12 years 12 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
76
Voted
JSS
2010
14 years 8 months ago
2010
The backbone of many software architectures and component integration frameworks is an architectural style that provides a domain-specific design vocabulary and a set of constrai...
FSKD
2007
Springer
15 years 1 months ago
2007
Springer
The uncertainty may be divides it into two major groups, "objective uncertainty" and "subjective uncertainty". The objective uncertainty has already been exten...
106
Voted
VMCAI
2010
Springer
15 years 6 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
79
Voted
JCP
2006
14 years 9 months ago
2006
In this paper, we discuss a general methodology for analysis and modeling of trust relationships in distributed computing. We discuss the classification of trust relationships, cat...