3984 search results - page 574 / 797 » Using linked data for systems management |
188
click to vote
ENTCS
2008
15 years 6 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...
169
click to vote
CORR
2007
Springer
15 years 6 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...
149
click to vote
NETWORK
2007
15 years 6 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...
190
click to vote
ICAC
2008
IEEE
16 years 1 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 ...
174
click to vote
ICSOC
2003
Springer
15 years 11 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...