5180 search results - page 170 / 1036 » Concurrency, Time, and Constraints |
177
click to vote
IJWET
2008
15 years 6 months ago
2008
: Web services serve as a leading technology platform for web-based data-centric environments providing flexibility of loose coupling, message-based communication. Interest in more...
196
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
We consider the problem of scheduling jobs on a pool of machines. Each job requires multiple machines on which it executes in parallel. For each job, the input specifies release ti...
162
click to vote
ESOP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We introduce an approach to designing filtering algorithms by derivation from finite automata operating on constraint signatures. We illustrate this approach in two cas...
140
click to vote
SLP
1993
15 years 7 months ago
1993
We present a boolean constraint logic language clp(B/FD) built upon a language over finite domains clp(FD) which uses a local propagation constraint solver. It is based on a sing...
154
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
In this paper, we present an analysis and synthesis framework for guaranteeing that the phase of a single-input, single-output closed-loop transfer function is contained in the int...