5787 search results - page 491 / 1158 » Generic User Modeling Systems |
159
click to vote
ACSAC
2004
IEEE
15 years 11 months ago
2004
IEEE
Many real-world applications use credentials such as passwords as means of user authentication. When accessed from untrusted public terminals, such applications are vulnerable to ...
163
click to vote
SODA
2008
ACM
15 years 8 months ago
2008
ACM
It is known that the dynamics of best response in an environment of non-cooperative users may converge to a good solution when users play sequentially, but may cycle far away from...
199
click to vote
IVA
2010
Springer
15 years 5 months ago
2010
Springer
In order to enhance user involvement in financial services, this paper proposes to combine the idea of adaptive personalisation with intelligent virtual agents. To this end, a comp...
175
click to vote
FODO
1989
Springer
15 years 11 months ago
1989
Springer
d Abstract) Michael Rabin Aiken Computation Laboratory Harvard University Cambridge, MA 02138 J. D. Tygar School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213...
255
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...