539 search results - page 1 / 108 » On Modelling User Observations in the UTP |
UTP
2010
13 years 3 months ago
2010
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
UTP
2010
13 years 2 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
AMR
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. We report our work towards building user models of learner’s development based upon evidence of their interactions with an e-learning website composed of multimedia lea...
ACHI
2008
IEEE
13 years 7 months ago
2008
IEEE
The complicated user interfaces and complex functionality of nowadays interactive products lead to a new class of failures: People do not understand their products and thus fail t...
SIGIR
2008
ACM
13 years 5 months ago
2008
ACM
Search engine click logs provide an invaluable source of relevance information but this information is biased because we ignore which documents from the result list the users have...