1613 search results - page 87 / 323 » Model-Driven Constraint Engineering |
113
Voted
SAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We introduce Banshee, a toolkit for constructing constraintbased analyses. Banshee’s novel features include a code generator for creating customized constraint resoluti...
152
click to vote
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
162
Voted
PAMI
2012
13 years 5 months ago
2012
—The problem of automatic and optimal design of embedded object detector cascades is considered. Two main challenges are identified: optimization of the cascade configuration and...
116
Voted
COORDINATION
2004
Springer
15 years 8 months ago
2004
Springer
As a case study that illustrates our view on coordination and component-based software engineering, we present the design and implementation of a parallel constraint solver. The pa...
126
Voted
RE
2005
Springer
15 years 9 months ago
2005
Springer
Existing requirements engineering approaches manage broadly scoped requirements and constraints in a fashion that is largely two-dimensional, where functional requirements serve a...