3984 search results - page 574 / 797 » Using linked data for systems management |
131
Voted
ENTCS
2008
15 years 2 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
112
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
This paper presents the design and implementation of a Grid-enabled physics analysis environment for handheld and other resource-limited computing devices as one example of the us...
100
click to vote
NETWORK
2007
15 years 1 months ago
2007
Programmable network interfaces can provide network servers with a flexible interface to high-bandwidth Ethernet links, but they face critical software and architectural challenge...
131
click to vote
ICAC
2008
IEEE
15 years 8 months ago
2008
IEEE
Virtualization and consolidation are two complementary techniques widely adopted in a global strategy to reduce system management complexity. In this paper we show how two simple ...
122
click to vote
ICSOC
2003
Springer
15 years 7 months ago
2003
Springer
Service-based approaches (such as Web Services and the Open Grid Services Architecture) have gained considerable attention recently for supporting distributed application developme...