Sciweavers

627 search results - page 68 / 126
» integration 1998
Sort
View
STOC
1998
ACM
89views Algorithms» more  STOC 1998»
13 years 12 months ago
Minimizing Stall Time in Single and Parallel Disk Systems
We study integrated prefetching and caching problems following the work of Cao et. al. [3] and Kimbrel and Karlin [13]. Cao et. al. and Kimbrel and Karlin gave approximation algor...
Susanne Albers, Naveen Garg, Stefano Leonardi
EDBT
1998
ACM
130views Database» more  EDBT 1998»
13 years 12 months ago
Fusion Queries over Internet Databases
Abstract. Fusion queries search for information integrated from distributed, autonomous sources over the Internet. We investigate techniques for e cient processing of fusion querie...
Ramana Yerneni, Yannis Papakonstantinou, Serge Abi...
ERCIMDL
1998
Springer
115views Education» more  ERCIMDL 1998»
13 years 12 months ago
The Application of Metadata Standards to Video Indexing
This paper first outlines a multi-level video indexing approach based on Dublin Core extensions and the Resource Description Framework (RDF). The advantages and disadvantages of t...
Jane Hunter
ESORICS
1998
Springer
13 years 12 months ago
Rules for Designing Multilevel Object-Oriented Databases
When implementing a multilevel security policy for Object-Oriented Databases (OODBs), several aspects have to be investigated. One of these aspect is the design of multilevel OODB...
Frédéric Cuppens, Alban Gabillon
FM
1998
Springer
153views Formal Methods» more  FM 1998»
13 years 12 months ago
VSE: Controlling the Complexity in Formal Software Developments
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
Dieter Hutter, Heiko Mantel, Georg Rock, Werner St...