3104 search results - page 143 / 621 » Using quantitative analysis to implement autonomic IT system... |
130
click to vote
EUROSYS
2006
ACM
16 years 1 months ago
2006
ACM
Many stateful services use the replicated state machine approach for high availability. In this approach, a service runs on multiple machines to survive machine failures. This pap...
131
Voted
JCS
2006
15 years 3 months ago
2006
Abstract-- SPKI/SDSI is a standard for issuing authorization and name certificates. SPKI/SDSI can be used to implement a Trust Management System, where the policy for resource acce...
149
Voted
LOPSTR
2004
Springer
15 years 9 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
142
click to vote
GCB
2004
Springer
15 years 9 months ago
2004
Springer
: Carbon Labeling Systems (CLS) are large equation systems that describe the dynamics of labeled carbon atoms in a metabolic network. The rapid solution of these systems is the alg...
136
click to vote
CLUSTER
2000
IEEE
15 years 8 months ago
2000
IEEE
As a novel approach to software maintenance in large clusters of PCs requiring multiple OS installations we implemented partition cloning and partition repositories as well as a s...