2500 search results - page 119 / 500 » Specifying Behavior in C |
110
click to vote
FORTE
2003
15 years 4 months ago
2003
In this paper, we consider the problem of deriving a component X of a system knowing the behavior of the whole system C and the other components A. The component X is derived by s...
111
click to vote
CHI
2005
ACM
16 years 3 months ago
2005
ACM
This paper presents an exploration of user interfaces, persuasive interfaces and feedback techniques in the domain of the sink. Waterbot is a system to inform and motivate behavio...
126
click to vote
AIED
2007
Springer
15 years 9 months ago
2007
Springer
We investigate the relationship between a student’s affect and how he or she chooses to use a simulation problem-solving environment, using quantitative field observations. Withi...
119
click to vote
AAAI
1996
15 years 4 months ago
1996
One of the most promising opportunities introduced by rapid advances in knowledge-based learning environments and multimedia technologies is the possibility of creating animated p...
161
click to vote
DB
2008
15 years 3 months ago
2008
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...