16216 search results - page 378 / 3244 » Effective Modeling with Constraints |
229
click to vote
FASE
2008
Springer
15 years 9 months ago
2008
Springer
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...
184
click to vote
IVC
2000
15 years 7 months ago
2000
The human vision system has adaptation mechanisms that cannot be managed with the classic tri-stimulus color theory. The effects of these mechanisms are clearly visible in some we...
214
click to vote
HASE
2008
IEEE
16 years 2 months ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
263
click to vote
TACAS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
227
click to vote
VIS
2007
IEEE
16 years 9 months ago
2007
IEEE
Conveying shape using feature lines is an important visualization tool in visual computing. The existing feature lines (e.g., ridges, valleys, silhouettes, suggestive contours, etc...