641 search results - page 47 / 129 » Formal Reliability Analysis Using Theorem Proving |
109
click to vote
INFOCOM
2005
IEEE
15 years 8 months ago
2005
IEEE
— This paper unifies two independently developed formalisms for path-vector routing protocols such as the Border Gateway Protocol (BGP), the standard inter-domain routing protoc...
124
click to vote
ESORICS
2010
Springer
15 years 3 months ago
2010
Springer
Sun and the CERT recommend for secure Java development to not allow partially initialized objects to be accessed. The CERT considers the severity of the risks taken by not followin...
138
click to vote
ISSTA
2012
ACM
13 years 4 months ago
2012
ACM
Recent research has suggested that a large class of software bugs fall into the category of inconsistencies, or cases where two pieces of program code make incompatible assumption...
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Our understanding of information in systems has been based on the foundation of memoryless processes. Extensions to stable Markov and auto-regressive processes are classical. Berg...
154
click to vote
STACS
1993
Springer
15 years 6 months ago
1993
Springer
Abduction is an important form of nonmonotonic reasoning allowing one to find explanations for certain symptoms or manifestations. When the application domain is described by a l...