5904 search results - page 897 / 1181 » Requirements for a Composition Language |
139
click to vote
ATAL
2007
Springer
16 years 26 days 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...
182
click to vote
CP
2007
Springer
16 years 26 days 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...
162
click to vote
CP
2007
Springer
16 years 26 days 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...
179
click to vote
EMSOFT
2007
Springer
16 years 26 days 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...
157
click to vote
FOSAD
2007
Springer
16 years 25 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...