457 search results - page 24 / 92 » Construction of a Highly Dependable Operating System |
CCS
2009
ACM
14 years 9 months ago
2009
ACM
Distributed proof construction protocols have been shown to be valuable for reasoning about authorization decisions in open distributed environments such as pervasive computing sp...
FTCS
1993
13 years 9 months ago
1993
Interval availability is a dependability measure defined by the fraction of time during which a system is in operation over a finite observation period. The computation of its d...
PG
2000
IEEE
14 years 25 days ago
2000
IEEE
In this paper, we present a new paradigm that allows dynamically changing the topology of 2-manifold polygonal meshes. Our new paradigm always guarantees topological consistency o...
CCS
2006
ACM
14 years 4 days ago
2006
ACM
The Border Gateway Protocol (BGP) is the de facto interdomain routing protocol on the Internet. While the serious vulnerabilities of BGP are well known, no security solution has b...
LCPC
2009
Springer
14 years 1 months ago
2009
Springer
The advent of multicores presents a promising opportunity for exploiting fine grained parallelism present in programs. Programs parallelized in the above fashion, typically involv...