3122 search results - page 524 / 625 » A Theory of Network Equivalence |
170
click to vote
UPP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Traditionally, autonomic computing is envisioned as replacing the human factor in the deployment, administration and maintenance of computer systems that are ever more co...
156
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
This paper addresses the problem of identifying redundant data in large-scale service-oriented information systems. Specifically, the paper puts forward an automated method to pi...
129
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper reports work to support dependability arguments about the future reliability of a product before there is direct empirical evidence. We develop a method for estimating ...
153
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
152
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper considers the theory of social capital and volunteerism in an online gaming community, the Internet Chess Club (ICC). We discuss how increased social capital provides b...