578 search results - page 113 / 116 » Synchronizing Operations on Multiple Objects |
115
click to vote
GRAPHICSINTERFACE
2011
14 years 29 days ago
2011
Multi-display environments (MDEs) connect several displays into a single digital workspace. One of the main problems to be solved in an MDE’s design is how to enable movement of...
119
click to vote
CHI
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we introduce an implementation for detailed monitoring of user actions on web pages. It addresses the problem that the log data recorded by standard web servers is ...
SIGMOD
2002
ACM
15 years 9 months ago
2002
ACM
This paper addresses the problem of evaluating ranked top-? queries with expensive predicates. As major DBMSs now all support expensive user-defined predicates for Boolean queries...
MOBIHOC
2004
ACM
15 years 9 months ago
2004
ACM
In the near future, the advent of large-scale networks of mobile agents autonomously performing long-term sensing and communication tasks will be upon us. However, using controlle...
110
click to vote
VMCAI
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...