1143 search results - page 20 / 229 » Mental models of recursion |
MLQ
2006
13 years 7 months ago
2006
We define the concept of a logic frame, which extends the concept stract logic by adding the concept of a syntax and an axiom system. In a recursive logic frame the syntax and the...
EICS
2009
ACM
14 years 2 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
ICSEA
2006
IEEE
14 years 1 months ago
2006
IEEE
— It is through our mental models of the world that we understand it. Advances in science are nothing more than improvements to the model. This paper presents the development and...
SIGDOC
2006
ACM
14 years 1 months ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...
STACS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...