Sciweavers

2181 search results - page 322 / 437
» The restriction scaffold problem
Sort
View
PODS
2000
ACM
137views Database» more  PODS 2000»
14 years 1 months ago
Query Containment for Data Integration Systems
The problem of query containment is fundamental to many aspects of database systems, including query optimization, determining independence of queries from updates, and rewriting ...
Todd D. Millstein, Alon Y. Levy, Marc Friedman
SC
2000
ACM
14 years 1 months ago
Expressing and Enforcing Distributed Resource Sharing Agreements
Advances in computing and networking technology, and an explosion in information sources has resulted in a growing number of distributed systems getting constructed out of resourc...
Tao Zhao, Vijay Karamcheti
GROUP
1999
ACM
14 years 1 months ago
Perspective layered visualization of collaborative workspaces
Visual shared workspaces will be always staying on users’ screens in the near future. Users will be moving frequently between their personal workspaces for personal and asynchro...
Hidekazu Shiozawa, Ken-ichi Okada, Yutaka Matsushi...
ICFP
1999
ACM
14 years 1 months ago
Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML
This paper defines an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Different from the conve...
Atsushi Ohori, Nobuaki Yoshida
DEXAW
1999
IEEE
105views Database» more  DEXAW 1999»
14 years 1 months ago
Personalizing the Web Using Site Descriptions
The information overload on the Web has created a great need for efficient filtering mechanisms. Many sites (e.g., CNN and Quicken) address this problem by allowing a user to crea...
Vinod Anupam, Yuri Breitbart, Juliana Freire, Bhar...