953 search results - page 98 / 191 » Constraint Based Transformation Theory |
APPROX
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper investigates the relationship between the dimension theory of partial orders and the problem of scheduling precedenceconstrained jobs on a single machine to mi...
FMCAD
2006
Springer
15 years 1 months ago
2006
Springer
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on ional abstraction. A lazy satisfiability checker ...
KSEM
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. It has been widely recognized that the relative priority of requirements can help developers to resolve inconsistencies and make some necessary trade-off decisions. Howe...
ICIP
2003
IEEE
15 years 11 months ago
2003
IEEE
Multiple description coding (MDC) is an error resilient source coding scheme that creates multiple descriptions of the source with the aim of providing an acceptable reconstructio...
ICSM
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper is a summary of the author’s thesis that presents a model and an environment for recovering the high level design of legacy software systems based on user defined ar...