33 search results - page 5 / 7 » The Globus Project: A Status Report |
BMCBI
2008
13 years 7 months ago
2008
Background: This paper describes the design of an event ontology being developed for application in the machine understanding of infectious disease-related events reported in natu...
GRID
2004
Springer
14 years 28 days ago
2004
Springer
In this paper we present the MASSIVE project that aims to use Grid technology to establish an enabling environment for distributed simulation and visualization of large-scale scie...
POPL
2007
ACM
14 years 7 months ago
2007
ACM
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
TPHOL
2005
IEEE
14 years 1 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
IV
2000
IEEE
13 years 12 months ago
2000
IEEE
Traditional searching and browsing functions for bibliographic databases do no longer enable users to deal efficiently with the rapidly growing number of scientific publications....