29172 search results - page 342 / 5835 » Modeling Systems in CLP |
184
click to vote
PARA
2004
Springer
16 years 3 days ago
2004
Springer
We describe the parallelization of an efficient algorithm for balanced truncation that allows to reduce models with state-space dimension up to O(105 ). The major computational tas...
191
click to vote
ICCSA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In our companion paper [5], we described the optics underlying camera models that have been used in computer graphics, and presented object space techniques for rendering...
161
click to vote
CSFW
1999
IEEE
15 years 11 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
182
click to vote
ICAS
2009
IEEE
15 years 10 months ago
2009
IEEE
We propose a general model for resources allocation of virtual machines in multi-tier distributed environments. Our model describes each virtual machine and each physical host by ...
179
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
As the result of the development of Fuzzy Multiple Criteria Decision Making (FMCDM) with the help of fuzzy set theory a number of innovations have been made possible. The new appr...