2228 search results - page 351 / 446 » A System for Semantic Query Optimization |
MST
2006
13 years 8 months ago
2006
Load balancing is a critical issue for the efficient operation of peerto-peer networks. We give two new load-balancing protocols whose provable performance guarantees are within a...
VLDB
2000
ACM
13 years 11 months ago
2000
ACM
Multidimensional access methods have shown high potential for significant performance improvements in various application domains. However, only few approaches have made their way...
PADL
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
ICSE
2009
IEEE-ACM
14 years 23 days ago
2009
IEEE-ACM
Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...
COSIT
1997
Springer
14 years 9 days ago
1997
Springer
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...