2558 search results - page 366 / 512 » Model Composition Contracts |
127
click to vote
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper, we investigate the cell design of bacteria during the exponential growth. To this purpose, we propose to formulate the problem as a non differentiable convex optimiz...
143
click to vote
FIW
2009
15 years 2 months ago
2009
Abstract. Current generative programming approaches use configuration knowledge to automatically manufacture an end product given a particular requirements specification. Such conf...
153
click to vote
SIAMSC
2011
14 years 11 months ago
2011
A scheme is presented for the numerical solution of singular integral equations on piecewise smooth curves. It relies on several techniques: reduction, Nystr¨om discretization, co...
136
click to vote
ICEXSS
2010
14 years 11 months ago
2010
The promise of service orientation is that it enables an organization to prosper by delivering continuous value to customers. This prosperity is of strategic value to the organizat...
120
click to vote
JLP
2011
14 years 7 months ago
2011
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...