3718 search results - page 542 / 744 » Programming by Integration in Robotics |
179
click to vote
ICDT
2005
ACM
16 years 15 days ago
2005
ACM
Abstract. We survey work on statically type checking XML transformations, covering a wide range of notations and ambitions. The concept of type may vary from idealizations of DTD t...
163
click to vote
LPAR
2005
Springer
16 years 15 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...
196
click to vote
MIDDLEWARE
2005
Springer
16 years 15 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...
188
click to vote
SAT
2005
Springer
16 years 14 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...
179
click to vote
SOFSEM
2005
Springer
16 years 14 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...