19986 search results - page 3641 / 3998 » On Designing Software Architectures |
167
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
In this paper, we describe the approach to achieve a high level of interoperability in the eduSource. The eduSource project is a panCanadian collaborative project to create a test...
190
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
187
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
Collaborative recommender systems are highly vulnerable to attack. Attackers can use automated means to inject a large number of biased profiles into such a system, resulting in r...
155
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Domestic ubiquitous computing systems often rely on inferences about activities in the home, but the open-ended, dynamic and heterogeneous nature of the home poses serious problem...
174
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
As sharing personal media online becomes easier and widely spread, new privacy concerns emerge ? especially when the persistent nature of the media and associated context reveals ...