1547 search results - page 69 / 310 » The Isabelle Collections Framework |
COMPGEOM
2004
ACM
14 years 1 months ago
2004
ACM
We propose a generic computational framework for maintaining a discrete geometric structure defined by a collection of static and mobile objects. We assume that the mobile object...
HCW
1999
IEEE
14 years 8 hour ago
1999
IEEE
A major challenge in Metacomputing Systems (Computational Grids) is to effectively use their shared resources, such as compute cycles, memory, communication network, and data repo...
NOMS
1998
IEEE
13 years 12 months ago
1998
IEEE
Current advances in networking, computing, software and web technologies have led to an explosive growth in the development of networked applications. Management of large-scale ne...
OAS
2003
13 years 9 months ago
2003
In this paper, we describe our work-in-progress with collaborative understanding of distributed ontologies in a multiagent framework. As reported earlier, the objective of this fr...
DMDW
2000
13 years 9 months ago
2000
Data warehousing is a software infrastructure which supports OLAP applications by providing a collection of tools which allow data extraction and cleaning, data integration and ag...