5344 search results - page 300 / 1069 » Privacy-Preserving Set Operations |
130
click to vote
ICLP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Pruning operators, such as cut, are important to develop efficient logic programs as they allow programmers to reduce the search space and thus discard unnecessary compu...
152
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
134
click to vote
ICDCS
2003
IEEE
15 years 9 months ago
2003
IEEE
A range of database services are being offered on clusters of workstations today to meet the demanding needs of applications with voluminous datasets, high computational and I/O r...
142
click to vote
AGTIVE
2003
Springer
15 years 9 months ago
2003
Springer
Many polygon mesh algorithms operate in a local manner, yet are formally specified using global indexing schemes. This obscures the essence of these algorithms and makes their spe...
159
click to vote
DEXA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We developed the Nested Relational Sequence Database System (NRSD System), which is built upon the Nested Relational Sequence Model (NRSM). The NRSM eliminates a substant...