1191 search results - page 206 / 239 » Compute the Term Contributed Frequency |
CSCW
2008
ACM
15 years 1 months ago
2008
ACM
When involved in collaborative tasks, users often choose to use multi-synchronous applications in order to concurrently work in isolation. Hence, privacy of their changes is maint...
107
click to vote
HUC
2010
Springer
15 years 28 days ago
2010
Springer
Energy use in the home is a topic of increasing interest and concern, and one on which technology can have a significant impact. However, existing work typically focuses on modera...
IGPL
2010
14 years 10 months ago
2010
Hegselmann and Krause have developed a simple yet powerful computational model for studying the opinion dynamics in societies of epistemically interacting truth-seeking agents. We...
103
click to vote
NOSSDAV
2010
Springer
14 years 10 months ago
2010
Springer
Video-on-demand (VoD) is a next-generation Internet application of increasing interest allowing users to start watching a movie almost instantaneously by downloading the video on-...
110
click to vote
SAC
2010
ACM
14 years 9 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...