3161 search results - page 40 / 633 » Documenting framework behavior |
133
click to vote
MODELS
2010
Springer
15 years 11 days ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
106
click to vote
AAAI
2007
15 years 4 months ago
2007
Reciprocity is a key determinant of human behavior and has been well documented in the psychological and behavioral economics literature. This paper shows that reciprocity has sig...
109
click to vote
EXPCS
2007
15 years 5 months ago
2007
Utility programs, which perform similar and largely independent operations on a sequence of inputs, include such common applications as compilers, interpreters, and document parse...
137
click to vote
COST
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. There are considerable differences among infants in the quality of interaction with their parents. These differences depend especially on the infants development which af...
150
click to vote
Publication
Most e-learning environments which utilize user feedback or profiles, collect such information based on questionnaires, resulting very often in incomplete answers, and sometimes de...