7623 search results - page 1077 / 1525 » Constructive Volume Modeling |
198
click to vote
TLCA
2005
Springer
16 years 10 days ago
2005
Springer
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
174
click to vote
WEBI
2005
Springer
16 years 9 days ago
2005
Springer
Due to the enormous size of the web and low precision of user queries, finding the right information from the web can be difficult if not impossible. One approach that tries to ...
159
click to vote
APLAS
2004
ACM
16 years 8 days ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
144
click to vote
SAC
2004
ACM
16 years 8 days ago
2004
ACM
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...
172
click to vote
ASIACRYPT
2004
Springer
16 years 7 days ago
2004
Springer
We consider the problem of securely computing the Greater Than (GT) predicate and its generalization – securely determining membership in a union of intervals. We approach these ...