2752 search results - page 355 / 551 » Rounding to an Integral Program |
145
click to vote
LPAR
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...
180
click to vote
MIDDLEWARE
2005
Springer
16 years 1 days ago
2005
Springer
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...
170
click to vote
SAT
2005
Springer
16 years 16 hour 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...
168
click to vote
SOFSEM
2005
Springer
16 years 14 hour 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...
154
click to vote
BPM
2004
Springer
15 years 12 months ago
2004
Springer
Workflow designers experience considerable freedom in designing the smaller steps (or activities) within a process. An operational notion of activity cohesion and coupling may help...