5344 search results - page 193 / 1069 » Privacy-Preserving Set Operations |
169
click to vote
NOMS
2008
IEEE
16 years 25 days 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...
159
click to vote
AGILEDC
2007
IEEE
16 years 24 days 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...
145
click to vote
GECCO
2007
Springer
16 years 18 days 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....
225
click to vote
JSAI
2007
Springer
16 years 18 days 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...
170
click to vote
LFCS
2007
Springer
16 years 17 days 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...