774 search results - page 139 / 155 » AIMS: An Immersidata Management System |
106
click to vote
NOMS
2000
IEEE
15 years 4 months ago
2000
IEEE
The Distributed Resource Controller (DRC) technology described in this paper provides a novel approach to interfacing applications with emerging network mechanisms to deliver Qual...
104
click to vote
TACAS
2000
Springer
15 years 3 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
104
click to vote
CIKM
2008
Springer
15 years 1 months ago
2008
Springer
As online social networking emerges, there has been increased interest to utilize the underlying social structure as well as the available social information to improve search. In...
102
click to vote
DOLAP
2008
ACM
15 years 1 months ago
2008
ACM
The development of data warehouses is based on a threestage process that starts specifying both the static and dynamic properties of on-line analytical processing (OLAP) applicati...
ICAC
2006
IEEE
15 years 5 months ago
2006
IEEE
Traditional High Performance Computing systems require extensive management and suffer from security and configuration problems. This paper presents a new clustermanagement syste...