5525 search results - page 156 / 1105 » Verification of Model Transformations |
110
click to vote
ENGL
2007
15 years 3 months ago
2007
An uncertainty model for an expensive function greatly improves the effectiveness of a design decision based on the use of a less accurate function. In this paper, we propose a met...
117
click to vote
ICALT
2005
IEEE
15 years 9 months ago
2005
IEEE
Our shared belief is that learning, like other human activities, cannot and will not be confined within rigidly defined course systems or learning repositories, inclosing learning...
117
click to vote
DEXAW
1999
IEEE
15 years 7 months ago
1999
IEEE
The wide variety of abstract system development methodologies available includes the waterfall and V models. These models are often too generic and need careful adaptation to suit ...
117
Voted
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program...
137
Voted
TC
1998
15 years 3 months ago
1998
—This paper describes the methods used to formulate and validate the memory subsystem of the cache-coherent Sun Scalable emory MultiProcessor (S3.mp) at three levels of abstracti...