1268 search results - page 157 / 254 » Verifying distributed systems: the operational approach |
176
click to vote
HICSS
2005
IEEE
15 years 12 months ago
2005
IEEE
The goal of a Public-Key-Infrastructure (PKI) is to prove whether a cryptographic public key is authentic for a certain user. This information is crucial for the reliability of as...
154
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe a decentralized, adaptive mechanism for replica location in wide-area distributed systems. Unlike traditional, hierarchical (e.g, DNS) and more recent (e.g., CAN, Chor...
197
click to vote
CLUSTER
2005
IEEE
15 years 12 months ago
2005
IEEE
Current operating systems offer basic support for network interface controllers (NICs) supporting remote direct memory access (RDMA). Such support typically consists of a device d...
164
click to vote
COMPUTER
2002
15 years 6 months ago
2002
tail defines the level of abstraction used to implement the model's components. A highly detailed model will faithfully simulate all aspects of machine operation, whether or n...
165
click to vote
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...