5344 search results - page 521 / 1069 » Privacy-Preserving Set Operations |
171
Voted
DATE
2003
IEEE
16 years 23 days ago
2003
IEEE
We propose a method for local search of Boolean relations relating variables of a CNF formula. The method is to branch on small subsets of the set of CNF variables and to analyze ...
189
Voted
DATE
2003
IEEE
16 years 23 days ago
2003
IEEE
The first non-enumerative framework for diagnosing path delay faults using zero suppressed binary decision diagrams is introduced. We show that fault free path delay faults with ...
180
click to vote
EDOC
2003
IEEE
16 years 23 days ago
2003
IEEE
The expression of contracts in computer readable form, and the development of automated tests for completeness and well-formedness of contracts, has opened the door to significant...
179
click to vote
EDOC
2003
IEEE
16 years 23 days ago
2003
IEEE
– An important problem in designing infrastructure to support business-to-business integration (B2Bi) is how to cancel a long-running interaction (either because the user has cha...
202
click to vote
EDOC
2003
IEEE
16 years 23 days ago
2003
IEEE
One of the most significant limitations of current middleware platforms, both commercial and research, is that they typically support only a small, pre-defined, set of fundamental...