9267 search results - page 1595 / 1854 » Expectation-Oriented Analysis and Design |
163
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Recent years have seen unprecedented growth in the popularity of social network systems, with Facebook being an archetypical example. The access control paradigm behind t...
193
click to vote
CHI
2009
ACM
2009
ACM
Comparing usage of a large high-resolution display to single or dual desktop displays for daily work
16 years 7 months ago
With the ever increasing amount of digital information, users desire more screen real estate to process their daily computing work, and might well benefit from using a wallsize la...
185
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Researchers are developing mobile sensing platforms to facilitate public awareness of environmental conditions. However, turning such awareness into practical community action and...
194
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...
214
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
Search logs, which contain rich and up-to-date information about users' needs and preferences, have become a critical data source for search engines. Recently, more and more ...