Sciweavers

4382 search results - page 658 / 877
» Query by Semantic Example
Sort
View
VLDB
1992
ACM
129views Database» more  VLDB 1992»
15 years 7 months ago
Extensible Buffer Management of Indexes
Most extensibledatabasesystemssupportaddition of new indexes or new data types. However, the referencepatterns exhibited by these new indexes may not be efficiently supportedby ex...
Chee Yong Chan, Beng Chin Ooi, Hongjun Lu
SG
2010
Springer
15 years 7 months ago
Accurately Measuring the Satisfaction of Visual Properties in Virtual Camera Control
Declarative approaches to camera control model inputs as properties on the camera and then rely on constraint-based and/or optimization techniques to compute the camera parameters ...
Roberto Ranon, Marc Christie, Tommaso Urli
EUROSYS
2007
ACM
15 years 7 months ago
Integrating aspect-orientation and structural annotations to support adaptive middleware
To anticipate or not to anticipate -- that is the question, regarding adaptive middleware in the area of ubiquitous computing. Anticipation can guarantee that both the adapted and...
Holger Mügge, Tobias Rho, Armin B. Cremers
CSFW
2004
IEEE
15 years 7 months ago
Lenient Array Operations for Practical Secure Information Flow
Our goal in this paper is to make secure information flow typing more practical. We propose simple and permissive typing rules for array operations in a simple sequential imperati...
Zhenyue Deng, Geoffrey Smith
ASP
2003
Springer
15 years 7 months ago
Answer Set Programming with Templates
The work aims at extending Answer Set Programming (ASP) with the possibility of quickly introducing new predefined constructs and to deal with compound data structures: we show ho...
Giovambattista Ianni, Giuseppe Ielpa, Adriana Piet...