2746 search results - page 421 / 550 » Case Study in Survivable Network System Analysis |
139
Voted
SRDS
1999
IEEE
15 years 10 months ago
1999
IEEE
We study how to efficiently diffuse updates to a large distributed system of data replicas, some of which may exhibit arbitrary (Byzantine) failures. We assume that strictly fewer...
148
click to vote
JSS
2007
15 years 5 months ago
2007
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
169
click to vote
FAC
2000
15 years 5 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
121
click to vote
ICAS
2005
IEEE
15 years 11 months ago
2005
IEEE
The paper1 deals with the problem of assuring predefined QoS for real time (RT) class of service (CoS), which we define as one of inter-provider or inter-domain classes of service...
162
click to vote
ISPD
2005
ACM
15 years 11 months ago
2005
ACM
With increase of clock frequency, on-chip wire inductance starts to play an important role in power/ground distribution analysis, although it has not been considered so far. We pe...