2060 search results - page 284 / 412 » The Composition of Event-B Models |
166
click to vote
CDC
2009
IEEE
15 years 4 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...
174
click to vote
FIW
2009
15 years 4 months ago
2009
Abstract. Current generative programming approaches use configuration knowledge to automatically manufacture an end product given a particular requirements specification. Such conf...
184
click to vote
SIAMSC
2011
15 years 1 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...
172
click to vote
ICEXSS
2010
15 years 1 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...
202
click to vote
EUROCRYPT
2011
Springer
14 years 10 months ago
2011
Springer
We propose a Multi-Authority Attribute-Based Encryption (ABE) system. In our system, any party can become an authority and there is no requirement for any global coordination othe...