5326 search results - page 123 / 1066 » On what we can ensure |
158
click to vote
WPES
2005
ACM
15 years 12 months ago
2005
ACM
As the Internet becomes increasingly used for sensitive transactions, the need to protect user privacy becomes more and more important. One fundamental aspect of user privacy is t...
184
click to vote
FMCO
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
217
click to vote
CIA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Many researchers have focused their efforts on developing collaborative recommender systems. It has been proved that the use of collaboration in such systems improves per...
158
click to vote
DPPI
2003
ACM
15 years 11 months ago
2003
ACM
It’s been noticed that recognizing the end user’s needs and expectations are increasingly important factors for creating successful products. In the Mode-project we are studyi...
172
click to vote
MOBILWARE
2009
ACM
15 years 11 months ago
2009
ACM
Major software companies, such as Apple and Google, are disturbing the relatively safe and established actors of the mobile application business. These newcomers have caused signiï...