Sciweavers

1229 search results - page 89 / 246
» Associated type synonyms
Sort
View
ESOP
2010
Springer
16 years 1 months ago
Amortised Resource Analysis with Separation Logic
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
Robert Atkey
WEBI
2009
Springer
15 years 11 months ago
Effective Keyword Search for Software Resources Installed in Large-Scale Grid Infrastructures
—In this paper, we investigate the problem of supporting keyword-based searching for the discovery of software resources that are installed on the nodes of largescale, federated ...
George Pallis, Asterios Katsifodimos, Marios D. Di...
ICC
2007
IEEE
15 years 10 months ago
A Measurement Based Dynamic Policy for Switched Processing Systems
Abstract- Switched Processing Systems (SPS) represent a canonical model for many areas of applications of communication, computer and manufacturing systems. They are characterized ...
Ying-Chao Hung, George Michailidis
SEMWEB
2001
Springer
15 years 8 months ago
A Scalable Framework for the Interoperation of Information Sources
Resolving heterogeneity among information systems is a crucial necessity if we wish to gain value from the many distributed resources available to us. Problems of heterogeneity in ...
Prasenjit Mitra, Gio Wiederhold, Stefan Decker
123
Voted
DAWAK
2000
Springer
15 years 8 months ago
Data Cube Compression with QuantiCubes
: Data warehouses typically store a multidimensional fact representation of the data that can be used in any type of analysis. Many applications materialize data cubes as multidime...
Pedro Furtado, Henrique Madeira