5904 search results - page 897 / 1181 » Requirements for a Composition Language |
110
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Mobile agents require access to computing resources on heterogeneous systems across the Internet. This demo illustrates how agents can negotiate terms and conditions of resource a...
134
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
Motivated by the performance improvements made to SAT solvers in recent years, a number of different encodings of constraints into SAT have been proposed. Concrete examples are th...
116
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
We present an algorithm for compressing table constraints representing allowed or disallowed tuples. This type of constraint is used for example in configuration problems, where t...
140
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
There is increasing interest in using general-purpose operating systems, such as Linux, on embedded platforms. It is especially important in embedded systems to use memory effici...
121
click to vote
FOSAD
2007
Springer
15 years 10 months 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...