5344 search results - page 193 / 1069 » Privacy-Preserving Set Operations |
137
click to vote
NOMS
2008
IEEE
15 years 10 months ago
2008
IEEE
—With the increased network size and diversity, and the proliferation in applications and services, the network service providers are faced with a flood of information from many...
122
click to vote
AGILEDC
2007
IEEE
15 years 9 months ago
2007
IEEE
Zorro is a system designed to automatically determine whether a developer is complying with an operational definition of Test-Driven Development (TDD) practices. Automated recogn...
107
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Forma analysis provides an approach to formally derive domain specific operators based on domain-independent operator templates by manipulating a set of equivalence relations (i....
178
Voted
JSAI
2007
Springer
15 years 9 months ago
2007
Springer
CF-induction is a sound and complete hypothesis finding procedure for full clausal logic which uses the principle of inverse entailment to compute a hypothesis that logically expl...
132
click to vote
LFCS
2007
Springer
15 years 9 months ago
2007
Springer
Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecida...