2974 search results - page 446 / 595 » Model-Driven Constraint Programming |
175
click to vote
SAT
2005
Springer
16 years 8 days ago
2005
Springer
The utilization of cutting planes is a key technique in Integer Linear Programming (ILP). However, cutting planes have seldom been applied in Pseudo-Boolean Optimization (PBO) algo...
172
click to vote
SOFSEM
2005
Springer
16 years 8 days ago
2005
Springer
The tier aspect model addresses Aspect Oriented Programming (AOP) in the context of database applications. It is a new technique of separation of concerns through tiers implemented...
260
click to vote
FAABS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
167
click to vote
ICWE
2004
Springer
16 years 5 days ago
2004
Springer
Delivering high quality web applications complying with severe project delivery time constraints is still an elusive goal for a software process. In many software projects, develop...
218
click to vote
MOZ
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Extensible Dependency Grammar (XDG) is a graph description language whose formulas can be solved by constraint programming. XDG is designed so as to yield a declarative a...