5227 search results - page 702 / 1046 » Enterprise modeling using class and instance models |
140
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
The new notion of maturity-independent risk measures is introduced and contrasted with the existing risk measurement concepts. It is shown, by means of two examples, one set on a ļ...
128
click to vote
ECAL
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This paper proposes a computational model for solving optimisation problems that mimics the principle of evolutionary transitions in individual complexity. More speciļ¬c...
162
click to vote
ICCAD
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper, we study the simultaneous transistor and interconnect sizing (STIS) problem. We de ne a class of optimization problems as CH-posynomial programs and reveal a genera...
174
click to vote
HYBRID
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. The theory of formal veriļ¬cation is one of the main approaches to hybrid system analysis. Decidability questions for veriļ¬cation algorithms are obtained by constructi...
207
click to vote
COCO
1993
Springer
15 years 10 months ago
1993
Springer
We introduce a linear algebraic model of computation, the Span Program, and prove several upper and lower bounds on it. These results yield the following applications in complexit...