1547 search results - page 69 / 310 » The Isabelle Collections Framework |
123
click to vote
COMPGEOM
2004
ACM
15 years 9 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...
144
click to vote
HCW
1999
IEEE
15 years 8 months 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...
129
click to vote
NOMS
1998
IEEE
15 years 8 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...
119
click to vote
OAS
2003
15 years 5 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...
169
Voted
DMDW
2000
15 years 5 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...