3357 search results - page 386 / 672 » Controlling Complexity |
205
click to vote
WMPI
2004
ACM
16 years 2 days ago
2004
ACM
In order to meet the requirements concerning both performance and energy consumption in embedded systems, new memory architectures are being introduced. Beside the well-known use o...
163
click to vote
CP
2004
Springer
16 years 2 days ago
2004
Springer
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
165
Voted
EMISA
2004
Springer
16 years 2 days ago
2004
Springer
: Frameworks for composing Web Services offer a promising approach for realizing enterprise-wide and cross-organizational business applications. With BPEL4WS a powerful composition...
218
click to vote
GRID
2004
Springer
16 years 1 days ago
2004
Springer
Grid workflow can be defined as the composition of grid application services which execute on heterogeneous and distributed resources in a well-defined order to accomplish a speci...
185
click to vote
HYBRID
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...