1604 search results - page 213 / 321 » Development Separation in Lambda-Calculus |
114
Voted
PODS
2010
ACM
15 years 5 months ago
2010
ACM
Both semantic and type-based query optimization rely on the idea that queries often exhibit non-trivial rewritings if the state space of the database is restricted. Despite their ...
64
Voted
ACSAC
2002
IEEE
15 years 5 months ago
2002
IEEE
We describe the design of a Windows file-system directory service that ensures the persistence, integrity, privacy, syntactic legality, and case-insensitive uniqueness of the name...
110
Voted
COOPIS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper makes two main contributions towards establishing support for application-specific factors in middleware security mechanisms. First, it develops a simple classification...
77
Voted
HICSS
2002
IEEE
15 years 5 months ago
2002
IEEE
: We hypothesize that this variation in the extent and nature of financial data disseminated through corporate Web sites is associated with the factors that influence the initial d...
125
Voted
HPDC
2002
IEEE
15 years 5 months ago
2002
IEEE
In high energy physics, bioinformatics, and other disciplines, we encounter applications involving numerous, loosely coupled jobs that both access and generate large data sets. So...