Sciweavers

2272 search results - page 182 / 455
» Validity Invariants and Effects
Sort
View
ICDE
2007
IEEE
116views Database» more  ICDE 2007»
16 years 12 days ago
On-Line Index Selection for Shifting Workloads
This paper introduces COLT (Continuous On-Line Tuning), a novel framework that continuously monitors the workload of a database system and enriches the existing physical design wi...
Karl Schnaitter, Serge Abiteboul, Tova Milo, Neokl...
ICDM
2007
IEEE
129views Data Mining» more  ICDM 2007»
16 years 12 days ago
A Generalization of Proximity Functions for K-Means
K-means is a widely used partitional clustering method. A large amount of effort has been made on finding better proximity (distance) functions for K-means. However, the common c...
Junjie Wu, Hui Xiong, Jian Chen, Wenjun Zhou
ICN
2007
Springer
16 years 7 days ago
Ring-Based Virtual Private Network Supporting a Large Number of VPNs
— In this paper, we propose a simple but effective VPN mechanism called RING-VPN (Ring-based Virtual Private Network) that realizes a high scalability in terms of the number of V...
Osamu Honda, Hiroyuki Ohsaki, Makoto Imase, Kazuhi...
PPDP
2007
Springer
16 years 6 days ago
Relational semantics for effect-based program transformations with dynamic allocation
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
Nick Benton, Andrew Kennedy, Lennart Beringer, Mar...
150
Voted
IH
2004
Springer
15 years 11 months ago
Empirical and Theoretical Evaluation of Active Probing Attacks and Their Countermeasures
A variety of remote sensing attacks allow adversaries to break flow confidentiality and gather mission-critical information in distributed systems. Such attacks are easily supple...
Xinwen Fu, Bryan Graham, Dong Xuan, Riccardo Betta...