5205 search results - page 205 / 1041 » Tilings and model theory |
WOSP
2005
ACM
14 years 4 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
SAT
2004
Springer
14 years 3 months ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
IFIP
2001
Springer
14 years 2 months ago
2001
Springer
This paper uses semiotic theories to model how meaning is constructed during an IS development project. Conventionally, shared meanings among all project stakeholders are regarded...
MODELS
2007
Springer
14 years 4 months ago
2007
Springer
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
AH
2006
Springer
14 years 4 months ago
2006
Springer
This research outline refers to the assessment of motivation in online learning environments. It includes a presentation of previous approaches, most of them based on Keller’s AR...