2944 search results - page 439 / 589 » On Well Quasi-orders on Languages |
154
click to vote
CP
2007
Springer
16 years 19 days ago
2007
Springer
: This report introduces a geometrical constraint kernel for handling the location in space and time of polymorphic k-dimensional objects subject to various geometrical and time co...
165
click to vote
CP
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. This paper deals with the problem of solving efficiently structured CSPs. It is well known that (hyper)tree-decompositions offer the best approaches from a theoretical v...
168
click to vote
DCOSS
2007
Springer
16 years 19 days ago
2007
Springer
Macroprogramming—the technique of specifying the behavior of the system, as opposed to the constituent nodes—provides application developers with high level abstractions that a...
155
click to vote
FOSAD
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We present a framework for designing and composing services in a secure manner. Services can enforce security policies locally, and can invoke other services in a “call...
158
click to vote
FSEN
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...