3984 search results - page 645 / 797 » Using linked data for systems management |
104
click to vote
DSVIS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
129
click to vote
ICDCS
1995
IEEE
15 years 5 months ago
1995
IEEE
One of the mostsoughtaftersoftware innovation of thisdecade is the construction of systems using off-the-shelf workstations that actually deliver, and even surpass, the power and ...
127
click to vote
IS
1998
15 years 1 months ago
1998
Information modeling is concerned with the construction of computer-based symbol structures which capture the meaning of information and organize it in ways that make it understan...
113
click to vote
SRDS
2006
IEEE
15 years 7 months ago
2006
IEEE
Peer-to-peer overlays allow distributed applications to work in a wide-area, scalable, and fault-tolerant manner. However, most structured and unstructured overlays present in lit...
116
click to vote
ICDCS
2010
IEEE
15 years 5 months ago
2010
IEEE
—Cloud computing is enabling groups of academic collaborators, groups of business partners, etc., to come together in an ad-hoc manner. This paper focuses on the group-based data...