2603 search results - page 282 / 521 » Design, use and experience of e-learning systems |
344
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
162
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Multi-user, touch-sensing input devices create opportunities for the use of cooperative gestures ? multi-user gestural interactions for single display groupware. Cooperative gestu...
152
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
Current software interfaces fail to incorporate historical data from user interaction into their design. While some systems exhibit a minimalist use of history in the form of undo...
173
click to vote
DIM
2007
ACM
15 years 10 months ago
2007
ACM
In a history-based trust-management system, users and service providers use information about past transactions to make trust-based decisions concerning current transactions. One ...
175
click to vote
DRM
2003
Springer
15 years 12 months ago
2003
Springer
In this paper we examine how copyright protection of digital items can be securely managed in a 3G mobile phone and other devices. First, the basic concepts, strategies, and requi...