26 search results - page 1 / 6 » The Semantic Grid: Past, Present and Future |
ESWS
2005
Springer
13 years 10 months ago
2005
Springer
—Grid computing offers significant enhancements to our capabilities for computation, information processing and collaboration, and has exciting ambitions in many fields of endeav...
ECEASST
2006
13 years 4 months ago
2006
We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized, mach...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
GRID
2000
Springer
13 years 8 months ago
2000
Springer
: In this presentation, a short outline of the history of past and present Grid projects in research and industry is given, followed by some near- and long-term Grid scenarios and ...
CCGRID
2005
IEEE
13 years 10 months ago
2005
IEEE
In this paper, starting from the limitations and constrains of traditional human learning approaches, we outline new suitable approaches to education and training in future knowle...