1613 search results - page 288 / 323 » Model-Driven Constraint Engineering |
121
click to vote
SIAMIS
2011
14 years 2 months ago
2011
We analyze the illumination invariance of the level lines of an image. We show that if the scene surface has Lambertian reflectance and the light is directed, then a necessary and...
138
click to vote
SIGECOM
2011
ACM
14 years 2 months ago
2011
ACM
In this paper, we study the class of competitive equilibria in two sided matching markets with general (non-quasilinear) utility functions. Mechanism design in general non-quasili...
DAC
2002
ACM
16 years 23 days ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
123
click to vote
SIGSOFT
2007
ACM
16 years 16 days ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
ICSE
2004
IEEE-ACM
15 years 12 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...