GCC
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. A flexible intermediate library named Stampi for MPI-2 support on a heterogeneous computing environment has been implemented on an SCore cluster system. With the help of...
GCC
2003
Springer
13 years 9 months ago
2003
Springer
Grid computing technologies enable widespread sharing and coordinated us of networked resources, including computing resources. Open Grid Service Architecture (OGSA) marries Web se...
GCC
2003
Springer
13 years 9 months ago
2003
Springer
Locating content efficiently and conveniently is the key issue in P2P systems. In this paper we present SemanticPeer, an Ontology-Based P2P lookup service, to address this problem,...
GCC
2003
Springer
13 years 9 months ago
2003
Springer
We developed a SMIL-based collaborative multimedia authoring tool supporting a mechanism for conceptually representing the temporal relations between different media. Among the ma...
GCC
2003
Springer
13 years 9 months ago
2003
Springer
Grid computing is used to realize the connection of distributed, heterogeneous computing resources through grid, assist in accomplishing computing task. Focusing on the weakness of...
GCC
2003
Springer
13 years 9 months ago
2003
Springer
The Object-Oriented Petri Nets (OOPN) based integrated solution to a grid-based application system modeling and enacting is proposed in this paper for simplifying designs and devel...
GCC
2003
Springer
13 years 9 months ago
2003
Springer
Management of various complex resources is an important issue to be well done, in order to fulfill the potential of Grid. In this paper, we propose a formal data model and algebra ...
GCC
2003
Springer
13 years 9 months ago
2003
Springer
We use 2-Dimensional language to construct 2-Dimensional computer graphics model, use MSO or other logics to specify some graph property, and use automata model checking technique ...
GCC
2003
Springer
13 years 9 months ago
2003
Springer
Basic exploration of diffusion equation solvers in distributed computing systems has been a very important issue for computational fluid dynamics (CFD). This paper presents a funda...
GCC
2003
Springer
13 years 9 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...