11212 search results - page 2155 / 2243 » Semi-persistent Data Structures |
148
click to vote
TACAS
2001
Springer
15 years 7 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
128
click to vote
ACSAC
2000
IEEE
15 years 7 months ago
2000
IEEE
We present a vision of computing environments in which enterprise networks are built using untrusted public infrastructures. The vision allows for networks to dynamically change d...
104
click to vote
APSEC
2000
IEEE
15 years 7 months ago
2000
IEEE
Current object-oriented formalisms, such as UML, focus on describing class models and use instance models only for depicting scenarios. Little attention is being devoted to defini...
144
click to vote
DATE
2000
IEEE
15 years 7 months ago
2000
IEEE
In [1], Murata et al introduced an elegant representation of block placement called sequence pair. All block placement algorithms which are based on sequence pairs use simulated a...
137
click to vote
INFOCOM
2000
IEEE
15 years 7 months ago
2000
IEEE
Abstract—In this paper, we present the implementation issues of a virtual backbone that supports the operations of the Uniform Quorum System (UQS) and the Randomized Database Gro...