9067 search results - page 202 / 1814 » Adaptive Model Checking |
174
click to vote
CF
2005
ACM
15 years 8 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
153
click to vote
ISSTA
2006
ACM
16 years 9 days ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
192
click to vote
ADAPTIVE
2007
Springer
16 years 16 days ago
2007
Springer
One distinctive feature of any adaptive system is the user model that represents essential information about each user. This chapter complements other chapters of this book in revi...
168
click to vote
UM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. A promising approach towards evaluating adaptive systems is to decompose the adaptation process and evaluate the system in a “piece-wise” manner. This paper presents ...
140
Voted
EWSA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...