2272 search results - page 182 / 455 » Validity Invariants and Effects |
ICDE
2007
IEEE
14 years 4 months ago
2007
IEEE
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...
ICDM
2007
IEEE
14 years 4 months ago
2007
IEEE
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...
ICN
2007
Springer
14 years 4 months ago
2007
Springer
— 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...
PPDP
2007
Springer
14 years 4 months ago
2007
Springer
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....
IH
2004
Springer
14 years 3 months ago
2004
Springer
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...